tonyg

36 ms·

421.
by tonyg 9y ago
What's being said here is that current commercial crops of GMO corn are seeing increased yields, and are not causing health problems. (The headline is, as usual, overstating things.) Separately, while you're right that each indivi
422.
by tonyg 9y ago
Both critbit and qp tries are wonderful. I have pure-functional implementations of the central critbit algorithms in OCaml ( https://github.com/tonyg/ml-critbit/blob/master/critbit.ml ) and Typed Racket (
423.
by tonyg 9y ago
Erlang's links http://erlang.org/doc/reference_manual/processes.html#id8861... are an interesting approach to this problem of failure signalling in a concurrent system. Stack-oriented exception handlers certa
424.
The Blind Men and the Elephant(gettys.wordpress.com)
1 points by tonyg 9y ago|0 comments
425.
The “Spellserver”: A Generic Remote-Code-Execution Host(lothar.com)
2 points by tonyg 9y ago|0 comments
426.
Falsehoods Programmers Believe About Phone Numbers(github.com)
4 points by tonyg 9y ago|2 comments
427.
by tonyg 9y ago
One major weakness of JSON is lack of a corresponding "infoset"; that is, an equivalence predicate. When are two JSON blobs "the same"? There's no sign of anything like this here. Another is the lack of support for
428.
by tonyg 9y ago
The trick there is to use an explicitly polymorphic instance, which can "decide what it should have been all along" later on. I've written about the idea: https://eighty-twenty.org/2015/01/25/mo
429.
by tonyg 9y ago
I was delighted when DCCP appeared: https://en.wikipedia.org/wiki/Datagram_Congestion_Control_Pr... It focuses narrowly on a congestion control protocol, and is intended to be combined which whichever datagram-based pr
430.
Securing Capability Web Services(william-ml-leslie.id.au)
2 points by tonyg 9y ago|0 comments
431.
Lying to TCP makes it a best-effort streaming protocol(eighty-twenty.org)
213 points by tonyg 9y ago|91 comments
432.
by tonyg 9y ago
TCP's checksum isn't even as good as CRC32. It's just a one's-complement sum of the packet and a few header words. From this [0] helpful StackOverflow post: > If you need to transfer data and you want to be sure the d
433.
by tonyg 9y ago
The linked tweet is the Hawaii EMA clarifying that there is "NO missile threat to Hawaii".
434.
by tonyg 9y ago
If I remember rightly, SC's design mostly keeps GC effects out of the synthesis path. SC is split into a GC'd frontend and a non-GC'd backend, and it's the backend that does the sound synthesis. The frontend runs the SC-
435.
by tonyg 9y ago
I'm really looking forward to it. For others who are curious about it, here it is: https://github.com/WebAssembly/tail-call/blob/master/proposa...
436.
Why Object-Oriented Languages Need Tail Calls (2011)(eighty-twenty.org)
53 points by tonyg 9y ago|71 comments
437.
by tonyg 9y ago
It's possible , yes, but it isn't possible to do particularly efficiently. If you want separate compilation, it gets even worse. (Separate compilation is where proper tail calls come in very handy.)
438.
by tonyg 9y ago
That's true as far as it goes - but wasm lacks general "goto" instructions (across procedures), and loops only work for self-tail-calls. There's an expressiveness gap between languages with and without proper tail calls.
439.
by tonyg 9y ago
Until wasm supports proper tail calls, only the ones with uninteresting control structures.
440.
by tonyg 9y ago
For example, https://github.com/tonyg/pi-nothing/blob/master/kernel.nothi... does something similar to that blinker. It might not be quite what you're after, because it's only superficially a l
441.
Alternate Computer Universes(exolymph.news)
3 points by tonyg 9y ago|0 comments
442.
by tonyg 9y ago
This present research cites the older work you link. The older work uses active illumination; the present work appears to be entirely based on passive recovery of information.
443.
by tonyg 9y ago
A light-hearted post about a completely evil method of "correctly" finding fact. A whisker away from apologetics for torture. The final paragraph is particularly bonkers: > "In practice, it might not have mattered whether
444.
by tonyg 9y ago
https://www.dol.gov/wb/media/pay_secrecy.pdf is a good summary, starting with discussion of the federal situation and then quoting state law here's the executive order mentioned at the beginning of the linked
445.
by tonyg 9y ago
I don't recall reading about it anywhere, but I did once look at the implementation (it's wonderful having a reflective system where a single click gets you source of anything onscreen), and it's very straightforward but also
446.
by tonyg 9y ago
I took it as completely serious. Variation in notation for this kind of thing is a severe obstacle to understanding a paper. It also means the authors are missing out on useful tooling for checking the correctness of their notation, let alo
447.
by tonyg 9y ago
Some Smalltalks (Squeak and Pharo) have a wonderful tool called a "Method Finder". The way it works is you write a sequence of arguments and an expected result , and it suggests a method to call. For example, I just now tried i
448.
by tonyg 9y ago
You write that the claim is (A) "there exists a compiler X that always produces safe code", but then argue against (B) "C++ always produces unsafe code". To argue against claim A, you have to show that some "compile
449.
by tonyg 9y ago
I think those few, crucial pieces of hand-written assembly language one sees from time to time disagree with you. (Modulo your observation that assembly languages are trivially statically typed.)
450.
by tonyg 9y ago
OK, but that wasn't the original question. (There are also all sorts of optimizations that can't be done statically, so I guess there's that.)

More ›