HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tkhattra

no profile record

Submissions

A grounded conceptual model for ownership types in Rust

cacm.acm.org
57 points·by tkhattra·2 tháng trước·2 comments

The Automation of Nonsense

xcancel.com
3 points·by tkhattra·3 tháng trước·0 comments

Michael Rabin has died

en.wikipedia.org
414 points·by tkhattra·3 tháng trước·90 comments

Three Questions About Each Bug You Find (1989)

multicians.org
3 points·by tkhattra·4 tháng trước·0 comments

Practical Security in Production

queue.acm.org
20 points·by tkhattra·8 tháng trước·1 comments

The paradoxical efficient market hypothesis (2024)

3quarksdaily.com
95 points·by tkhattra·9 tháng trước·90 comments

comments

tkhattra
·2 tháng trước·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 tháng trước·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 tháng trước·discuss
I think they're already available? e.g. https://dl.acm.org/doi/epdf/10.1145/942572.807045
tkhattra
·4 năm trước·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