adv

adv
solidot此次改版内容包括服务器更新、编程语言、网站后台管理的优化、页面和操作流程的优化等。
Mozilla
WinterIsComing(31822)
发表于2013年09月27日 19时42分 星期五
来自两个月一个版本和Firefox一样了
Mozilla开发的突出安全、性能和并发性的C/C++替代语言Rust发布0.8版。新版延续了之前版本的开发趋势,主要改善了标准库和小幅调整了语言,新版重写了运行时和任务调度器,加入了一个新的实验性I/O子系统,等等。开发者表示,0.8版属于 alpha版本,适合早期采用者和语言爱好者使用。已有开发者用Rust语言开发了Rust HTTP库
Redhat
WinterIsComing(31822)
发表于2013年09月26日 16时01分 星期四
来自无声的杀手
Hibernate和Seam创始人Gavin King宣布发布编程语言Ceylon 1.0 beta。最新的发布包含了定义语言语法语义的完整规范,包含Java和avaScript编译器的命令行工具集,支持在Java和JavaScript虚拟机中执行Ceylon程序,与原生代码实现互操作,等等。Ceylon语言于2011年正式公开,一种静态类型语言,保留了一些最好的Java语言特性,改进了语言的可读性和内置的模块性,吸收了高阶函数等函数语言特性,融合了C 和 Smalltalk的一些特性。
程序
WinterIsComing(31822)
发表于2013年09月17日 15时40分 星期二
来自中文组不忍目睹
五年前的9月15日,编程问答社区Stack Overflow上线。其后,奇迹发生了。Stack Exchange官方博客回顾了过去的五年,称问答子社区数量已经增长到了106个(包括 汉语学习社区),社区用户回答了500万多个问题,帮助无数人找到了答案。Stack Overflow成立之初,创建者的目标无比远大,试图打造一个程序员自治和共享的社区,通过集体努力提高全世界的编程技能。结果这场赌博真的成功了,游戏化的机制也许能鼓励部分用户回答问题,但真正的原因是人们愿意帮助他人,或者是为了共同提高,或者是展示解决问题的聪明技巧。
程序
WinterIsComing(31822)
发表于2013年09月16日 13时00分 星期一
来自
Alison Xue 写道 "就像一瓶上等佳酿,编程语言也是越久越好。编程语言需要许多年时间才能固定下来并成为主流。程序员选择语言的决定性因素是其流行度和接受度,新兴的语言很难打破这一循环。C、Java、PHP、C++、C#、JavaScript、VB、Python、Perl等最流行的20种语言中没有哪一种是在2000年之后出现的。虽然存在大量成熟的竞争对手,新兴的语言仍然层出不穷。其中部分语言由大企业一手创建,试图取代竞争对手的语言;还有部分语言最初是个人项目,但在其他人的参与下茁壮成长。新兴的编程语言通常融合了经典语言的许多长处,采用了全新的方法,设计能满足多核CPU、GPU通用计算和云计算等新趋势的需要。在新兴语言中,最成功的当属OpenCL,它已经成为主流,其它如Google的Web编程语言DartGo,Mozliia的Rust,科学计算语言Julia、动态编程语言Clojure,等等。"
程序
blackhat(19032)
发表于2013年09月12日 09时59分 星期四
来自为了妹子学程序
程序员 写道 "计算机专业在全美排名第一的卡内基梅隆大学,1995年时发现其计算机系的新生中女生比例仅为7%。当时的副系主任Allan Fisher高瞻远瞩,本着为男生谋福利的精神,和社会学家Jane Margolis一起努力,到2000年就成功地把新生小师妹的比例提高到42%,获得了高年级师兄们的一致赞誉。 他是怎么做到的呢?主要有以下4点经验译文):  ①把"魔爪"伸向中学。 ②在录取过程中"做手脚"。 ③在新生课程里"偷梁换柱"。 ④鼓励女生"拉帮结派"。"
长城
blackhat(19032)
发表于2013年08月30日 16时48分 星期五
来自好多钱 程序员怎么办
8月16日11点左右,上海证券A股指数在极短时间内突然暴涨5.62%,中石油、工商银行、中国银行、农业银行等超级权重股瞬间被巨量买盘拉升至涨停。这次事件的幕后操盘手是光大证券,知情人士透露原因是新上线的高频交易系统失控,甚至说拔了电源才终止失控的程序。事故发生之后,光大证券采取了做空股指期货的补救措施。但这一补救措施却被证监会定性为内幕交易,没收光大证券非法所得8721万元,并处以5倍罚款,共计5.2328亿元。根据证监会的调查报告,光大证券高频交易系统的订单生成系统ETF套利模块的“重下”功能(用于未成交股票的重新申报)在设计时将“买入个股函数”错误写成“买入ETF一篮子股票函数”。ETF指的是交易所交易基金。8月16日上午11时02分,交易员尝试利用“重下”功能对未成交的24只股票进行自动补单,结果买入24只股票被错误执行为买入24组ETF一篮子股票,报送至订单执行系统去执行高达234亿的订单。
Bug
blackhat(19032)
发表于2013年08月18日 18时46分 星期日
来自都是程序员的错
本周五,上海证券交易A股指数在短时间内突然暴涨5%,随后有消息来源报道称是光大证券交易员在下单时多敲了两个零,将3000万股错写成30亿。但最新的报道称,此次事件与交易员无关,而是与光大证券的新高频交易系统有关。中国证监会新闻发言人通报了8月16日光大证券交易异常的应急处置和初步核查情况。经初步核查,光大证券自营的策略交易系统包含订单生成系统和订单执行系统两个部分,存在程序调用错误、额度控制失效等设计缺陷,并被连锁触发,导致生成巨量市价委托订单,直接发送至上交所,累计申报买入234亿元,实际成交72.7亿元。同日,光大证券将18.5亿元股票转化为ETF卖出,并卖空7130手股指期货合约。知情人士透露,光大证券这一策略交易系统为今年3月开发,7月才上线的高频交易程序,“程序本身的问题触发后,自动下单,停都停不住,最后是拔了电源。”
软件
blackhat(19032)
发表于2013年08月15日 13时09分 星期四
来自
Yvonne 写道 "Qortex是一个国内团队使用Go语言撰写的产品,也是少有的Go产品。 所有功能可以与Yammer、Basecamp、Asana 等相媲美。在封测期内,Qortex与多家跨国集团进行合作,已经有1000名用户,现在它准备快速扩张。公司认为这个应用不错,唯一的困难就是说服用户从现有的工具上转到Qortex。"
程序
blackhat(19032)
发表于2013年08月05日 19时47分 星期一
来自为了警告其他程序员
前高盛资深程序员Sergey Aleynikov于2009年辞职加盟一家创业公司开发一种竞争的高频交易系统,在离职前他将32MB大小的源代码上传到一个远程SVN服务器(德国的一个Free Subversion Repository)。32MB源代码实际上是8MB源代码四次重复上传,而这些源码是Aleynikov修改的开源代码,也就是8MB源码包含了开源和非开源代码。其中非开源的部分应该属于高盛。Aleynikov所犯下的过错并不严重,但在2011年他因为窃取高盛代码而被判入狱97个月(约8年)。2012年2月他的罪名被推翻。然而在2012年8月他再次被捕。在九月份的《名利场》杂志上,知名金融记者Michael Lewis邀请了熟悉高频系统的专业人士对Aleynikov一案进行审判,结果是Aleynikov无罪。Lewis认为,高盛可能也不知道这些源代码的目的和价值。
加密技术
blackhat(19032)
发表于2013年08月05日 14时59分 星期一
来自病毒作者表示感兴趣
UCLA计算机科学教授Amit Sahai和一个研究团队联合开发出“数学拼图技术”去加密软件,这项技术将能防止逆向工程破译代码。他们所研究的技术又名“软件模糊”,其挑战在于加密代码片段但又要能正确运行和执行程序。此前的软件模糊技术其实只能降低攻击者破译代码的速度,使其需要数天左右时间才能逆向工程。但Sahai教授等人所研发新系统的逆向工程则需要攻击者花数百年时间去解决数学难题,因此破译源代码实际上变得不可能。研究人员声称他们的数学模糊机制可用于保护知识产权,人类可理解的代码输入到他们的系统之后就能输出功能相同的数学变形代码。模糊机制的关键是一种新型的多线性拼图谜题。对于模糊机制的性能开销和真实表现,许多人都持怀疑态度
程序
blackhat(19032)
发表于2013年08月02日 00时05分 星期五
来自实践出新知
程序员 写道 "喜欢编程吗?想学习编程吗?是否还在为不是科班出身而犹豫?是否还在为找不到手把手的教程而彷徨?最近国外一位妹纸自学编程的故事,在程序员圈流传开来。Jennifer Dewalt 之前是学艺术的,在学校时也没上过任何“技术”课程。虽然如此,但她决定通过在180天做180个“网站”来学编程。她已经坚持 122 天了,写了 122 篇博文记录这些小项目,并且放在Github了。大家可以她在第 115 天分享的博文中(中文)看到她是怎么学习编程。 "
程序
blackhat(19032)
发表于2013年07月27日 21时13分 星期六
来自日新月异
匿名读者写道 "上一篇发的时候,作者优化不够,现在在几天的修改以后结果完全不一样了。

