fp.
newest
Open in hackernews
We built Cedar with automated reasoning and differential testing (2023)
https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing
1
•
mefengl
•
2h ago
Velox: A Port of Tauri to Swift by Miguel de Icaza
https://github.com/velox-apps/velox
1
•
wahnfrieden
•
1m ago
•
0 comments
x86 prefixes and escape opcodes flowchart
https://soc.me/interfaces/x86-prefixes-and-escape-opcodes-flowchart.html
1
•
gaul
•
6m ago
•
0 comments
React Native for macOS
https://github.com/microsoft/react-native-macos
1
•
wahnfrieden
•
8m ago
•
0 comments
Dear Jonas
https://denmark.news-pravda.com/en/world/2026/01/19/19000.html
1
•
barrister
•
10m ago
•
0 comments
RFC: A proposal to replace API integration with LLM Semantic Translation
https://github.com/kaylorjc-protocol/semantic-integration-layer-SIL-protocol
1
•
kaylorjc
•
11m ago
•
1 comments
The Good Hallucinations
https://chris-hartwig.com/blog/you-want-hallucinated-code/
1
•
weddpros
•
20m ago
•
0 comments
Good listeners connect more easily with strangers, study finds
https://phys.org/news/2025-12-good-easily-strangers.html
1
•
PaulHoule
•
21m ago
•
0 comments
Flying with Photons: Rendering Novel Views of Propagating Light
https://anaghmalik.com/FlyingWithPhotons/
1
•
pillars
•
26m ago
•
0 comments
The Paper 2
https://zenodo.org/records/18304357
1
•
KaoruAK
•
26m ago
•
0 comments
F-16 Falcon Strike, modern combat flight SIM for Atari XL/XE
https://webchrono.pl/F16FalconStrike/index.html
8
•
starkparker
•
27m ago
•
1 comments
Keeping 20k GPUs Healthy
https://modal.com/blog/gpu-health
1
•
aburan28
•
31m ago
•
0 comments
Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions
https://github.com/wv26296-ux/circe-receipts
1
•
W_rey45
•
33m ago
•
1 comments
CoreSpeed: Agent Runtime Infrastructure
https://corespeed.io
1
•
handfuloflight
•
34m ago
•
0 comments
Open Reimplementation of Google Widevine Content Decryption Module for Browsers
https://github.com/tchebb/openwv
1
•
pabs3
•
36m ago
•
0 comments
Idiomatic Rust – A peer-reviewed collection of Rust articles/talks/repos
https://github.com/rust-lang-nursery/rust-cookbook
2
•
Brysonbw
•
36m ago
•
0 comments
Gary Marcus on the Problems Facing AI and LLM Scaling – The Real Eisman Playbook [video]
https://www.youtube.com/watch?v=aI7XknJJC5Q
2
•
nradov
•
36m ago
•
0 comments
Spotless-Keep your code spotless
https://github.com/diffplug/spotless
1
•
rammy1234
•
39m ago
•
0 comments
Show HN: Artificial Ivy in the Browser
https://da.nmcardle.com/grow
3
•
dnmc
•
39m ago
•
0 comments
Show HN: Foom.ist: When silicon surpasses human brainpower
https://foom.ist/
1
•
steffs
•
39m ago
•
0 comments
Hotcrp.com: Unauthorized document access at CCS 2026
https://hotcrp.com/news/2026/security-notice-202601
2
•
jiegec
•
40m ago
•
1 comments
The New York Stock Exchange Develops Tokenized Securities Platform
https://www.businesswire.com/news/home/20260119300589/en/The-New-York-Stock-Exchange-Develops-Tok...
3
•
serial_dev
•
46m ago
•
0 comments
Two thirds of the wheat is developed by CIMMYT
https://grist.org/food-and-agriculture/green-revolution-india-wheat-seeds-climate/
2
•
trojanalert
•
47m ago
•
2 comments
Firehound is a repository of App Store apps exposing data from users
https://9to5mac.com/2026/01/19/firehound-huge-repository-of-app-store-apps-exposing-data-from-mil...
2
•
mikehotel
•
51m ago
•
1 comments
Deliberate AI Use
https://www.joshribakoff.com/blog/deliberate-ai-use/
1
•
joshribakoff
•
1h ago
•
1 comments
Mario Bros. In CSS (No JavaScript)
https://codepen.io/t_afif/pen/JoKYwXO
3
•
qingcharles
•
1h ago
•
0 comments
LLMs Outperform Data Scientists (2025)
https://presentofcoding.substack.com/p/llms-already-outperform-data-scientists
1
•
pajtai
•
1h ago
•
0 comments
Show HN: PublisherLens – advertising platform intelligence and analytics
https://www.publisherlens.com/
1
•
SongDeYu
•
1h ago
•
1 comments
LogSentinel v3.9 – Ultra-Fast Enterprise Log Analyzer with Error Intelligence
https://gum.new/gum/cmkiotta6000t04l75xh0e0i9
1
•
Dev_Master
•
1h ago
•
1 comments
Show HN: Username Search – Free Username Checker and Generator
https://usernamesearch.io
1
•
SongDeYu
•
1h ago
•
0 comments
Built a Real Life Running Man Competition. Partner with Steve Will Do It?
https://runningman.live/
2
•
todaycompanies
•
1h ago
•
1 comments
Load More