mmcloughlin
Crosslink – Persistent Memory for Human-Agent Development
Scaling Instruction-Selection Verification Against Authoritative ISA Semantics
Verus: Verified Rust for low-level systems code
Hwwasm: Experiment in Hardware Intrinsics for WebAssembly
https://www.cnbc.com/2024/08/19/universal-free-school-lunche...
3 Professional Regrets from My PhD
Geomys, a blueprint for a sustainable open-source maintenance firm
Tiny Tensor Compiler
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Ground-Up AArch64 (2021)
I avoided AA due to the quasi-religious aspect, but Smart Recovery meetings helped me in the initial phase (https://www.smartrecovery.org).
I was always concerned about the longer term aspect of replacing alcohol in social settings, and there is still some awkwardness there but non-alcoholic beers have really helped for me. The scene has exploded in recent years and they're really quite good, see Athletic Brewing for some excellent craft non-alcoholic beers (https://athleticbrewing.com). In a social setting you could be drinking one and nobody would have to know. I don't hide it but I'm still glad to have something "special" to drink at an occasion. And I drink them alone too: they fill that role of something to drink when I want to relax, and I enjoy that placebo effect.
Show HN: Profile: Simple Profiling for Go
Show HN: Cryptographic Addition Chain Generation in Go
It’s OK for your open source library to be a bit shitty (2015)
Fun with branch misprediction in LLVM test-suite 7zip benchmark
Show HN: Mathfmt: Document mathematical Go code beautifully
Mathfmt: Document mathematical Go code beautifully
Grep from First Principles, in Golang
Go on not so small hardware
MC Hammer project for LLVM tests round-trip properties of the ARM assembler. http://llvm.org/devmtg/2012-04-12/Slides/Richard_Barton.pdf
Sandsifter x86 fuzzer. https://github.com/xoreaxeaxeax/sandsifter https://youtu.be/KrksBdWcZgQ
Show HN: Reveal code line-by-line in LaTeX presentations
https://speakerdeck.com/mmcloughlin/better-x86-assembly-gene...
The sample code is in a file with special comments at the end of each line specifying which slide numbers it should be revealed on as well as inline commentary to show to the right of the line. Syntax highlighting is provided by Pygments.
I was thinking about open sourcing it, it's actually only approx 200 lines of Python but I think it's quite effective.
Show HN: Fuzzing Go Crypto
avo currently implements the x86 subset of Go assembler. It's definitely possible to add support for additional architectures, but it may be a fairly significant project.
> Any chance of ARM/ARM64 support?
Yes multi-architecture support is definitely something I've had in mind. However I wanted to limit the scope for the initial version, so I could produce a result in a reasonable time and allow me to gauge interest.
> It would be super useful if you could generate the code to memory then execute it directly.
avo was inspired by PeachPy and asmjit, both of which can produce executable code directly. So implementing an assembler in avo is something I have had in the back of my mind. However it wasn't one of my primary goals.
The use case I initially had in mind is massively unrolled crypto routines, where there's a lot of assembly code required but not much going on conceptually. My AES-CTR mode CL (https://go-review.googlesource.com/c/go/+/136896) and meow hash port (https://github.com/mmcloughlin/meow) got me thinking in this direction.
https://github.com/mmcloughlin/avo/blob/0e253b3753beb409b3dd...
It gets to the point where the only source of truth is the Go assembler itself. My test suite takes the avo instruction database and generates a massive assembly file with one line per instruction form, then passes this to `go tool asm`.
https://github.com/mmcloughlin/avo#credits
PeachPy actually has Go output already, and Damian Gryski has used this to great effect:
https://github.com/mmcloughlin/avo/issues/40
Unfortunately because PeachPy wasn't initially written with Go in mind there are some rough edges and Go features it simply doesn't support. avo hopes to fill this gap for Go programmers.