Feed aggregator
Show HN: Pitch Is Just Rhythm Sped Up [video]
Sound, at the physical level, is a one-dimensional signal in time. Yet we speak of pitch, rhythm, and timbre as if they were independent dimensions. How is this possible?
Podcast generated by NotebookLM on https://bookerapp.replit.app/book/fom/from-temporal-structur...
Comments URL: https://news.ycombinator.com/item?id=48078635
Points: 1
# Comments: 0
Matt Pietrek
Article URL: https://en.wikipedia.org/wiki/Matt_Pietrek
Comments URL: https://news.ycombinator.com/item?id=48078632
Points: 1
# Comments: 0
The Death of the Roadmap
Article URL: https://debarshibasak.github.io/readables/blogs/death-of-roadmap.html
Comments URL: https://news.ycombinator.com/item?id=48078617
Points: 2
# Comments: 0
Keats, Letters
Article URL: https://sites.ualberta.ca/~dmiall/Tintern07/KeatsLet.htm
Comments URL: https://news.ycombinator.com/item?id=48078597
Points: 1
# Comments: 0
Rust but Lisp
Article URL: https://github.com/ThatXliner/rust-but-lisp
Comments URL: https://news.ycombinator.com/item?id=48078575
Points: 2
# Comments: 2
Qwench is a terminal typing game for Linux, Windows, Mac. Built with Crossterm.
Article URL: https://github.com/BitPusher16/qwench
Comments URL: https://news.ycombinator.com/item?id=48078573
Points: 1
# Comments: 1
War.gov/UFO/ UFO file download reference repo
Article URL: https://github.com/dopper/nts-ufos
Comments URL: https://news.ycombinator.com/item?id=48078559
Points: 1
# Comments: 0
London's BT Tower to get rooftop swimming pool
Article URL: https://www.theregister.com/offbeat/2026/05/09/londons-bt-tower-to-get-rooftop-swimming-pool/5237337
Comments URL: https://news.ycombinator.com/item?id=48078543
Points: 1
# Comments: 0
The 90 Day disclosure policy is dead
Article URL: https://blog.himanshuanand.com/2026/05/the-90-day-disclosure-policy-is-dead/
Comments URL: https://news.ycombinator.com/item?id=48078538
Points: 2
# Comments: 0
Blog Post Tells the Time
Article URL: https://alexsci.com/blog/this-blog-post-tells-the-time/
Comments URL: https://news.ycombinator.com/item?id=48078510
Points: 1
# Comments: 0
Show HN: Free OSS transcription app I made and found it's faster than wispr flow
title doesn't let nuance, ofc it's not the app that's faster but the way you can use it with Groq inference for example.
Comments URL: https://news.ycombinator.com/item?id=48078497
Points: 2
# Comments: 0
The Rise of Emotional Surveillance
Article URL: https://www.theatlantic.com/culture/2026/05/worker-surveillance-emotion-ai/687029/
Comments URL: https://news.ycombinator.com/item?id=48078461
Points: 4
# Comments: 1
Web Server on a Nintendo Wii
Article URL: http://wii.sjmulder.nl/
Comments URL: https://news.ycombinator.com/item?id=48078452
Points: 1
# Comments: 0
Hugging Face's Clem Delangue: Stop Comparing Engines to Cars
Article URL: https://www.turingpost.com/p/clem-delangue-hugging-face-ai-builders
Comments URL: https://news.ycombinator.com/item?id=48078443
Points: 1
# Comments: 0
Japan is deploying ultra-cheap cardboard drones built for swarm warfare
Geography Is Four-Dimensional
Article URL: https://sive.rs/4d
Comments URL: https://news.ycombinator.com/item?id=48078402
Points: 1
# Comments: 0
Can I Copyright a Song I Made with AI?
Article URL: https://www.musicologize.com/can-i-copyright-a-song-i-made-with-ai/
Comments URL: https://news.ycombinator.com/item?id=48078223
Points: 1
# Comments: 0
ScalaTimes – A Free, Once-Weekly Scala News Flash
Article URL: https://scalatimes.com
Comments URL: https://news.ycombinator.com/item?id=48078218
Points: 1
# Comments: 0
Show HN: Sigma Guard – deterministic contradiction checks for graph memory
I built a small open-source verifier for graph-backed AI memory and GraphRAG-style systems.
The basic problem: graph databases can validate schema, but they usually do not know whether two accepted facts contradict each other. An AI memory layer can store both "Acme prefers annual billing" and "Acme rejected annual billing and requires monthly billing." Both writes may be valid. The contradiction only shows up later when an agent retrieves both and reasons over them.
SIGMA Guard tries to catch that earlier.
It represents claims as a graph with local consistency rules and checks whether the proposed structure can be made globally consistent. The underlying mechanism uses cellular sheaf cohomology. The practical interface is simpler: given claims, a graph, or a proposed write, it returns SAFE or UNSAFE with the contradiction details and a receipt hash.
The repo includes:
verify_claims - check a set of subject/property/value claims check_write - test a proposed graph write before commit verify_graph - verify a full graph MCP server support for Claude Desktop / agent workflows a local demo, no API key required
Install:
pip install sigma-guard[mcp]
Run MCP server:
sigma-guard-mcp
Or run the local demo:
git clone https://github.com/Jasonleonardvolk/sigma-guard cd sigma-guard pip install -e . python examples/verify_llm_output.py
I also ran a scale experiment because the obvious objection is that sheaf-style graph verification will not fit in memory. On a laptop, the current cellular implementation completed a 5M-vertex / 39,999,936-edge streaming run. The key trick was avoiding duplicated restriction matrices: 80M endpoint maps were represented by 1,024 canonical maps in a shared store. The streaming update path averaged 0.119 ms/edit with p99 1.534 ms in that run.
Separate from the streaming benchmark, I also ran a "poisoned edge" demo on the same 5M graph. One local restriction map was replaced with a cyclic permutation. Exact local verification recomputed one affected cell out of 25,473. H0 dropped from 8 to 1, meaning 7 local consistency modes were destroyed. That exact check took 11.5s because it used dense SVD on the affected cell; the point of that demo was localization and exactness, not production latency.
Limitations:
This is not a replacement for a graph database. It does not make LLM output true. The current exact poisoned-edge demo is slower than the streaming update path. Some demos use structured claims rather than arbitrary natural language. The interesting question is whether this belongs as a pre-commit / pre-output verifier for agent memory, not as a standalone database.
Repo:
https://github.com/Jasonleonardvolk/sigma-guard
I would be interested in feedback from people working on graph databases, GraphRAG, or agent memory. Does a deterministic "verify before memory write / before agent output" layer make sense in your stack?
Comments URL: https://news.ycombinator.com/item?id=48078195
Points: 1
# Comments: 0
