HackerTrans
TopNewTrendsCommentsPastAskShowJobs

nhatcher

980 karmajoined 10 ปีที่แล้ว
https://www.nhatcher.com/ https://www.ironcalc.com/

[email protected]

Submissions

Triple Dragon Fractal (2020)

paulbourke.net
69 points·by nhatcher·5 วันที่ผ่านมา·16 comments

François Englert (1932 – 2026)

home.cern
4 points·by nhatcher·21 วันที่ผ่านมา·0 comments

Port React Compiler to Rust

github.com
4 points·by nhatcher·เดือนที่แล้ว·1 comments

SpaceX targets biggest ever stock market debut

theguardian.com
4 points·by nhatcher·เดือนที่แล้ว·0 comments

A New Chapter for Codecov

about.codecov.io
4 points·by nhatcher·เดือนที่แล้ว·0 comments

Terminal coding agent for DeepSeek V4

github.com
4 points·by nhatcher·2 เดือนที่ผ่านมา·0 comments

Spreadsheet Errors: Manual Data Mistakes Are Costing Thousands

doss.com
1 points·by nhatcher·2 เดือนที่ผ่านมา·0 comments

Open-source endpoint detection engine for Windows and Linux

github.com
3 points·by nhatcher·2 เดือนที่ผ่านมา·0 comments

Agentic Artificial Intelligence in Finance

arxiv.org
3 points·by nhatcher·2 เดือนที่ผ่านมา·0 comments

Scientists discover 27 potential new planets that orbit two stars

theguardian.com
9 points·by nhatcher·2 เดือนที่ผ่านมา·1 comments

The Angine de Poitrine Argument for UBI

scottsantens.com
3 points·by nhatcher·2 เดือนที่ผ่านมา·0 comments

Some Interrail travellers told to cancel passports as hacked data posted online

theguardian.com
1 points·by nhatcher·3 เดือนที่ผ่านมา·0 comments

Muon G-2 Experiment Pioneers Win Breakthrough Prize in Fundamental Physics

home.cern
3 points·by nhatcher·3 เดือนที่ผ่านมา·0 comments

Atemis II Launch

esa.int
4 points·by nhatcher·3 เดือนที่ผ่านมา·0 comments

Most editors at math journal resign over multiple reviews

retractionwatch.com
3 points·by nhatcher·4 เดือนที่ผ่านมา·0 comments

Solving the Good Will Hunting Problem

scientificamerican.com
5 points·by nhatcher·4 เดือนที่ผ่านมา·0 comments

EU inc: a new European company structure

ec.europa.eu
93 points·by nhatcher·6 เดือนที่ผ่านมา·1 comments

Kip: A programming language based on grammatical cases of Turkish

github.com
254 points·by nhatcher·6 เดือนที่ผ่านมา·65 comments

Update on my journey toward the Rust compiler team

old.reddit.com
2 points·by nhatcher·7 เดือนที่ผ่านมา·1 comments

An open-source, cross-platform Git client

github.com
3 points·by nhatcher·7 เดือนที่ผ่านมา·0 comments

comments

nhatcher
·22 วันที่ผ่านมา·discuss
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
nhatcher
·เดือนที่แล้ว·discuss
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
nhatcher
·เดือนที่แล้ว·discuss
Also there is an idea for the svelte compiler: https://github.com/sveltejs/svelte/issues/18376
nhatcher
·2 เดือนที่ผ่านมา·discuss
Grothendieck has been discussed a number of times in HN:

https://hn.algolia.com/?q=Grothendieck
nhatcher
·2 เดือนที่ผ่านมา·discuss
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 developper myself but I really love Zig and Bun. I am just overly curious of all this.
nhatcher
·2 เดือนที่ผ่านมา·discuss
What about lean?

def main : IO Unit := IO.println "Hello, world!"

Also Coq was renamed to Rocq
nhatcher
·2 เดือนที่ผ่านมา·discuss
(Disclaimer: I don't know the first word about law)

But I have been thinking about this quite a lot recently (mostly because I get angry at the power states sometimes have over individuals). Would the distinction really matter in this case?. I would think that in a "civil law" contry things could be even worse for the aggressor
nhatcher
·2 เดือนที่ผ่านมา·discuss
Cool to see this here! There are quite a few other terminal based spreadsheet people have been doing over the last few years.

Most notably:

https://github.com/andmarti1424/sc-im

Has been in HN often, most recently:

https://news.ycombinator.com/item?id=47662658

New takes: https://github.com/zaphar/sheetsui https://github.com/garritfra/cell
nhatcher
·3 เดือนที่ผ่านมา·discuss
This is exciting! TypeScript has gone a long way (indeed JavaScript!). I wonder how difficult for the many other tools like Deno, Bun, etc will be to integrate this
nhatcher
·3 เดือนที่ผ่านมา·discuss
Try Share The Meal[1]. It's quite easy to use and I think it has an impact. Sadly also a way to keep in touch with devastating news like this one

[1]: https://sharethemeal.org/en-us
nhatcher
·3 เดือนที่ผ่านมา·discuss
I like it! I think if we are moving to a world (that is a big if) with more people self-hosting ideas like this one might have a future.

A different take: https://www.cloudron.io/
nhatcher
·3 เดือนที่ผ่านมา·discuss
Thanks, fixed.
nhatcher
·3 เดือนที่ผ่านมา·discuss
Wrong thread?
nhatcher
·3 เดือนที่ผ่านมา·discuss
I am working on IronCalc[1]. A spreadsheet engine. We are not an alternative yet. As it is not a finished product. But, if we are successful, we should be a good alternative to traditional spreadsheet software.

[1] https://www.ironcalc.com
nhatcher
·4 เดือนที่ผ่านมา·discuss
It's a bit low on my priority list, but I'm working on that!

https://github.com/ironcalc/TironCalc
nhatcher
·4 เดือนที่ผ่านมา·discuss
Oh wow! I wouldn't have expected this so many years later. Mordel's conjecture implies asva special case that for all n>=4 there are only a finite number of solutions to Fermat's equations with relative prime numbers. Brings me back!
nhatcher
·4 เดือนที่ผ่านมา·discuss
Interesting! I am building a spreadsheet and the next few months will be building the collaborative side of it. I think many of the things that work for text don't necessarily translate for spreadsheets.
nhatcher
·4 เดือนที่ผ่านมา·discuss
I think charts is one of those few things I won't implement from scratch, as there are already fantastic libraries out there:

https://github.com/ironcalc/IronCalc/issues/348

We will start working on it by July according to the plan. (This will add a lot if value to the project BTW)
nhatcher
·4 เดือนที่ผ่านมา·discuss
The "engine" is the computational part of it. And it is completely separted from the UI. You can use it from Rust, Python, nodejs or from the browser and eventually from a destop app.

The important thing is that is all those cases the engine is the same. I
nhatcher
·4 เดือนที่ผ่านมา·discuss
Answered to a sibling comment. NLnet and HORIZON.

NLnet is just amazing and can keep you going if you are a student or have some extra sources of income

HORIZON is a huge grant but fairly hard to obtain. Generally related to reasearch grants in academia