Hacker News
@hackernewslive
23.6K
subscribers
211K
links
Download Telegram
Join
Hacker News
23.6K subscribers
Hacker News
15,000 lines of verified cryptography now in Python
Article
,
Comments
Jonathan Protzenko
15,000 lines of verified cryptography now in Python
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure.
🥰
13
🤮
9
👍
1
👏
1
🌭
1
Hacker News
Ink and Switch Constraint System (2023)
Article
,
Comments
Inkandswitch
Constraint System
At the beginning of phase 2, we weren’t sure what to do about constraints. Based on past exploration, constraints seemed to hold a lot of promise but were notoriously unreliable. A good constraint system could unify and power a number of key aspects of the…
🌭
3
Hacker News
Show HN: Attune - Build and publish APT repositories in seconds
Article
,
Comments
GitHub
GitHub - attunehq/attune: Faster builds, zero effort.
Faster builds, zero effort. Contribute to attunehq/attune development by creating an account on GitHub.
👍
8
💩
3
🌭
2
Hacker News
Understanding the Origins and the Evolution of Vi and Vim
Article
,
Comments
Pikuma
Understanding the Origins and the Evolution of Vi & Vim
The history of Vi & Vim goes hand in hand with the history of open-source software. This article looks at the historical events that shaped the evolution of these text editors.
❤
18
🤮
1
🌭
1
Hacker News
Honest and Elitist Thoughts on Why Computers Were More Fun Before
Article
,
Comments
❤
8
💩
2
🌭
1
🤣
1
Hacker News
Full Text Search of US Court records
Article
,
Comments
Judyrecords
Free Public Records Search - judyrecords
Instantly search 750 million+ United States court cases.
🌭
4
Hacker News
There's Life Inside Earth's Crust
Article
,
Comments
NOEMA
There’s Life Inside Earth’s Crust
Revelations about microbes living deep inside Earth’s crust are challenging scientists’ conceptions of life and how it evolves.
⚡
6
🌭
3
🔥
2
Hacker News
Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float) Profitably
Article
,
Comments
Kumar Thangudu
Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float)
tldr: There's a lot of bullshit going on right now about Lithium propulsion boats and planes, don't trust the energy return on investment or viability of its profitability...it's fundamentally a net negative energy return on investment. Edits* - there...
🎉
8
👍
5
🤡
4
🌚
3
👎
1
🌭
1
Hacker News
Show HN: (bits) of a Libc, Optimized for Wasm
Article
,
Comments
GitHub
go-sqlite3/sqlite3/libc at main · ncruces/go-sqlite3
Go bindings to SQLite using wazero. Contribute to ncruces/go-sqlite3 development by creating an account on GitHub.
🌭
4
🔥
1
Hacker News
UML diagram for the DDD example in Evans' book
Article
,
Comments
GitHub
GitHub - takaakit/uml-diagram-for-ddd-example-in-evans-book: UML diagram for the DDD example—a cargo shipping system—from Eric…
UML diagram for the DDD example—a cargo shipping system—from Eric Evans' book - takaakit/uml-diagram-for-ddd-example-in-evans-book
🌭
5
👍
1
Hacker News
I passionately hate hype, especially the AI hype
Article
,
Comments
👍
22
🥱
15
❤
4
⚡
2
🌭
1
💊
1
Hacker News
College Towns: Urbanism from a Past Era
Article
,
Comments
www.governance.fyi
College Towns: Urbanism from a Past Era with Ryan Allen
How Universities Accidentally Preserved the Walkable America We Demolished Everywhere Else
⚡
6
❤
2
🤡
2
🔥
1
🌭
1
Hacker News
Hypertext TV
Article
,
Comments
hypertext.tv
Hypertext TV
Daily programming for the handmade web. Airing now.
🌭
5
🗿
2
😍
1
Hacker News
OpenAI's new reasoning AI models hallucinate more
Article
,
Comments
TechCrunch
OpenAI's new reasoning AI models hallucinate more | TechCrunch
OpenAI's reasoning AI models are getting better, but their hallucinating isn't, according to benchmark results.
🤣
62
😁
3
🤪
2
🤡
1
🌭
1
Hacker News
Cozy video games can quell stress and anxiety
Article
,
Comments
Reuters
Cozy video games can quell stress and anxiety.
Explore a charming town, meet quirky villagers, and take in the cozy vibes!
🦄
19
💩
11
❤
6
👍
3
🙈
3
🙉
3
🙊
3
🌭
2
🍌
1
Hacker News
Principles for Building One-Shot AI Agents
Article
,
Comments
EdgeBit
Principles for Building One-Shot AI Agents for Automated Code Maintenance
EdgeBit is a security platform that helps application engineering teams to find and fix security vulnerabilities. The Dependency Autofix feature contains an extremely accurate reachability engine to identify impact to your app. Most updates have no impact…
💩
10
🌭
1
Hacker News
Hextraction, a free and open source board game
Article
,
Comments
👏
2
🌭
2
👍
1
Hacker News
Using –/.ssh/authorized keys to decide what the incoming connection can do
Article
,
Comments
🤯
12
👍
5
🌭
4
🆒
2
🔥
1
Hacker News
Hands-On Large Language Models
Article
,
Comments
GitHub
GitHub - HandsOnLLM/Hands-On-Large-Language-Models: Official code repo for the O'Reilly Book - "Hands-On Large Language Models"
Official code repo for the O'Reilly Book - "Hands-On Large Language Models" - HandsOnLLM/Hands-On-Large-Language-Models
🌭
7
👍
1
🤡
1
Hacker News
JavaScript Views, the Hard Way – A Pattern for Writing UI
Article
,
Comments
GitHub
GitHub - matthewp/views-the-hard-way: JavaScript views; done as painfully as possible
JavaScript views; done as painfully as possible. Contribute to matthewp/views-the-hard-way development by creating an account on GitHub.
👍
4
❤
1
🌭
1
🤣
1
Hacker News
Zig and GPUs
Article
,
Comments
🤮
12
⚡
4
❤
4
👍
1
🌭
1