DoubleDecoded
Re:Spatial languages: Writing code in 2D
on Saturday July 25, 2026 @12:00PM (#49048736)
1D languages encode these relations grammatically. There is no reason why a 2D language couldn't also be grammatical. Sure it is harder to write a 2D parser perhaps, but people have still played with the idea a little bit. There is just no huge economic incentive to do so other than simple aesthetics.
Re:Ask HN: Who wants to be hired? (December 2024)
on Monday December 02, 2024 @09:19PM (#42302469)
I'm a backend developer with a little bit of a lot of things from compiler internals up to web development without frameworks. React/Angular is too far frontend past my experience but I'm open to learning as needed. I wrote a book about Functional Programming in Rust that was fairly well received.
Location: Helena, MT, US
Remote: Yes
Willing to relocate: No
Technologies: C, C++, Rust, Python, Javascript, HTML, CSS, Linux, Bash
Github: https://github.com/andrew-johnson-4
Résumé/CV: https://www.linkedin.com/in/andrewjhnson4/
Email: [email protected]
Re:Show HN: Run, learn, and debug x86-64 Assembly code directly from y...
on Saturday October 19, 2024 @02:04AM (#41885945)
Thanks for showing Register state and flags. Is this all instructions?
Re:Smart pointers for the kernel
on Thursday October 17, 2024 @10:59PM (#41875994)
"could break the guarantees" is a weak guarantee then.
Most Opcodes Are Typesafe If Memory Is Infinite
Re:Ask HN: What are you working on (August 2024)?
on Sunday August 25, 2024 @02:07AM (#41344816)
https://github.com/andrew-johnson-4/lambda-mountain
Working on verifiable correctness for programs written in LM or anything that generates annotated assembly. Basically low-level proofs that accessed memory is valid and live or that function pre/post-conditions are met.
The goal is that these proofs are compiler agnostic, so more people can use them.