nhatcher

6 ms·

1.
by nhatcher 8d ago
Some millennium problems? Are there more coming?
2.
by nhatcher 9d ago
Note to self: This is a fantastic description on atomics and locks in Rust. I would say it is even better than the documentation or the Rust Book. It has a _soul_, you can see and feel the person talking. It has _unity_, you can understand
3.
Rust Atomics and Locks (2023)(mara.nl)
1 points by nhatcher 9d ago|1 comments
4.
Lev Landau(en.wikipedia.org)
4 points by nhatcher 13d ago|1 comments
5.
by nhatcher 13d ago
The first serious book I ever got on physics was Landau's Classical Mechanics. His writting left a long lasting impression on me. His wikipedia page made me think of the so many great physicists and scientist that will never be because
6.
by nhatcher 16d ago
Oh wow, I'm fairly impressed. I wouldn't have expected AI to solve a problem this hard just now. There have been claims of complex structures on s6 (or absence of them) quite a few times over the last 15 years. Some by acclaimed m
7.
Algebraic floating-point methods in Rust landed in 1.98.0(doc.rust-lang.org)
2 points by nhatcher 18d ago|0 comments
8.
by nhatcher 27d ago
Hehe, I really like them. And I always recommend those. It's not always that you have some nice books on deep concepts in mathematics for the "general" public
9.
Account of Nagasaki's atomic bombing in WW2(bbc.com)
3 points by nhatcher 1mo ago|0 comments
10.
by nhatcher 1mo ago
I regrettably don't have a good plan for that. We have a grant from the European Union that will pay our salaries for another year or so.
11.
by nhatcher 1mo ago
From Excel/Google sheets because ot is MIT/Apache 2. From libre office because it is web first and also an engine first It's written in Rust and has bindings to different languages. It's extremely light and fast
12.
by nhatcher 1mo ago
As per usual for the last two years I'm working on an open source spreadsheet engine called IronCalc. It is super exciting. We have a proof of concept at https://app.ironcalc.com In the last couple of months my partner and
13.
Origins of Life on Earth by Tracing Early Chemical Reactions(smithsonianmag.com)
3 points by nhatcher 1mo ago|0 comments
14.
GSharp Programming Language(github.com)
2 points by nhatcher 2mo ago|0 comments
15.
by nhatcher 2mo ago
That is really cool and impressive! Fantastic job
16.
Triple Dragon Fractal (2020)(paulbourke.net)
70 points by nhatcher 2mo ago|16 comments
17.
François Englert (1932 – 2026)(home.cern)
4 points by nhatcher 3mo ago|0 comments
18.
by nhatcher 3mo ago
I'm looking forward to this. But it does amaze me how Microsoft with all it's power takes years to complete the port to a different language and bun does it in 7 days. Crazy times
19.
by nhatcher 3mo ago
First of all thanks for the great library. It is so much more thay an UI kit! We wrote (should say are writing) our own xlsx parser in Rust on IronCalc: https://github.com/ironcalc/IronCalc/tree/main/xlsx
20.
Port React Compiler to Rust(github.com)
4 points by nhatcher 3mo ago|1 comments
21.
by nhatcher 3mo ago
Also there is an idea for the svelte compiler: https://github.com/sveltejs/svelte/issues/18376
22.
SpaceX targets biggest ever stock market debut(theguardian.com)
4 points by nhatcher 4mo ago|0 comments
23.
A New Chapter for Codecov(about.codecov.io)
4 points by nhatcher 4mo ago|0 comments
24.
Terminal coding agent for DeepSeek V4(github.com)
4 points by nhatcher 4mo ago|0 comments
25.
by nhatcher 4mo ago
Grothendieck has been discussed a number of times in HN: https://hn.algolia.com/?q=Grothendieck
26.
Spreadsheet Errors: Manual Data Mistakes Are Costing Thousands(doss.com)
1 points by nhatcher 4mo ago|0 comments
27.
Open-source endpoint detection engine for Windows and Linux(github.com)
3 points by nhatcher 4mo ago|0 comments
28.
by nhatcher 4mo ago
That's a post I am eagerly waiting to read. Basically we are seeing now an "inverse Hofstadter's Law" where doing something with an LLM takes less time thanexpected even when you take into account this law. I am a Rust d
29.
Agentic Artificial Intelligence in Finance(arxiv.org)
3 points by nhatcher 4mo ago|0 comments
30.
Scientists discover 27 potential new planets that orbit two stars(theguardian.com)
9 points by nhatcher 5mo ago|1 comments

More ›