mmcloughlin

6 ms·

1.
Intel previews future instruction-set documentaton(intel.github.io)
17 points by mmcloughlin 1mo ago|1 comments
2.
Crosslink – Persistent Memory for Human-Agent Development(forecast.bio)
5 points by mmcloughlin 7mo ago|0 comments
3.
Scaling Instruction-Selection Verification Against Authoritative ISA Semantics(doi.org)
3 points by mmcloughlin 1y ago|0 comments
4.
Verus: Verified Rust for low-level systems code(github.com)
158 points by mmcloughlin 1y ago|48 comments
5.
Hwwasm: Experiment in Hardware Intrinsics for WebAssembly(github.com)
2 points by mmcloughlin 2y ago|0 comments
6.
by mmcloughlin 2y ago
Perhaps there is some evidence that people do get excited about free school lunches: Governor Tim Walz’s lunch policy in Minnesota has been a part of the buzz surrounding his recent Vice Presidential nomination. https://www.cnbc.
7.
3 Professional Regrets from My PhD(jameslarisch.com)
2 points by mmcloughlin 2y ago|0 comments
8.
Geomys, a blueprint for a sustainable open-source maintenance firm(words.filippo.io)
204 points by mmcloughlin 2y ago|18 comments
9.
Tiny Tensor Compiler(intel.github.io)
1 points by mmcloughlin 2y ago|0 comments
10.
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization(arxiv.org)
2 points by mmcloughlin 3y ago|0 comments
11.
Ground-Up AArch64 (2021)(binary.ninja)
2 points by mmcloughlin 4y ago|0 comments
12.
by mmcloughlin 5y ago
For me, Naltrexone was an incredible help in reducing cravings in the first few months. I came off it after around six months and no longer need it, though I think many people take it for much longer and there's not much downside to do
13.
Show HN: Profile: Simple Profiling for Go(github.com)
4 points by mmcloughlin 5y ago|0 comments
14.
Show HN: Cryptographic Addition Chain Generation in Go(github.com)
10 points by mmcloughlin 6y ago|0 comments
15.
It’s OK for your open source library to be a bit shitty (2015)(drmaciver.com)
650 points by mmcloughlin 6y ago|345 comments
16.
Fun with branch misprediction in LLVM test-suite 7zip benchmark(sujankh.github.io)
1 points by mmcloughlin 7y ago|0 comments
17.
Show HN: Mathfmt: Document mathematical Go code beautifully(github.com)
3 points by mmcloughlin 7y ago|0 comments
18.
Mathfmt: Document mathematical Go code beautifully(github.com)
1 points by mmcloughlin 7y ago|0 comments
19.
Grep from First Principles, in Golang(willdemaine.ghost.io)
2 points by mmcloughlin 7y ago|0 comments
20.
Go on not so small hardware(embeddedgo.github.io)
2 points by mmcloughlin 7y ago|0 comments
21.
by mmcloughlin 7y ago
Great project and write-up. I'm reminded of a couple other projects. MC Hammer project for LLVM tests round-trip properties of the ARM assembler. http://llvm.org/devmtg/2012-04-12/Slides/Richard_Barton.pd
22.
Show HN: Reveal code line-by-line in LaTeX presentations(github.com)
1 points by mmcloughlin 7y ago|0 comments
23.
by mmcloughlin 7y ago
I implemented something like this in Python for my LaTeX/beamer presentation recently. For example, see this and the following slides: https://speakerdeck.com/mmcloughlin/better-x86-assembly-gene... The sample cod
24.
Show HN: Fuzzing Go Crypto(github.com)
2 points by mmcloughlin 8y ago|0 comments
25.
by mmcloughlin 8y ago
Oh cool, thanks for sharing that talk. I might try to submit an avo talk to a meetup, if anyone will have me :)
26.
by mmcloughlin 8y ago
Only a small number of instructions in Go assembly are architecture neutral. 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 signific
27.
by mmcloughlin 8y ago
Thanks :) > 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
28.
by mmcloughlin 8y ago
Yes! This tripped me up at one point. My comment says "Otherwise we could be in the bizarre special-case of 3-argument CMP instructions." https://github.com/mmcloughlin/avo/blob/0e253b3753beb409b3dd.
29.
by mmcloughlin 8y ago
Haha yes! PeachPy was written at Georgia Tech and avo was written in California.
30.
by mmcloughlin 8y ago
avo author here. Yes PeachPy was the inspiration for this, as well as asmjit. Both mentioned in the credits: https://github.com/mmcloughlin/avo#credits PeachPy actually has Go output already, and Damian Gryski has used

More ›