Knowing things versus being able to prove them

Recently there has been a small contremps over how well (or not) IDEs can support refactoring for dynamiclanguages. To stereotype and condense, on one side are Java peoplewho feel that without the guarantees provided by static typing, manysorts of automated refactorings are impossible to do reliably and soworthless; on the other side are Tim Bray and dynamic language people,who feel that various things can get them close enough, and besidesthere are a laundry list of situations where static languages don'thave reliable refactorings either


生日一定要快樂

渣估:

Happy birthday to you... 雖然我唔知你幾號生日。

生日一定要慶祝,唔係單單為自己,亦係為養大我地既父母慶祝。

媽咪咁辛苦生左我地出黎,爹地媽咪咁辛苦湊大我地,佢地明明可以用養我地既錢去享受人生。

o係父母心目中我

The downsides of remailing

In the context of SPF and its need for SRS instead of simplemail forwarding, a local sysadmin recently asked on our sysadmin mailinglist:

What is bad about remailing?

Fundamentally we're being asked to do extra work that benefits otherpeople, people who've chosen to break their own mailers for no actualbenefit. This is backwards, and in my opinion accommodating such peopleonly encourages the next lot to demand that everyone else clean up theirmesses.

Apart from that:

  • remailing requires additional software and configuration,

欲罷不能 Evangelion

eoe

Alex 貼了一篇 想當年 實在撩起我條癮,也想當年一番。

EVA 的特色之一,是其「包容性」很廣:小孩大可以當機械人打怪獸類的特攝片看,少年因劇中年紀相約的主角而產生共鳴,比較年長的會鑽劇情,研究種種符號含意,成年人會


A Solaris 8 make bug

; cat Makefilefoo : /tmp/bar	touch foo; mkdir /tmp/bar; maketouch foo; make`foo' is up to date.; touch /tmp/bar/t; make`foo' is up to date.; gmaketouch foo

As ' make -ndd ' shows, for some reason Solaris 8's version of makedecides that directories always have a timestamp of 0. It knows thatthey exist, because if you remove /tmp/bar it complains aboutit.


An Internet rule of thumb

Any Internet protocol change that requires everyone's participation isdead on arrival.

This often applies to would-be antispam efforts such as SPF .

(Superficially, SPF looks like it is an isolated thing that onlyinvolves the sender having SPF records and the receiver checkingthem. It's not, and the way it requires everyone's participationis illustrated by the need for the Sender Rewriting Scheme .)


First irritations with Fedora Core 6

In the tradition of previous entries , some firstirritations with Fedora Core 6. All of this is on an x86_64 upgradefrom Fedora Core 5 on a machine with a stock configuration and stockGUI, and is mostly about the upgrade process.

  • I had to manually specify noapic on my hardware. This is not toosurprising, since the regular FC5 kernels now need it, but the FC5install kernel was fine without it.
  • at least if you have a non-RAID root device but

A brief Exim observation

Life probably would be easier if the people behind Exim's string expansions hadjust been able to write a Lisp. Unfortunately that might have createdsome irrational prejudice against Exim, so I can see why they needed todisguise what they were doing.

(It would have been a pretty mutant Lisp. But mutating your Lisp isalmost de rigueur.)

Of course, I must include a pointer to Greenspun's Tenth Rule ofProgramming .


邊度有唱片

返工時想放假,放假的時光其實沒有什麼節目。作為一名悶蛋,我最大的娛樂就是逛書店。一般來說是一個人,靜靜的讀,靜靜的挑選,然後捧幾本書回家,可能跟那些書最快樂的時刻,就是在書店內的相遇。

以前澳門買書很困

誠徵birthday partner

誠徵birthday partner一名:

1. 男性

2. 以才為貌

3. 年齡國籍不拘

4. 大專學歷以上

5. 具幽默感

6. 懂得製造話題

7. 自備現金或credit card

8. 略懂table manners

任務:

陪伴birthday girl渡過一個生日晚上

酬勞:

回贈晚餐一頓及精美禮品乙份