最新 | 最热门 | 最高评价

+0  预告:从解释器到抽象解释

Typeof 发于 1970年01月01日 08:00 | 点击: 626 | 展开摘要
function interpret(form, env, ctx){
if(form instanceof Array){
switch(form[0]){
case 'lambda': {
var params = form[1];
var body = form[2];
return ctx(function(ctx){ return function() {
var e = Object.create(env);

查看全文: http://www.udpwork.com/item/12283.html

+0  sfdhanautohint:汉字的 gridfit 解决方案

Typeof 发于 1970年01月01日 08:00 | 点击: 661 | 展开摘要
长久以来,由于汉字的复杂性和庞大数量,汉字字体的屏幕优化一直是极度消耗劳动力的工作,其在低分辨率下的可读性一直很差。sfdhanautohint 将提供自动化的处理手段,以最终解决这个问题。优化的方法是调整笔画(Stem,文字中横向或者竖向的矩形区域,sfdhanautohint 目前只处理横向)的位置和宽度,来优化显示效果。从轮廓中找出笔画的方法已经比较成熟了,sfdhanautohint 是先找出所有的水平线段,然后判断哪些线段对可以笔画。

sfdhanautohint

查看全文: http://www.udpwork.com/item/12258.html

+0  Licensing State of the Union

Tag: Application Design
flyosity 发于 1970年01月01日 08:00 | 点击: 543 | 展开摘要
(This is a guest post by my friend Nick Paulson @nckplsn who is a Cocoa Developer working on various cool things including CloudApp.)

As a developer, I want to keep my applications safe from piracy. Itʼs always a predicament to find a solu

查看全文: http://www.udpwork.com/item/12222.html

+0  HTTPS站引用腾讯公益404

米随随 发于 1970年01月01日 08:00 | 点击: 528 | 展开摘要
腾讯公益404 并不支持 HTTPS 站点的引用,为了公益事业研究了下,发现只要拉到 http://qzone.qq.com/gy/404/data.js 数据即可,但 HTTPS 站是不能直接拉非安全协议内容,所以还要在自己网站上用一个 PHP 做中转,如下:

查看全文: http://www.udpwork.com/item/12193.html

+0  貌似该说再见了,新浪

何跃 发于 1970年01月01日 08:00 | 点击: 621 | 展开摘要

+0  程序即证明

Typeof 发于 1970年01月01日 08:00 | 点击: 623 | 展开摘要
Curry-Howard 同构揭示出来的东西是十分深刻的。最近看了一些有关 lambda muλμ 演算的资料更加确信这一点,在设计这些扩展系统的时候首先设计的是类型与推理系统,然后才是形式语言。

比如说直觉命题逻辑的自然演绎,只用蕴含符号的系统如下:

{} over {alpha vdash alpha} ~ I{/α ⊢ α} I

{Gamma, alpha vdash beta, Delta} over {Gamma vdash alpha -> beta,

查看全文: http://www.udpwork.com/item/12119.html

+0  为什么 [X 语言] 比 [Y 语言] 更好

Typeof 发于 1970年01月01日 08:00 | 点击: 469 | 展开摘要
最近我听到很多人谈论 [X 语言] 和 [Y 语言]。总结起来,这两种 [平台] 上的 [编程范式] 语言,他们提倡的 [风格] 式编程能让你在 [写垃圾代码] 的时候更加灵活。
在用两种语言写出 [很简单的小应用不超过 10 万行] 之后我有了自己的感受。考虑一下这个问题:[给北大青鸟程序员当作业的问题],如果用 [Y] 写出来将会是这样:

[很垃圾的 Y 代码]
而用 [X] 写呢,将会是这样:

[仔细写出的 X 代码,要 show 语法糖!]
高下立判。
再比较下它

查看全文: http://www.udpwork.com/item/12104.html

+0  不折腾

g2w 发于 1970年01月01日 08:00 | 点击: 395 | 展开摘要
突然心血来潮,想要将博客从目前的 Acrylamid 迁移到 Jekyll,于是经历了一番折腾。

两个 Static Site Generator 所使用的文件结构和格式各不相同:

文件结构不同
Acrylamid 使用 content/:year/:month/:slug.md 的文件结构存储文章源文件,
而 Jekyll 使用的是 _source/:year-:month-:day-:slug.md 的形式

YAML Front Matter 不同
Ac

查看全文: http://www.udpwork.com/item/12103.html

+0  一个更好的 AlwaysMouseWhell,兼谈如何写 DPI-Aware 的 windows 程序

Typeof 发于 1970年01月01日 08:00 | 点击: 722 | 展开摘要
我在知乎上这篇关于 AlwaysMouseWheel 的文章说过,AWM 不支持高 dpi,使用有 bug。为什么我会发现呢?因为我有一个笔记本换上了 1080p 的屏幕,然后把 dpi 改成了 1.25x。Windows 从 vista 开始引入了 DPI 虚拟化技术,让 dwm 有权力直接放大窗口,而为了确保兼容性,许多 API——包括 GetCursorPos 和 WindowFromPoint——都做了一些处理。
具体表现就是,在旧程序的窗口上方,GetCursorP

查看全文: http://www.udpwork.com/item/12101.html

+0  Multiclass Learning with ECOC

pluskid 发于 1970年01月01日 08:00 | 点击: 469 | 展开摘要
ECOC 是 Error-Correcting Output Codes 的缩写。上一篇文章中提到 ECOC 可以用来将 Multiclass Learning 问题转化为 Binary Classification 问题,本文中我们将对这个方法进行介绍。
要了解 ECOC ,可以从 One-vs-Rest 的 Multiclass Learning 策略出发。回忆一下,对于一个 K 类的分类问题,One-vs-Rest 策略为每一个类 $i$ 都训练一个 binary cl

查看全文: http://www.udpwork.com/item/12092.html

+0  Jame’s Reading 09-10

IT牛人.119 发于 1970年01月01日 08:00 | 点击: 346 | 展开摘要
http://t.cn/z8wbRUs Reddit 系统扩展的经验与教训,1. 尽可能的自动化,2. 没必要一开始即构建可扩展的架构,3.不要在刚开始时构建SOA的架构,4.可扩展的关键是在用户感知到瓶颈之前解决掉扩展性的问题,5. 视SSD为便宜的内存,而不是昂贵的硬盘,6. 每种工具都有其对应的场景,合适的工具用在合适的地方.
http://t.cn/z8wheDy 可扩展性的问题. 从并发连接的角度阐释扩展性的概念, 对于单个请求时间很短, 但需要大量长连接的业务,

查看全文: http://www.udpwork.com/item/12091.html

+0  流程抽象的一个实例:Parser Expression Grammar

Typeof 发于 1970年01月01日 08:00 | 点击: 479 | 展开摘要
流程抽象是近年程序界的热门话题。随着匿名函数渐渐被大众接受,针对控制流的抽象已经不算稀奇玩意。我们很容易写出这样的小东西:

function iif(condition, consequent, alternate){
if(condition) return consequent()
else return alternate()
}

不过人们很少知道控制流抽象的真正威力。我下面要分析的就是控制流抽象领域一个很有意义的应用:Parser Expression Gra

查看全文: http://www.udpwork.com/item/12090.html
|<<<1229123012311232123312341235>>>| 一共1250页, 14994条记录