bshanks

24 ms·

211.
by bshanks 9y ago
thanks! I think the RISC/WMM folks provide an operational model too, using their own "I2E" formalism. The end of the paper seems to have a proof of equivalence between their axiomatic and operational models.
212.
Darpa Spectrum Collaboration Challenge(spectrumcollaborationchallenge.com)
1 points by bshanks 9y ago|0 comments
213.
by bshanks 9y ago
I wonder how the memory model in https://people.mpi-sws.org/~dreyer/papers/promising/paper.pd... compares to the WMM and WMM-S memory models given in https://arxiv.org/pdf/1707.05923.pdf
214.
Surviving Your First Year(backblaze.com)
105 points by bshanks 9y ago|7 comments
215.
by bshanks 9y ago
thank you
216.
by bshanks 9y ago
thank you
217.
by bshanks 9y ago
(this comment is a dup of one that i submitted elsewhere in this thread) As a tutorial for those of us like me who sometimes stumble in situations like this, could someone who found the OP's responses to the recruiter unprofessional pl
218.
by bshanks 9y ago
As a tutorial for those of us like me who sometimes stumble in situations like this, could someone who found the OP's responses to the recruiter unprofessional please post example phrasing of what the OP should have said? Let's as
219.
Manna (scifi by Marshall Brain) (2003)(marshallbrain.com)
1 points by bshanks 9y ago|0 comments
220.
The Michelson Language(michelson-lang.com)
92 points by bshanks 9y ago|11 comments
221.
by bshanks 9y ago
(tuturto responded to the parent of this comment at https://engineersjourney.wordpress.com/2017/08/01/history-of... )
222.
by bshanks 9y ago
In case i ever find myself designing a programming language, what facilities would Python have to support in order to allow 'let' to work? It seems to me that in theory Hy could solve the problem with which variables are to be mar
223.
by bshanks 9y ago
It's not clear that globalization will have this effect, though. For example, a study "In search of homo economicus: behavioral experiments in 15 small-scale societies" found that individuals from cultures with more "mar
224.
by bshanks 9y ago
You might appreciate https://news.ycombinator.com/item?id=14835977#14839943
225.
by bshanks 9y ago
Ethereum is a cloud computing service. It has two advantages over other cloud computing services: (1) it is extremely highly available (2) the person who uploads a program cannot modify that program afterwards and has no special admin acces
226.
by bshanks 9y ago
Which bad choices do you think someone made here?
227.
by bshanks 9y ago
I see a lot of comments speculating that there may be something wrong with programming competition winners, but this result might be a statistical curiousity unique to Google. It's possible that for most companies, good at programming
228.
by bshanks 9y ago
80%, i think: https://github.com/tezos/tezos/blob/master/src/proto/alpha/a... (imo 80% is more than enough to prevent shenanigans -- in most contexts anything even slightly controversial c
229.
Michelson: The Language of Smart Contracts in Tezos(github.com)
36 points by bshanks 9y ago|8 comments
230.
by bshanks 9y ago
But wouldn't that kind of defeat the point? Sort of like how having a type system with only one type wouldn't be very helpful.
231.
by bshanks 9y ago
Somewhat off-topic, but I'm curious to learn about the relatively recent changes in Python's exception hierarchy, could you point me to a link?
232.
U.S. Senate staff can now use Signal(zdnet.com)
255 points by bshanks 9y ago|85 comments
233.
Linking Elixir processes together(eddwardo.github.io)
3 points by bshanks 9y ago|0 comments
234.
by bshanks 9y ago
Do you mean that you typically need more engineers, or less?
235.
by bshanks 9y ago
Terrible? Is the expected return negative for large portfolios of crowdfunded companies? I ask because it's possible for expected returns on a portfolio to be good even if the the typical outcome for any individual investment within th
236.
Pillar: A Parallel Implementation Language (2007) [pdf](leafpetersen.com)
28 points by bshanks 9y ago|0 comments
237.
Hints for Computer System Design (1983) [pdf](microsoft.com)
68 points by bshanks 9y ago|2 comments
238.
by bshanks 9y ago
Here's an Android app that converts images from the phone's camera to sounds as a tool for the blind: https://play.google.com/store/apps/details?id=vOICe.vOICe&hl...
239.
by bshanks 10y ago
I like your suggestion. Yes, separate the job of professor from that of administrator; enhance research independence at all levels by reducing administrative power over the professor from above, and reducing the administrative role of the p
240.
by bshanks 10y ago
No, this is not the solution; I've seen this sort of thing happen in academia even with professors with assistants (thankfully my own professors have never been like this). For example, the administrative assistant presents the profess

More ›