Hacker Next
331
Show HN: TypeScript as a proof assistant for intuitionistic propositional logicgist.github.com
17 points by xxmarijnw 2 days ago | 2 comments
332
Sacked Marine Pilot Whose F-35B Flew Without Him After Ejecting Gives His Sidetwz.com
37 points by nradov 2 days ago | 16 comments
333
Collapse OScollapseos.org
224 points by kaycebasques 7 days ago | 199 comments
334
Span<T>.SequenceEquals is faster than memcmprichardcocks.github.io
146 points by xnorswap 3 days ago | 101 comments
335
Show HN: Appear as anyone in video calls like zoom or Google meetsphazr.ai
108 points by michaelphi 4 days ago | 51 comments
336
Global scam industry evolving at 'unprecedented scale' despite recent crackdowncnn.com
5 points by kingforaday 4 hours ago | 3 comments
337
Testing the latest AI tools for prototyping and building simple websitesblog.codeyam.com
76 points by nadis 7 days ago | 50 comments
338
Show HN: I implemented Snake in a tmux config filewillhbr.net
71 points by willhbr 7 days ago | 6 comments
339
Runway Gen-4runwayml.com
78 points by meetpateltech 2 days ago | 23 comments
340
"The US government has the ability to access many politicians' emails in Europe"republik.ch
17 points by doener 3 days ago | 8 comments
341
HP printers try to send data back to HP about your devices and what you printrobertheaton.com
7 points by mmh0000 4 hours ago | 0 comments
342
Doge official at DOJ bragged about hacking, distributing pirated softwarereuters.com
20 points by pmags 6 hours ago | 6 comments
343
Rubik's Cube Solutions, Puzzles, and 8-Balls (2023)williambader.com
39 points by wonger_ 6 days ago | 4 comments
344
HTTP/3 and the QUIC Internet Protocolthemsaid.com
10 points by ducaale 2 days ago | 0 comments
345
xAI has acquired X, xAI now valued at $80Btwitter.com
794 points by rvz 5 days ago | 1256 comments
346
New Textbook Featuring GNU Radio Publishedgnuradio.org
24 points by teleforce 3 days ago | 0 comments
347
Shadowing in Python gave me an UnboundLocalErrorntietz.com
8 points by todsacerdoti 2 days ago | 3 comments
348
Amazon introduces Nova Chataboutamazon.com
77 points by ao98 2 days ago | 54 comments
349
Is Doge Securities Fraud?bloomberg.com
70 points by ioblomov 1 days ago | 30 comments
350
Ambermoon Advancedgithub.com
16 points by snvzz 3 days ago | 1 comment
351
Operationalizing Macaroonsfly.io
24 points by todsacerdoti 6 days ago | 5 comments
352
Making of the New York and Erie Railroad Organizational Diagramc82.net
50 points by tobr 4 days ago | 3 comments
353
Show HN: AI-powered reading companion that helps you read hard bookslumen.collabai.live
18 points by joezee 2 days ago | 9 comments
354
LightkeeperRM: Lightweight drop-in replacement for maintaining servers over SSHgithub.com
7 points by thunderbong 20 hours ago | 0 comments
355
How I Choose What to Work On (2023)tynan.com
114 points by freemh 8 days ago | 31 comments
356
Unshittification: Tech companies that recently made my life betterarstechnica.com
8 points by coloneltcb 6 hours ago | 2 comments
357
Show HN: OmniTools – Self-Hosted Open-Source Swiss Army Knife for Everyday Tasksomnitools.app
40 points by ludiciouss 3 days ago | 15 comments
358
WYGIWYH: A self-hosted simple but powerful finance trackergithub.com
39 points by indigodaddy 4 days ago | 3 comments
359
Show HN: We are building the next DocuSignsgnly.com
76 points by esaidm 6 days ago | 103 comments