• Readsy

Top Stories from Hacker News

Unsupervised Elicitation of Language Models

Abstract page for arXiv paper 2506.10139: Unsupervised Elicitation of Language Models

81 points

5 comments

discussionsource

TimeGuessr

TimeGuessr - the game that tests both your geography and history knowledge. Guess where and when historic photos were taken.

176 points

35 comments

discussionsource

Liquid Glass – WWDC25 [video]

127 points

225 comments

discussionsource

Texting myself the weather every day

My personal website. Hopefully always being updated!

20 points

26 comments

discussionsource

The Many Sides of Erik Satie

“The Satie life contains so much murk; his music sparkles with riverine clarity.”

89 points

20 comments

discussionsource

Peano arithmetic is enough, because Peano arithmetic encodes computation

173 points

62 comments

discussionsource

Slowing the flow of core-dump-related CVEs

59 points

10 comments

discussionsource

Solar Orbiter gets world-first views of the Sun's poles

Thanks to its newly tilted orbit around the Sun, the European Space Agency-led Solar Orbiter spacecraft is the first to image the Sun’s poles from outside the ecliptic plane. Solar Orbiter’s unique viewing angle will change our understanding of the Sun’s magnetic field, the solar cycle and the workings of space weather. 

62 points

6 comments

discussionsource

SIMD-friendly algorithms for substring searching (2018)

156 points

27 comments

discussionsource

Writing a Truth Oracle in Lisp

20 points

2 comments

discussionsource

"Language and Image Minus Cognition." Leif Weatherby on LLMs

9 points

2 comments

discussionsource

Last fifty years of integer linear programming: Recent practical advances

<div><p>Mixed-integer linear programming (MILP) has become a cornerstone of operations research. This is driven by the enhanced efficiency of modern solvers, which can today find globally optimal solutions within seconds for problems that were out of reach a decade ago. The versatility of these solvers allowed successful applications in many areas, such as transportation, logistics, supply chain management, revenue management, finance, telecommunications, and manufacturing. Despite the impressive success already obtained, many challenges remain, and MILP is still a very active field.</p><p>This article provides an overview of the most significant results achieved in advancing the MILP solution methods. Given the immense literature on this t

119 points

19 comments

discussionsource

Inside the Apollo "8-Ball" FDAI (Flight Director / Attitude Indicator)

33 points

8 comments

discussionsource

SSHTron: A multiplayer lightcycle game that runs through SSH

$ ssh sshtron.zachlatta.com. Contribute to zachlatta/sshtron development by creating an account on GitHub.

18 points

2 comments

discussionsource

Endometriosis is an interesting disease

5k words, 23 minutes reading time

255 points

153 comments

discussionsource

Solidroad (YC W25) Is Hiring

Increase CSAT without increasing cost with the AI QA & training platform that reviews 100% of your customer conversations. Generate individualized training simulations for human reps and refinement recommendations for AI agents.

1 points

comments

discussionsource

Me an' Algernon – grappling with (temporary) cognitive decline

Originally published May 20, 2015.

70 points

40 comments

discussionsource

I have reimplemented Stable Diffusion 3.5 from scratch in pure PyTorch

A reimplementation of Stable Diffusion 3.5 in pure PyTorch - yousef-rafat/miniDiffusion

142 points

17 comments

discussionsource

Filedb: Disk-based key-value store inspired by Bitcask

Disk Based Key-Value Store Inspired by Bitcask . Contribute to rajivharlalka/filedb development by creating an account on GitHub.

95 points

9 comments

discussionsource

Implementing Logic Programming

I just think it's neat!

163 points

52 comments

discussionsource
Data not found