HNHacker News
TopNewBestAskShowJobs

bollu

1,541 karma · joined October 4, 2016

https://pixel-druid.com/ https://github.com/bollu/ siddharth.bhat@cl.cam.ac.uk
submissionscomments

Show HN: Formally Verified FPSan

github.com·2 pts·bollu·
0

Stuff I Learnt in 2024

pixel-druid.com·2 pts·bollu·
1

Stuff I Learnt in 2022

pixel-druid.com·1 pts·bollu·
0

Identify the Champion: An Organisational Pattern for Programme Commitees

scg.unibe.ch·9 pts·bollu·
0

Stuff I Learnt in 2021

pixel-druid.com·2 pts·bollu·
0

The Jacobian, Geometrically

bollu.github.io·2 pts·bollu·
1

Hacker's Guide to Numerical Analysis

bollu.github.io·356 pts·bollu·
64

Readable Pointers

bollu.github.io·9 pts·bollu·
4

Ask HN: easist way to build digital logic on civilization collapse?

2 pts·bollu·
2

The unreasonable effectiveness of declarative programming

bollu.github.io·417 pts·bollu·
122

Best Practices for Array Indexing

bollu.github.io·9 pts·bollu·
2

Fast Math Rendering on the Web

bollu.github.io·46 pts·bollu·
20

Incunabulum for the 21st century: Making the J interpreter compile in 2020

bollu.github.io·2 pts·bollu·
0

Stuff I learnt in 2019: Papers, math and code

bollu.github.io·5 pts·bollu·
0

Ask HN: How does someone in India access the internet when taken down?

29 pts·bollu·
9

What's a Grober basis? An explanation using circuit equivalence

bollu.github.io·3 pts·bollu·
0

Show HN: A weekend replication of STOKE, a stochastic superoptimiser

github.com·58 pts·bollu·
4

Differences between the word2vec paper and its implementation

github.com·351 pts·bollu·
147

Is there life on Mars? Paper answers “maybe”

journalofastrobiology.com·1 pts·bollu·
2

The ideas I picked up in 2018

github.com·2 pts·bollu·
0

Making GHC an order of magnitude faster with one neat trick

pixel-druid.com·59 pts·bollu·
18

Show HN: Papers I read and loved in 2017 (compilers and programming languages)

pixel-druid.com·1 pts·bollu·
0

Show HN: Simplexhc, a Haskell to LLVM compiler

pixel-druid.com·5 pts·bollu·
1

Show HN: Simplexhc – Haskell to LLVM compiler (design phase)

pixel-druid.com·55 pts·bollu·
14

Show HN: TIMi-Visual Interpreter for lazy functional language in Rust

github.com·2 pts·bollu·
0

Show HN: Teleport: Simple command line app tutorial written in Haskell

bollu.github.io·76 pts·bollu·
28

Show HN: RealityCheck: Proof of concept ST plugin to live edit Python code

github.com·2 pts·bollu·
0