niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

From QED to Neovim

Article URL: https://l-o-o-s-e-d.net/qed-neovim

Comments URL: https://news.ycombinator.com/item?id=43368765

Points: 15

# Comments: 4

https://l-o-o-s-e-d.net/qed-neovim

Created 4h | Mar 15, 2025, 3:20:10 AM


Login to add comment

Other posts in this group

Show HN: eli – Embedded Lisp Interpreter
Show HN: eli – Embedded Lisp Interpreter

Article URL: https://github.com/codr7/eli

Comments URL: https://news.ycombinator.com/item?

Mar 15, 2025, 5:40:04 AM | Hacker news
The Ozempocalypse Is Nigh
The Ozempocalypse Is Nigh

Article URL: https://www.astralcodexten.com/p/the-ozempocalypse-is-nigh

Comments URL:

Mar 15, 2025, 5:40:04 AM | Hacker news
Transformers Without Normalization
Transformers Without Normalization

Article URL: https://jiachenzhu.github.io/DyT/

Comments URL: https://news.ycombinator

Mar 15, 2025, 5:40:03 AM | Hacker news
Experts warn about the 'crumbling infrastructure' of federal government data
Experts warn about the 'crumbling infrastructure' of federal government data

Article URL: https://www.npr.org/2025/01/24/nx-s1-5250264/unemployment-rate-cp

Mar 15, 2025, 5:40:03 AM | Hacker news
'Once in a Century' Proof Settles Math's Kakeya Conjecture
'Once in a Century' Proof Settles Math's Kakeya Conjecture

Article URL: https://www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-

Mar 15, 2025, 3:20:11 AM | Hacker news
Popular GitHub Action tj-actions/changed-files is compromised
Popular GitHub Action tj-actions/changed-files is compromised

Article URL: https://semgrep.dev/blog/2025/popular-github-action-tj-actionschanged-files-is-co

Mar 15, 2025, 3:20:09 AM | Hacker news
Google Being Forced to Sell Chrome Is Not Good for the Web
Google Being Forced to Sell Chrome Is Not Good for the Web

Article URL: https://chriscoyier.net/2025/03/14/google-being-forced-to-sell-chrome-is-not-g

Mar 15, 2025, 3:20:09 AM | Hacker news
Techie
Techie