HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tkhattra

no profile record

Submissions

A grounded conceptual model for ownership types in Rust

cacm.acm.org
57 points·by tkhattra·2 個月前·2 comments

The Automation of Nonsense

xcancel.com
3 points·by tkhattra·3 個月前·0 comments

Michael Rabin has died

en.wikipedia.org
414 points·by tkhattra·3 個月前·90 comments

Three Questions About Each Bug You Find (1989)

multicians.org
3 points·by tkhattra·4 個月前·0 comments

Practical Security in Production

queue.acm.org
20 points·by tkhattra·8 個月前·1 comments

The paradoxical efficient market hypothesis (2024)

3quarksdaily.com
95 points·by tkhattra·9 個月前·90 comments

comments

tkhattra
·2 個月前·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
·3 個月前·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
·7 個月前·discuss
I think they're already available? e.g. https://dl.acm.org/doi/epdf/10.1145/942572.807045
tkhattra
·4 年前·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