Bookmarks

page 1 / 5

SCG: Traits - Composable Units of Behavior http://scg.unibe.ch/research/traits

Wed Jul 3 13:36:38 2019

So you still don't understand Hindley-Milner? Part 1 - Amit's Blog http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/

Wed May 29 22:04:13 2019

Here's My Type, So Initialize Me Maybe (mem::uninitialized is deprecated) https://gankro.github.io/blah/initialize-me-maybe/

Wed May 22 00:50:20 2019

Modern SAT solvers: fast, neat and underused (part 3 of N) — The Coding Nest https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-3-of-n/

Sun May 19 16:43:33 2019

Also https://news.ycombinator.com/item?id=19953213

Amber Brown: Batteries Included, But They're Leaking (Python Language Summit) : rust https://www.reddit.com/r/rust/comments/bq5rcy/amber_brown_batteries_included_but_theyre_leaking/

Sun May 19 03:22:43 2019

Fast Compilers for Fast Programs | Hacker News https://news.ycombinator.com/item?id=19896542

Wed May 15 09:55:19 2019

Booleans: "true"+"false" or "yes"+"no" : ProgrammingLanguages https://www.reddit.com/r/ProgrammingLanguages/comments/bm7xi4/booleans_truefalse_or_yesno/

Wed May 15 05:03:31 2019

Cranelift, a low-level retargetable code generator written in Rust | Hacker News https://news.ycombinator.com/item?id=17734750

Wed May 15 00:39:53 2019

Boolean blindness | The Lumber Room https://shreevatsa.wordpress.com/2015/01/31/boolean-blindness/

Thu May 9 13:01:41 2019

What is your ideal programming language? : ProgrammingLanguages https://www.reddit.com/r/ProgrammingLanguages/comments/bl2yhn/what_is_your_ideal_programming_language/

Thu May 9 00:05:54 2019

What to Know Before Debating Type Systems (2008) | Hacker News https://news.ycombinator.com/item?id=19821359

Tue May 7 13:51:33 2019

Also https://news.ycombinator.com/item?id=19822625

"Move checker" algorithm? : ProgrammingLanguages https://www.reddit.com/r/ProgrammingLanguages/comments/biwyfe/move_checker_algorithm/

Tue May 7 13:34:44 2019

Arnaud Bailly - Understanding Existential Types http://abailly.github.io/posts/existential-types.html

Tue May 7 11:30:02 2019

graydon2 | Rust 2019 and beyond: limits to (some) growth. https://graydon2.dreamwidth.org/263429.html

Thu Dec 27 17:56:49 2018

Inside Rust's Async Transform | Hacker News https://news.ycombinator.com/item?id=18641796

Mon Dec 10 09:13:06 2018

proposal: spec: change int to be arbitrary precision · Issue #19623 · golang/go · GitHub https://github.com/golang/go/issues/19623

Thu Nov 29 23:06:16 2018

philosophy : Why Rebol, Red, and the Parse dialect are Cool http://blog.hostilefork.com/why-rebol-red-parse-cool/

Thu Nov 29 11:13:26 2018

Also https://news.ycombinator.com/item?id=18551151

Threads Cannot Be Implemented as a Library (2005) [pdf] | Hacker News https://news.ycombinator.com/item?id=18483717

Mon Nov 19 17:03:32 2018

The Egison Programming Language https://www.egison.org/

Thu Nov 8 15:17:11 2018

Erlang, the language for network programming Issue 2: binary pattern matching – J. Pablo Fernández https://pupeno.com/2006/10/24/erlang-the-language-for-network-programming-issue-2-binary-pattern-matching/

Thu Nov 8 14:57:06 2018

page 1 / 5

97 links