wslh

18 ms·

451.
by wslh 7mo ago
https://archive.is/IHDqH
452.
The MIT Professor Tangled Up in a Tech CEO's 'Ponzi-Like' Scheme(bloomberg.com)
6 points by wslh 7mo ago|1 comments
453.
QSBS and New York State(avc.xyz)
3 points by wslh 7mo ago|0 comments
454.
The personal relation between Phil K. Dick and Robert Heinlein(scifi.stackexchange.com)
3 points by wslh 7mo ago|0 comments
455.
Earliest iron blooms discovered off the Carmel coast(nature.com)
4 points by wslh 7mo ago|0 comments
456.
Why insane Gout Gout run has gone viral 15 months later(nine.com.au)
1 points by wslh 7mo ago|0 comments
457.
by wslh 7mo ago
Check https://retro.moe/ !
458.
The M4 Apple Neural Engine, Part 3: Training(maderix.substack.com)
2 points by wslh 7mo ago|0 comments
459.
The Proliferation of DarkSword: iOS Exploit Chain(cloud.google.com)
3 points by wslh 7mo ago|0 comments
460.
The hitchhiker's guide to reading Lean 4 theorems(blog.lambdaclass.com)
3 points by wslh 7mo ago|0 comments
461.
Delve caught running fake SoC 2 / ISO 27001 compliance reports(old.reddit.com)
3 points by wslh 7mo ago|0 comments
462.
by wslh 7mo ago
The idea of backward updating is fascinating but is not generally feasible or computable. What kind of problems can you solve backwardly?
463.
XBOW Raises $120M to Scale Its Autonomous Hacker(xbow.com)
3 points by wslh 7mo ago|0 comments
464.
Introduction to Flow Matching and Diffusion Models 2026(diffusion.csail.mit.edu)
3 points by wslh 7mo ago|0 comments
465.
A 6502 disassembler with a TUI: A modern take on Regenerator(github.com)
92 points by wslh 7mo ago|11 comments
466.
by wslh 7mo ago
Announcement in X [1]. """ Today, at the @DARPA expMath kickoff, we launched , an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It
467.
Open Gauss is a project-scoped Lean workflow orchestrator from Math Inc(github.com)
2 points by wslh 7mo ago|1 comments
468.
by wslh 7mo ago
We've seen multiple ideas/products get quickly absorbed into frontier models, OSS, or well-funded startups. The cycle from "interesting idea" to "commoditized feature" is getting very short. Personally, there w
469.
by wslh 7mo ago
Amazing! We have played with it to create an animation based on "The Three Little Pigs". Video available here [1]. [1] https://drive.google.com/file/d/1ozZmWcSwieZQG0muYjbj7Xjhhlz...
470.
FTX Owned Anthropic, Solana and SpaceX, Then Had to Sell Too Soon(forbes.com)
2 points by wslh 7mo ago|0 comments
471.
Proofs of Useful Work from Arbitrary Matrix Multiplication(eprint.iacr.org)
2 points by wslh 7mo ago|0 comments
472.
by wslh 7mo ago
AGI may be a prerequisite for true superintelligence, but we're already seeing superhuman performance in narrow domains. We probably need a broader evaluation framework that captures both.
473.
by wslh 7mo ago
250K? Could you expand your experience with details about your project and the lessons and issues you found?
474.
'Pokémon Go' players unknowingly trained delivery robots with 30B images(popsci.com)
226 points by wslh 8mo ago|101 comments
475.
CeraPiper: Custom Extruded Ceramics for Heat Exchange (2025)(dl.acm.org)
2 points by wslh 8mo ago|0 comments
476.
Crypto Trader Loses Nearly $50M in Aave Trade, Protocol Offers $600K Fee Refund(decrypt.co)
5 points by wslh 8mo ago|0 comments
477.
by wslh 8mo ago
I sometimes feel a bit weird about this. In the 90s it felt like "we" won the crypto wars: PGP, the fight over export controls, the Clipper Chip, etc. There was a strong sense that privacy and strong crypto had become settled ques
478.
Most of the US economy is in a recession(businessinsider.com)
236 points by wslh 8mo ago|247 comments
479.
Fed clarifies capital rules for tokenized securities(theblock.co)
1 points by wslh 8mo ago|0 comments
480.
by wslh 8mo ago
That is the low bar, there are millions spent in searching for Google Chrome exploits

More ›