HNHacker News
TopNewBestAskShowJobs

geonnave

207 karma · joined January 16, 2015

submissionscomments
geonnave··on Why Do Computers Stop and What Can Be Done About It? (1985) [pdf]
This piece is, indeed, very well written. A couple of months ago I used it in a subject's work in the master program I'm enrolled, in which I analyze Erlang's features for providing software fault-tolerance. If it would be useful to anyone: https://drive.google.com/file/d/0B4R-MWo1s2mTc0hMc2Z6czU1ekU...
geonnave··on Ask HN: How did NASA make reliable software if they didn't invent unit tests?
Some thoughts I have:

- I think they did apply methodologies of reliability that worked in hardware, to software (e.g redundancy, automatic fault detection/tracing/correction)

- Also, in the early days, software was so tied to hardware, and hardware was faaar less complex, so they probably could understand everything that was happening in the system at a given time

geonnave··on Reactors, Channels, and Event Streams for Composable Distributed Programming
I didn't read the paper yet, but this thing of "composable distributed processing" made me think of Elixir's `GenStage`[0], which is still in development.

Another thing, that is indeed linked on GenStage's page as a reference, is Lasp language [1].

If anyone knows more about this stuff, and could say if these cited things are even related, it would be cool to hear.

[0] https://github.com/elixir-lang/gen_stage - "GenStage is a specification for exchanging events between producers and consumers."

[1] https://lasp-lang.org/

geonnave··on Corrode: C to Rust translator written in Haskell
Well then it could be `CRusHT` - C to Rust Haskell Translator
geonnave··on Unraveling Students’ Interaction Around a Tangible Interface [pdf]
And here a video of it in action: https://www.youtube.com/watch?v=MxBEsTet6w8
geonnave··on Open access: All human knowledge is there, so why can’t everybody access it?
Actually, both Sci-Hub and LibGen are mentioned in the article. Perhaps your ctrl+f failed because the page only loads the next section when you scroll down near the bottom of the page.
geonnave··on Integrating Elm and Phoenix Channels via Elm-Phoenix-socket
Actually, variables in Elixir can be re-binded:

> x = [1, 2, 3]

> x = 2 # the structure [1, 2, 3] still exists in memory, but now the variable x is bound to the value 2

All data is still immutable, the BEAM itself requires so. Dave Thomas explains this in its "Programming Elixir" book.

geonnave··on Show HN: WebGL Minecraft-like scripting environment for teaching programming
That's cool, congrats!
geonnave··on Interview with Robert Virding, Creator of Lisp Flavored Erlang
Had he named it LIFE, it would feel sooo satisfying :)
geonnave··on Luna: Visual and textual functional programming language
Oh yeah, there are not many options nowadays. I know this one which is offered by Coursera: "Functional Programming Principles in Scala". I didn't take it, but it should be helpful if one want to explore that "weird wizardry functional stuff" -and discover that there is not much wizardry at all. Oh and as others stated above, it is not that difficult once you really dive in :)

[1] https://www.coursera.org/course/progfun

geonnave··on Show HN: The Deadlock Empire – Slay dragons, master concurrency
Wow, how cool is that! Congrats to the authors :)

Btw, I bet Edward Lee¹ would like this game.

¹ http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-1....

geonnave··on Chirimen, a Firefox OS-Powered IoT Single-Board Computer Developed by Mozilla
Exactly what I thought. I think they could even use the package.json-file approach of nodejs for defining an entry point for the program..
geonnave··on Astronaut Selection
Oh, sure. I didn't realized that at first. It must be my programmer brain telling me "English is the one global language" all the time.

(note: I'm not an English native speaker)

geonnave··on Astronaut Selection
They mention "Russian language training" in the Astronaut Candidate training program.

Interesting.

← PreviousPage 3 of 3