hackernews client

news

Page 124

Synthesizing Loop-Free Programs with Rust and Z3 (2020)

25 pointsposted 5 days ago

by karelpeeters

0 comments

'Fingerprints' inside the Sun could reveal if it once swallowed a planet

133 pointsposted 4 days ago

by blincoln

42 comments

The bitter lesson of browser agents

12 pointsposted a day ago

by gregpr07

2 comments

Do you still read the code?

13 pointsposted 2 days ago

by wofo

2 comments

AI is not going to kill you

9 pointsposted a day ago

by mohonishc

4 comments

Microsoft patches Windows and Excel – breaks audio, remote access, and paste

258 pointsposted 2 days ago

by Alephinitesimal

179 comments

Open-source AI and open models reading list

157 pointsposted 3 days ago

by simonpure

30 comments

Hackers Stole Flock Camera Software Revealing How Company Tracks Cars and People

33 pointsposted 12 hours ago

by driverdan

1 comments

Homebrew 7.0.0

635 pointsposted 4 days ago

by mikemcquaid

253 comments

The Roman telescope has enough gas for 22 years, double NASA's expectations

5 pointsposted 12 hours ago

by rbanffy

0 comments

Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout

313 pointsposted 3 days ago

by andsoitis

435 comments

How much oil-market buffer is left?

112 pointsposted a day ago

by mcone

173 comments

I added a non-wi-fi Mitsubishi AC to Home Assistant

199 pointsposted 7 days ago

by ichacas

105 comments

The biggest dinosaurs couldn't sit on their eggs

49 pointsposted 3 days ago

by BiraIgnacio

16 comments

google.com/goto: Google's anti-scraping update

679 pointsposted 5 days ago

by 1e1a

553 comments

More people are seeking emergency care for gambling and it's mostly men and boys

12 pointsposted 17 hours ago

by rdmuser

3 comments

IKEA made a mod for Skyrim [video]

606 pointsposted 7 days ago

by kegenaar

172 comments

I fixed a tractor using John Deere's self-repair service. Farmers aren't sold

145 pointsposted 5 days ago

by sbulaev

159 comments

Sub-Agents Are Just Wrong

10 pointsposted a day ago

by momojo

0 comments

Khipu (Quipu) Field Guide

3 pointsposted a day ago

by SanjayMehta

0 comments

Periodic Labs, building labs that learn

7 pointsposted a day ago

by aguez

0 comments

Lovable rewrites Vite in Rust – Reduces memory usage by 10x

25 pointsposted 2 days ago

by vikeri

3 comments

NHTSA orders Tesla to prove its Cybercab is legal to sell, under oath

6 pointsposted 10 hours ago

by Tomte

3 comments

Show HN: SCIP MIP solver bindings for Go, ported from russcip

11 pointsposted a day ago

by generalist_dev

0 comments

The Apple IIGS was introduced 40 years ago today

16 pointsposted 20 hours ago

by stlhood

1 comments

Getting 50 GB/S Back from the Apple Neural Engine

217 pointsposted 7 days ago

by eiln

36 comments

Largest known Roman mosaic, beneath Baths of Trajan, opens to the public

57 pointsposted 2 days ago

by bookofjoe

9 comments

Everyone should slow down AI development except for me

810 pointsposted 4 days ago

by xena

455 comments

Julia 1.13 highlights

270 pointsposted 7 days ago

by eigenspace

47 comments

TailTalk: A modern async user space AppleTalk stack with Rust and Tokio

77 pointsposted 4 days ago

by zdw

15 comments