Ryan X. Charles
Ryan X. Charles
Follow
HomeBlogNewsCVCodeContact

News Archive

Page 913 of 1003
lawrencecpaulson.github.iovia news.ycombinator.com
50 years of proof assistants
19 days agoby baruchel
142 points30 comments
youtube.comvia daringfireball.net
Apple at the AWS re:Invent 2025 Keynote
19 days agoby John Gruber
view on daringfireball.net
bbc.comvia news.ycombinator.com
US TikTok investors in limbo as deal set to be delayed again
19 days agoby 1659447091
169 points151 comments
bfswa.substack.com
Poor Johnny still won't encrypt
19 days agoby JP Aumasson
blog.nelhage.comvia lobste.rs
Indices point between elements (2015)
19 days agoby isuffix
12 points8 comments
gitlab.winehq.orgvia news.ycombinator.com
Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS
19 days agoby neustradamus
61 points0 comments
github.comvia news.ycombinator.com
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
19 days agoby trj
195 points12 comments
schneier.comvia www.schneier.com
Friday Squid Blogging: Giant Squid Eating a Diamondback Squid
19 days agoby Bruce Schneier
view on www.schneier.com
ariadne.spacevia news.ycombinator.com
Capsudo: Rethinking sudo with object capabilities
19 days agoby fanf2
91 points58 comments
benjamincongdon.mevia lobste.rs
The Coming Need for Formal Specification
19 days agoby carlana
8 points1 comment
unifoundry.comvia news.ycombinator.com
GNU Unifont
19 days agoby remywang
345 points79 comments
reuters.comvia news.ycombinator.com
Tesla US sales drop to nearly 4-year low in November
19 days agoby doener
77 points54 comments
developer.apple.comvia news.ycombinator.com
macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt
19 days agoby guiand
537 points291 comments
chillphysicsenjoyer.substack.comvia news.ycombinator.com
Testing a cheaper laminar flow hood
19 days agoby surprisetalk
64 points17 comments
news.mit.edu
Enabling small language models to solve complex reasoning tasks
19 days agoby Alex Shipps | MIT CSAIL
invoice.secvuln.infovia news.ycombinator.com
Security issues with electronic invoices
19 days agoby todsacerdoti
91 points64 comments
reactormag.comvia news.ycombinator.com
New Kindle feature uses AI to answer questions about books
19 days agoby mindracer
82 points130 comments
simonwillison.net
LLM 0.28
19 days agoby Simon Willison
ratsplaydoom.comvia news.ycombinator.com
Rats Play DOOM
19 days agoby ano-ther
424 points159 comments
runmat.orgvia news.ycombinator.com
In Defense of Matlab Code
19 days agoby finbarr1987
143 points165 comments
← NewerPage 913 of 1003Older →
Back to Home
Copyright © 2026 Ryan X. Charles