Hacker News
@hackernewslive
24.6K
subscribers
216K
links
Download Telegram
Join
Hacker News
24.6K subscribers
Hacker News
Prover-Verifier Games improve legibility of LLM outputs
Article
,
Comments
arXiv.org
Prover-Verifier Games improve legibility of LLM outputs
One way to increase confidence in the outputs of Large Language Models (LLMs) is to support them with reasoning that is clear and easy to check -- a property we call legibility. We study...
🌭
4
Hacker News
Launch HN: Airhart Aeronautics (YC S22) – A modern personal airplane
Article,
Comments
👍
1
🥰
1
🌭
1
Hacker News
Google Loses DOJ Antitrust Suit Over Search
Article
,
Comments
Bloomberg.com
Google Monopolized Search Through Illegal Deals, Judge Rules
Google illegally monopolized the search market through exclusive deals, a judge ruled Monday, handing the government a win in its first major antitrust case against a tech giant in more than two decades.
😁
22
🎉
13
🤣
3
🌭
1
Hacker News
Iso20022.js: Create payments in 3 lines of code
Article
,
Comments
Iso20022Js
iso20022.js · Open source ISO20022 library
iso20022.js is an open source library to create and manage ISO20022 payment messages
👍
10
🤡
6
🌭
3
Hacker News
How the Music Industry Learned to Love Piracy
Article
,
Comments
NY Times
How the Music Industry Learned to Love Piracy
A recent documentary has industry bigwigs telling a galling story about the file-sharing era: Everything worked out for the best.
❤
14
👨💻
4
👍
1
🌭
1
Hacker News
Show HN: Visual a* Pathfinding and Maze Generation in Python
Article
,
Comments
GitHub
GitHub - Dicklesworthstone/visual_astar_python: Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm - Dicklesworthstone/visual_astar_python
👎
4
❤
3
🌭
1
Hacker News
WebGL visual programming editor
cables.gl
is now open source
Article
,
Comments
cables
Standalone
Download cables standalone: open source offline local cables editor
❤
14
🌭
2
👍
1
Hacker News
Karpathy/Nano-Llama31
Article
,
Comments
🥱
13
👍
7
🌭
2
🍌
2
❤
1
Hacker News
Show HN: KittyCal – minimalist PWA calendar app for couples
Article
,
Comments
🥰
8
❤
2
🥴
2
🌭
2
Hacker News
Can we stop the decline of monarch butterflies and other pollinators?
Article
,
Comments
Wisconsin State Farmer
The number of monarch butterflies and other Wisconsin pollinators are falling. Here's why
If you have noticed fewer monarch butterflies fluttering around the yard this summer, you're not alone.
😢
11
👍
1
🌭
1
Hacker News
Indonesia bans search engine DuckDuckGo on gambling, pornography concerns
Article
,
Comments
Reuters
Indonesia bans search engine DuckDuckGo on gambling, pornography concerns
Indonesia said it has banned the privacy-oriented search engine DuckDuckGo, citing concerns that it could be used to access pornography and online gambling websites which are illegal in the country, the communications ministry said on Friday.
💩
55
🤣
11
⚡
10
🥴
3
🔥
2
🌭
2
👍
1
🤬
1
Hacker News
Debugging a rustc segfault on Illumos
Article
,
Comments
Debugging a rustc segfault on illumos
Debugging a rustc segfault on illumos ꞏ sunshowers
Using `mdb` and `pmap` to find the cause of a crash.
🔥
3
💩
2
🤮
1
🤡
1
🌭
1
Hacker News
Knuckledragger, a Semi-Automated Python Proof Assistant
Article
,
Comments
Hey There Buddo!
State of Knuckledragger, a Semi-Automated Python Proof Assistant
I’ve been working on Knuckledragger, my Z3 based semi-automated python proof assistant, on and off for 6 months (or arguably five years). I’ve realized I’ve done a bunch of stuff and despite writing often, not written the slightest bit about much of it.
🌭
2
👍
1
Hacker News
A RoCE network for distributed AI training at scale
Article
,
Comments
Engineering at Meta
RoCE networks for distributed AI training at scale
AI networks play an important role in interconnecting tens of thousands of GPUs together, forming the foundational infrastructure for training, enabling large models with hundreds of billions of pa…
🌭
3
👎
1
Hacker News
Associative tools, thinking, and creativity: On augmenting creativity
Article
,
Comments
Substack
Associative tools, thinking, and creativity
On augmenting creativity
⚡
1
👍
1
🌭
1
Hacker News
Undark and the Radium Girls (2006)
Article
,
Comments
Damn Interesting
Undark and the Radium Girls
In 1922, a bank teller named Grace Fryer became concerned when her teeth began to loosen and fall out for no discernible reason. Her troubles were
😢
8
❤
2
🥱
1
🌭
1
💔
1
👀
1
Hacker News
Why the international experimental nuclear fusion reactor is in 'big trouble'
Article
,
Comments
the Guardian
Is the dream of nuclear fusion dead? Why the international experimental reactor is in ‘big trouble’
The 35-nation Iter project has a groundbreaking aim to create clean and limitless energy but it is turning into the ‘most delayed and cost-inflated science project in history’
🤷♂
3
👍
2
🌭
2
⚡
1
Hacker News
Google pulls its terrible pro-AI "Dear Sydney" ad after backlash
Article
,
Comments
Ars Technica
Google pulls its terrible pro-AI “Dear Sydney” ad after backlash
Taking the "human" out of "human communication."
🤣
23
😁
5
🌭
2
Hacker News
I don't know how CPUs work so I simulated one in code (2019)
Article
,
Comments
djharper.dev
I don't know how CPUs work so I simulated one in code - djhworld
thoughts
🌭
6
👏
5
👎
4
💩
1
🤡
1
Hacker News
Below the Root: A story, a computer game and my lifelong obsession (2015)
Article
,
Comments
Stahlman Design blog
Below the Root: A story, a computer game and my lifelong obsession
This 1984 computer game inspired my art and made me want to be a programmer
The original box cover that contained the diskettes, map and manual. Another great example of how video-game art in the 80s never looked like the game.
The back of the box…
🌭
2
Hacker News
C++'s `noexcept` can sometimes help or hurt performance
Article
,
Comments
🤣
10
🌭
1
TWeb.init({scrollToPost:'hackernewslive/186676'});