C/C++已经统治系统编程很久,除了ObjectiveC之外语言都无法获得很高的关注。有人用多种系统级语言编写了同样的地图生成工具来测试他们的性能, 包括D(DMD,LDC,GDC)、Go(GCC-Go,6g)、Haskell(GHC)和Rust。相比C/C++,这些语言都原生支持了诸如垃圾回 收这些高级特性,也因此无一能达到C/C++的运行速度。其中表现最好的是基于LLVM的D语言编译器LDC,与同样基于LLVM的C编译器Clang相比,可以达到它96%的速度。其次是基于LLVM的Rust编译器,达到了89%。因为LLVM编译的优化做的太好,即使GCC都只能达到Clang 72%。另一个令人惊讶的结果是,基于JVM的Scala竟然能达到Clang70%的速度。几乎相当于GCC。 "

程序
blackhat(19032)
发表于2013年07月24日 16时11分 星期三
来自Mozilla的希望
匿名读者 写道 "C/C++已经统治系统编程很久,除了ObjectiveC之外语言都无法获得很高的关注。有人用多种系统级语言编写了同样的地图生成工具来测试他们的性能,包括D(DMD,LDC,GDC)、Go(GCC-Go,6g)、Haskell(GHC)和Rust。相比C/C++,这些语言都原生支持了诸如垃圾回收这些高级特性,也因此无一能达到C/C++的运行速度。这其中表现最差的是原生Go语言编译器6g,只有Clang22%的速度,而表现最好的是基于LLVM的D语言编译器LDC,达到了79%。由于原生就使用了LLVM编译,Rust成为各语言原生编译器里最快的一个,但也只达到了45%。从结果来看,D语言一定是首选。由于D语言许多特性都依赖垃圾回收,如果需要关闭垃圾回收而又要保持良好的使用体验,则推荐Rust。"
程序
blackhat(19032)
发表于2013年07月19日 14时56分 星期五
来自都知道是C Lisp
程序员 写道 "就编程语言的相对重要性,如果要你来给评级,你会怎么评?恐怖大多数开发者都会说,明显就是“他们的”编程语言是最好的,并且是最重要的。如果你想从更为科学的角度看这个问题,那你就要来看看国外开发者Ramio Gómez做的交互图,展示了各编程语言之间的关系(中文)。"
USA
blackhat(19032)
发表于2013年07月11日 15时07分 星期四
来自用外包工人
路透社报导:随着2011年圣诞节的临近,美国陆军医护兵Shawn Aiken再次陷入了绝望的战斗之中,战斗对象不是伊拉克反叛武装或阿富汗塔利班战士,而是五角大楼。他从战场上带回了一身伤,但五角大楼却停止向他支付薪水,他每月的税后薪水应该有3300美元,但当年10月他只收到2337.56美元,而12月仅仅只拿到117.99美元。他还有孩子要养活,但如今却身无分文。他和未婚妻不得不开始典当财产——珠宝游戏和iPhone,甚至医务包。五角大楼的年度预算超过5千亿美元,为什么要扣押一位伤残士兵的薪水?原因是计算机工资系统出错了。美国国防联合军事支付系统(Defense Joint Military Pay System)仍然运行着1959年发明的编程语言COBOL,大部分代码是在1960年代编写,整个系统至今有700万行COBOL代码一直没有更新,时间拖的越久维护愈加困难,而COBOL的专业人士越来越少。更糟糕的是,由于相关文档丢失没有人知道如何去更新这些代码。五角大楼试图更换程序,但花了十亿美元后仍然没有成功。
软件
blackhat(19032)
发表于2013年07月08日 13时05分 星期一
来自1+1=3
一种专为量子计算机设计的高级编程语言将帮助创造出实用性的量子软件。这个新语言名叫 Quipper,由加拿大Dalhousie大学和美国普林斯顿高等研究院研究人员联合开发,包含经典编程语言的优秀特性,使之适应于量子计算。量子计算机的一个重要特性是量子比特的值可以同时为1和0,使计算机可以同时执行两次以上的运算。但设计出利用量子并行处理的算法则非常有挑战性。Dalhousie大学Peter Selinger 和同事开发的Quipper是第一种高级量子编程语言,它基于经典函数编程语言 Haskell,为处理量子比特进行了特别定制。Quipper代码库能执行七种现有的量子算法,研究人员希望有更多开发者为Quipper开发代码库,共享资源,使得量子程序员能像经典计算机程序员那样,通过结合模块构建软件。这项研究得到了美国情报高级研究计划署IARPA的资助。
程序
blackhat(19032)
发表于2013年07月05日 17时51分 星期五
来自显然是个天天吃KFC的人
印第安纳大学研究员Erik Holk   发布了一个简化GPU应用程序开发的声明式编程语言Harlan。Harlan的语法是基于LISP语言方言Scheme,旨在让开发者能更高效的使用GPU,而不必处理会干扰实际工作的日常性GPU编程任务。两大最流行的GPU编程模型是OpenCL和CUDA ,Harlan可以编译到 OpenCL。Holk还为新语言赋予了部分函数编程语言特性,他是在开发Mozilla的RUST语言过程中学到了GPU编程经验。Harlan这个名字取自肯德基招牌人物Sanders上校的第一个名字Harland,Harlan的所有文件扩展名是.KFC。
程序
blackhat(19032)
发表于2013年06月24日 20时48分 星期一
来自上周过了
冯·诺依曼在其1945年的报告《First Draft of a Report on the EDVAC》中首次提出了储存程序的概念,但这个概念变为现实则又花了三年。1948年6月21日,软件正式在曼切斯特大学诞生,正式名称“曼切斯特小规模实验机”的概念验证电脑Baby运行了第一个通过随机存取存储器存取的程序。Baby由Frederic C. Williams、Tom Kilburn和Geoff Tootil设计,目的是测试内存的早期形式威廉姆斯管 (Williams tube)。Baby是第一台包含所有现代电子计算机基本元素的工作机器,它有32比特字长,内存32字,硬件算术运算只实现了减法和加法逆元操作,其它算术运算由软件实现。它运行的第一个程序是寻找 2^18 (262,144)的最高因子。
长城
blackhat(19032)
发表于2013年06月15日 11时12分 星期六
来自临时工
pluto 写道 "偶尔看到国家信访局的网站好像好久没更新了,起码有13年没更新了,否则时间日期不会出现这种低级错误,如 。" 如果在搜索引擎中搜索“19113年”,会发现有大量网站存在类似的时间日期错误问题,而这些网站多数是政府网站,如。时间日期出错与JavaScript时间调用函数getYear()有关,在JavaScript 1.0中,getYear()是当前年份减去1900,它已不再使用,被getFullYear()取代。为什么会出现“19113年”?查看国家信访局网站的源代码会看到“centry=""; if (today.getYear()<2000 ) centry = "19" ; date1 = centry + (today.getYear()) + "年" + (today.getMonth() + 1 ) + "月" + today.getDate() + "日 " ;”...由于getYear返回的值113(2013-1900)显然小于2000,所以centry的值变成19,最后年份前的值变成了19113(centry + (today.getYear())=19 + 113)...
程序
blackhat(19032)
发表于2013年06月06日 19时27分 星期四
来自坑爹的BBC
读者投诉BBC首页时钟不精确,认为作为一个备受信任的新闻来源,BBC应该向浏览者提供精确的时间。在收到投诉后,BBC信讬表示他们让产品管理团队调查了这个问题,对方回应称需要100个工作日才能彻底解决时钟不精确问题,切换到一个独立时钟。BBC信讬称,鉴于实现替代时钟的技术复杂度,再加上大多数用户屏幕上都有时钟,所以它决定先从首页拿掉不精确的时钟。程序员抱怨说,难道BBC的人都没听过UTC 和getTimezoneOffset()。