HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tkhattra

no profile record

Submissions

A grounded conceptual model for ownership types in Rust

cacm.acm.org
57 points·by tkhattra·hace 2 meses·2 comments

The Automation of Nonsense

xcancel.com
3 points·by tkhattra·hace 3 meses·0 comments

Michael Rabin has died

en.wikipedia.org
414 points·by tkhattra·hace 3 meses·90 comments

Three Questions About Each Bug You Find (1989)

multicians.org
3 points·by tkhattra·hace 4 meses·0 comments

Practical Security in Production

queue.acm.org
20 points·by tkhattra·hace 8 meses·1 comments

The paradoxical efficient market hypothesis (2024)

3quarksdaily.com
95 points·by tkhattra·hace 9 meses·90 comments

comments

tkhattra
·hace 2 meses·discuss
rip. i got a chuckle out of this trivia on her old website:

> Rob Pike didn't really name my favorite editor after me.
tkhattra
·hace 3 meses·discuss
From Filippo's post: "Sure, papers about an abacus and a dog are funny and can make you look smart and contrarian on forums."
tkhattra
·hace 7 meses·discuss
I think they're already available? e.g. https://dl.acm.org/doi/epdf/10.1145/942572.807045
tkhattra
·hace 4 años·discuss
In the Erlang VM, each Erlang "process" has its own garbage collected heap [1]. There's also an ETS module for more efficiently storing and sharing large amounts of data, but data stored in ETS is not automatically garbage collected [2].

[1] https://www.erlang.org/doc/apps/erts/garbagecollection [2] https://www.erlang.org/doc/man/ets.html