fp.
newest
Open in hackernews
Giving LLMs a Formal Reasoning Engine for Code Analysis
https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html
3
•
boriskourt
•
1h ago
Comments
boriskourt
•
1h ago
repo:
https://github.com/yogthos/chiasmus
I wanted a Zen ritual to declutter photos, so I made one
https://www.caperet.com/i-knew-what-to-build-i-just-didnt-know-how-until-ai/
1
•
houbsta
•
2m ago
•
0 comments
Quantumroot: Quantum-Secure Vaults for Bitcoin Cash (2025)
https://blog.bitjson.com/quantumroot/
1
•
hggh
•
3m ago
•
0 comments
He Knew His Users. His Product Disagreed
https://www.noemica.io/blog/first-user-never-told-him
1
•
SebastianSosa
•
3m ago
•
0 comments
Covenant – Habit tracker that treats goals like commitments
https://play.google.com/store/apps/details?id=com.keepcovenant.app&hl=en_US
1
•
vishal7505
•
3m ago
•
0 comments
Show HN: Zero human company in Go stack
https://github.com/msoedov/secondorder
1
•
alex_mia
•
5m ago
•
0 comments
Show HN: A PWA that destroys itself if you touch your phone for one hour
https://thesquare.is/
1
•
arc_light
•
5m ago
•
0 comments
Show HN: Noxscan.io 65K Port and Vuln scanner with LLM false-positive filtering
https://noxscan.io/
1
•
caudena
•
6m ago
•
0 comments
Capita's pension portal exposes civil servants' private data
https://www.theregister.com/2026/04/09/capita_breach/
1
•
Brajeshwar
•
7m ago
•
0 comments
Younger siblings have 2-3x hospitalization rates for respiratory conditions [pdf]
https://www.nber.org/system/files/working_papers/w29524/w29524.pdf
1
•
delichon
•
8m ago
•
0 comments
Show HN: MDServe – Instantly render any GitHub Markdown file in the browser
https://mdserve.github.io/
1
•
robvanderleek
•
9m ago
•
0 comments
Show HN: Otel-GUI – an open source OpenTelemetry viewer for dev and debug
https://github.com/metafab/otel-gui
2
•
nesk_
•
10m ago
•
0 comments
Property Management Jobs
https://propertymanagementjobs.com/
1
•
bellamoon544
•
10m ago
•
0 comments
Arms industry given direct influence over university courses in the UK
https://www.declassifieduk.org/arms-industry-given-direct-influence-over-university-courses/
2
•
robtherobber
•
13m ago
•
0 comments
Apple signs meaningless deal to make some less-important parts in America
https://www.theregister.com/2026/03/26/apple_expands_list_of_bits/
3
•
als0
•
14m ago
•
0 comments
GST Registration Certificate: How to Download Online
https://vakilsearch.com/article/how-to-download-gst-certificate/
1
•
saridha
•
14m ago
•
1 comments
Borrow-Checking Surprises
https://www.scattered-thoughts.net/writing/borrow-checking-surprises/
1
•
birdculture
•
16m ago
•
0 comments
Trump promised to cut electric costs. Bills in West Virginia top mortgages
https://apnews.com/article/electricity-utility-bills-west-virginia-trump-coal-38ad648f99a42eb2c73...
5
•
geox
•
17m ago
•
0 comments
Google makes it easy to deepfake yourself
https://www.theverge.com/ai-artificial-intelligence/909104/youtube-shorts-make-ai-avatar
2
•
thm
•
18m ago
•
0 comments
Best AI Software for Auto-Populating Security Reviews 2026
https://websites2know.com/best-ai-software-for-auto-populating-security-reviews/
1
•
WallaceWalley
•
19m ago
•
0 comments
Give Your OpenClaw Agent a Real Memory
https://cortexdb.ai/blog/openclaw-memory-tutorial
2
•
prmalik
•
22m ago
•
0 comments
OpenAI halts UK stargate project amid regulatory and energy price concerns
https://www.cnbc.com/2026/04/09/openai-halts-uk-stargate-project.html
3
•
Brajeshwar
•
23m ago
•
0 comments
How Pizza Tycoon simulated traffic on a 25 MHz CPU
https://pizzalegacy.nl/blog/traffic-system.html
16
•
FinnKuhn
•
23m ago
•
0 comments
Show HN: Vibetime – Track what you ship in AI coding sessions
https://github.com/iamnotstatic/vibetime
2
•
iamnotstatic
•
24m ago
•
0 comments
Show HN: I built a local coding agent using Apple Intelligence
https://barrasso.me/posts/2026-04-09-on-device-coding-with-apple-intelligence/
2
•
podlp
•
25m ago
•
0 comments
Built a small CLI for image generation/editing while working with coding agents
https://github.com/crapthings/nb-cli
2
•
crapthings
•
25m ago
•
0 comments
Helium Is Hard to Replace
https://www.construction-physics.com/p/helium-is-hard-to-replace
3
•
mhb
•
26m ago
•
0 comments
GoAI SDK, one Go library for 22 LLM providers, only 2 core deps
https://github.com/zendev-sh/goai
2
•
vietanh85
•
26m ago
•
1 comments
Eve: Expressive Vector Engine – SIMD in C++ Goes Brrrr
https://github.com/jfalcou/eve
2
•
tosh
•
27m ago
•
0 comments
Show HN: Miro-pdf v0.8.0 – Fullscreen, presentation mode and friendly keybinds
https://github.com/vincent-uden/miro
2
•
vincent-uden
•
28m ago
•
0 comments
Am I German or Autistic?
https://german.millermanschool.com/
8
•
doener
•
28m ago
•
0 comments
Load More
boriskourt•1h ago