Kei Lambda

日期	订阅者增长	提及	频道
17 三月	0
16 三月	0
15 三月	0
14 三月	+2
13 三月	+4
12 三月	0
11 三月	+1
10 三月	0
09 三月	0
08 三月	+1
07 三月	0
06 三月	+1
05 三月	0
04 三月	0
03 三月	+1
02 三月	+1
01 三月	0

频道帖子

autoImplicit and its consequences have been a disaster for the human race. It has greatly increased the dev experience of those of us who write "advanced" code, but it has destabilized refactoring, have made fixing issues unfulfilling, has subjected contributors to indignities, has led to widespread psychological suffering (in the maintainer side to physical suffering as well) and has inflicted severe damage on the ecosystem. The continued development of projects with it will worsen the situation.

2	autoImplicit is getting in a way quite a lot. It is actually doing more harm than good. Typo? Fuck you, now your code is silently broken at call-site. Forgot to update the old references in body? Fuck you, now your code is silently broken at call-site. It might have been useful for the person who was writing the initial code. But for refactoring it is a nightmare. I don't know who in their right mind did not turn it off in the standard library code. Mathlib folk turned it off ages ago. 🤷‍♂️	240
3	Some more progress on this: diff	228
4	Maturity and sympathy cure envy.	212
5	Business is booming on twitter too. That's one of the reasons I stopped posting here frequently.	278
6	I had a productive argument for the first time on twitter too! The thread: https://nitter.net/khoiiiind/status/1895317796969685386	254
7	EA made a power move: https://github.com/electronicarts/ Command & Conquer series is now open source. There are so many possibilities to improve upon... we can even kiss goodbye to lags.	276
8	/users?sort_by=password	385
9	没有文字...	527
10	https://www.omocat-shop.com/collections/omori/products/mari-plush https://www.omocat-shop.com/collections/omori/products/space-in-between-enamel-mug https://www.omocat-shop.com/collections/omori/products/something-sling-bag I am a financially responsible adult. I am a financially responsible adult. I am a financially responsible adult. I am a financially responsible adult. I am a financially responsible adult. I am a financially responsible adult.	454
11	I deviated from the book many times and by a large margin - by choosing Haskell, by changing the conclusion block (added platform specific exit syscalls which were not present in the book), by writing my own tests and so on. Now thinking about deviating from the target language and platform. Maybe it is going to be good to adopt Intel syntax instead of AT&T and target ARM? Don't know, not sure, can't decide.	491
12	Finished the second chapter of Essentials of Compilation and assembled the whole pipeline: Pipeline.hs Compared to my other, abandoned, Lean 4 implementation this one is much more correct and more performant - both the compiler and the output of the compler.	455
13	By the way, today marks both Logic Day and Yukio Mishima's centenary.	744
14	Recruited another dev at our company into the Alloy 6 gang.	443
15	sticker.webp	421
16	"If You’re Thinking Without Writing, You Only Think You’re Thinking" Why does every quote of Leslie Lamport go so hard?	388
17	Beauty will save the world? Why, yes, type theory is beauty and it will save the world.	361
18	Working my way through the book "Essentials of Compilation: An Incremental Approach in Racket" with Haskell: https://github.com/keilambda/eocia-haskell/ The interesting thing is, I found bugs on my previous iteration with Lean 4. Namely lexical scoping issues. So many of them. I look back at that time and wonder how could I write such bug ridden code. Learning Lambda Calculus (oh those substitutions, nightmarish substitutions and beta reductions) was of great help after all.	342
19	+1 Full retard mode: second iteration. 17 hours 56 minutes straight in front of the computer.	279
20	I'll never be enough. In the end, I'm just a stupid back-end javascripter and nothing more.	1

查看所有帖子