HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tkhattra

no profile record

Submissions

A grounded conceptual model for ownership types in Rust

cacm.acm.org
57 points·by tkhattra·قبل شهرين·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
·قبل شهرين·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