TGViewer
Channel Public Channel
Linkstream

Linkstream

@linkstream

Various links I find interesting. Mostly hardcore tech :) // by @oleksandr_now. See @notatky for the personal stuff
Open in Telegram
Subscribers
169
Photos
37
Videos
3
Links
965

Showing posts older than #997 · Back to latest

Older Posts 20 shown
Post #994 206
Schema, a harness that has frontier models play like physicists: write each game’s mechanism as an executable program, test it against reality, and plan inside it. The name is inspired by Immanuel Kant: a schema is a rule of construction that bridges from abstract concept to concrete perception.

https://schema-harness.github.io
Post #991 174
if/when we'll get to the verified code generation, whether with LLMs or with formally proven generators, we'll still have vulnerabilities.
except they'll be in the task descriptions or the tests themselves
https://x.com/zellic_io/status/2073101446883823622?s=46
X (formerly Twitter) Zellic (@zellic_io) on X You "win" https://t.co/y2fdv7oJiN – ZKSecurity’s FV contest – by writing the most optimized formally verified circuit for cryptographic primitives. But how does the best SHA256 circuit have a cost of 0? Here's how we exploited the FV spec for the top score…
Post #984 179

Forwarded from gerontion

Can sleep’s core benefits be delivered without actually sleeping? Scientists induced sleep-like neuronal “off periods” during wakefulness in mice, reducing local sleep pressure, weakening synaptic strength, and even restoring memory consolidation during sleep deprivation. The findings suggest key functions of sleep may depend on specific brain activity patterns rather than sleep itself.

https://www.nature.com/articles/s41593-026-02318-9
Nature Induction of cortical on/off periods in awake mice fulfills sleep functions Nature Neuroscience - Driessen et al. show that core benefits of sleep—reduced local sleep pressure, renormalized synaptic strength and memory consolidation—can be reproduced in awake,...
  • 🔥 2
  • 🤩 1
  • 😴 1
Post #979 256
I am quite optimistic about AI empowerment, and one observation of George Hotz I definitely agree with -- /everything/ now depends on your ability to see if the agent has produced slop, and the habit to ruthlessly reject it.

The slop percentage is very high, 30-90%.

https://geohot.github.io//blog/jekyll/update/2026/05/24/the-eternal-sloptember.html
the singularity is nearer The Eternal Sloptember I’m calling it now, the adoption of AI agents into software development will be one of the most costly mistakes in the field’s history. Agents cannot program, and it’s taking longer and longer to realize that they can’t. They are a highly sophisticated statistical…
  • ❤ 4
  • 🥴 1
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →