N
Hacker Next
new
past
show
ask
show
jobs
submit
login
151
▲
Agda v2.9.0
(
github.com
)
24 points by
qbane
1 days ago
|
0 comments
152
▲
Sift: LSP, Lint, Format Lisp, Scheme and Emacs Lisp
(
github.com
)
83 points by
jjba23
3 days ago
|
14 comments
153
▲
Show HN: Kapso – Iterative learning from enterprise data
60 points by
alirezamshi
2 days ago
|
13 comments
154
▲
Why is Google cutting off Search from AI-free schools? Here are some theories
(
text.npr.org
)
192 points by
kamaraju
2 days ago
|
193 comments
155
▲
The Android lockdown seems under-theorized
(
dynomight.net
)
3 points by
dverlaeckt80
14 hours ago
|
0 comments
156
▲
OpenAI disbands its robotics team as its general models start running robots
(
fortune.com
)
176 points by
sshah03
1 days ago
|
73 comments
157
▲
IceWM
(
ice-wm.org
)
374 points by
inatreecrown2
2 days ago
|
232 comments
158
▲
Service degradation on Microsoft 365
(
status.cloud.microsoft
)
1171 points by
dkpk
2 days ago
|
993 comments
159
▲
ExcalidrawZ: Local Native Excalidraw on macOS/iOS
(
github.com
)
130 points by
Qision
3 days ago
|
30 comments
160
▲
Faster Retrieval for Better, More Efficient RAG
(
machinelearning.apple.com
)
241 points by
zerop
4 days ago
|
39 comments
161
▲
Smart home devices should work without the internet
(
docodethatmatters.com
)
1199 points by
skittleson
5 days ago
|
442 comments
162
▲
Socratic Tutor
(
github.com
)
710 points by
tosh
5 days ago
|
167 comments
163
▲
So Far, AI Pessimism Is Observationally Equivalent to AI Optimism
(
betonit.ai
)
7 points by
JulianPaul
18 hours ago
|
4 comments
164
▲
Italy fines Meta €805M over accessing users' photos
(
bbc.com
)
19 points by
devonnull
10 hours ago
|
1 comment
165
▲
Beating the Frontier on NetHack
(
antithesis.com
)
18 points by
nwjsmith
1 days ago
|
0 comments
166
▲
Show HN: Yogurt – Free, private, open-source alternative to Granola
(
github.com
)
303 points by
brownrout
4 days ago
|
115 comments
167
▲
Edge0-145B: Frontier AI Capabilities on Your Own Computer
(
edge0.ai
)
352 points by
sroussey
2 days ago
|
105 comments
168
▲
Atuin Threads: All your agent sessions on every machine
(
blog.atuin.sh
)
237 points by
linsomniac
4 days ago
|
84 comments
169
▲
Writing correct software is hard and math alone won’t help us (2016)
(
pron.github.io
)
375 points by
AriFordsham
3 days ago
|
184 comments
170
▲
I'm Working on a FOSS Linux Pinbal Simulation Engine
(
getlazarus.org
)
136 points by
sysrpl
3 days ago
|
45 comments
171
▲
Why is there anything at all?
(
en.wikipedia.org
)
10 points by
gradus_ad
6 hours ago
|
2 comments
172
▲
Vibes Don't Maintain
(
roll.bybacon.com
)
118 points by
dxs
2 days ago
|
46 comments
173
▲
LibreOffice actually works 365 days a year
(
twitter.com
)
936 points by
mksaunders2
2 days ago
|
291 comments
174
▲
A false smoke alarm almost drowned Jane Street's only NYC datacenter
(
michael.bacarella.com
)
587 points by
mbac32768
4 days ago
|
276 comments
175
▲
Abandoned Quake 4 expansion finished by modders and now playable
(
moddb.com
)
309 points by
klaussilveira
3 days ago
|
129 comments
176
▲
Vercel should fork and maintain Deno
15 points by
gfalcao
15 hours ago
|
9 comments
177
▲
Brazil's Caixa insurer breach exposes names and tax IDs of all 7.6M customers
(
filemanager-cdn.mziq.com
)
167 points by
dvaplima
2 days ago
|
78 comments
178
▲
I gave an agent a lakehouse and control of my garden
(
jatorre.github.io
)
150 points by
jatorre
7 days ago
|
78 comments
179
▲
Terminal text-editor for I know roughly what I'm looking for, just take me there
(
crates.io
)
3 points by
lalithaar
16 hours ago
|
0 comments
180
▲
Silicon Valley claims to know the future. So why'd it get the midterms so wrong?
(
technologyreview.com
)
47 points by
adriand
10 hours ago
|
47 comments
Rendered at 05:35:31 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.