The QNX Operating System
(news.ycombinator.com)
1891.
1892.
86 GB/s bitpacking with ARM SIMD (single thread)
(news.ycombinator.com)
1893.
Version History is live — here’s how to find it
(theverge.com)
1894.
1895.
Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces
(news.ycombinator.com)
1896.
A comparison of Ada and Rust, using solutions to the Advent of Code
(news.ycombinator.com)
1897.
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(news.ycombinator.com)
1898.
A Comparison of Ada and Rust, Using Solutions to the Advent of Code
(news.ycombinator.com)
1899.
1900.
1901.
Tesla’s cheaper Model Y finally breaks cover
(theverge.com)
1902.
1903.
EU funds are flowing into spyware companies and politicians demanding answers
(news.ycombinator.com)
1904.
A delayed Vision Air could easily become a cancellation
(9to5mac.com)
1905.
1906.
Immich v2.0.0 – First stable release
(news.ycombinator.com)
1907.
Don't avoid workplace politics
(news.ycombinator.com)
1908.
1909.
1910.
1911.
1912.
What good workplace politics looks like in practice
(news.ycombinator.com)
1913.
1914.
1915.
Stop Avoiding Politics
(news.ycombinator.com)
1916.
1917.
1918.
1919.
1920.
Detect Electron apps on Mac that hasn't been updated to fix the system wide lag
(news.ycombinator.com)
Today's top topics:
orion spacecraft
claude
rust
google
social media
apple
nasa
nvidia
gemini
devops