ibobev

22 ms·

961.
The Irreducible Skill(vinniefalco.com)
1 points by ibobev 6mo ago|0 comments
962.
Intel Inside the Micro Revolution: 8008 Origins(thechipletter.substack.com)
2 points by ibobev 6mo ago|0 comments
963.
A text editor as a user interface(ratfactor.com)
4 points by ibobev 6mo ago|1 comments
964.
Nvidia Nemotron 3 Nano Omni(huggingface.co)
1 points by ibobev 6mo ago|0 comments
965.
AI evals are becoming the new compute bottleneck(huggingface.co)
1 points by ibobev 6mo ago|0 comments
966.
Why Math's Final Axiom Proved So Controversial(quantamagazine.org)
7 points by ibobev 6mo ago|0 comments
967.
Contributor Poker and Zig's AI Ban(kristoff.it)
1 points by ibobev 6mo ago|0 comments
968.
CKKS – Polynomials, the Canonical Embedding, and Encoding(jeremykun.com)
3 points by ibobev 6mo ago|0 comments
969.
Turning a Trick into a Technique(johndcook.com)
1 points by ibobev 6mo ago|0 comments
970.
Fast Tight Spectral-Norm Bounds(jiha-kim.github.io)
1 points by ibobev 6mo ago|0 comments
971.
Moscow Economics School That Helped Produce Revolut, XTX(valeman.medium.com)
2 points by ibobev 6mo ago|0 comments
972.
Scroll-Driven Animations(joshwcomeau.com)
2 points by ibobev 6mo ago|0 comments
973.
C++26: String and String_view Improvements(sandordargo.com)
4 points by ibobev 6mo ago|0 comments
974.
10Gb Ethernet: what I had to (re)learn(gilesthomas.com)
2 points by ibobev 6mo ago|0 comments
975.
Building a Fast Multilingual OCR Model with Synthetic Data(huggingface.co)
3 points by ibobev 6mo ago|0 comments
976.
DeepSeek-V4: a million-token context that agents can use(huggingface.co)
13 points by ibobev 6mo ago|0 comments
977.
Adaptive Ultrasound Imaging with Physics(huggingface.co)
2 points by ibobev 6mo ago|0 comments
978.
From Convergence to Confidence: Push-Button Verification for RDTs(kcsrk.info)
1 points by ibobev 6mo ago|0 comments
979.
Physicists Discover the Most Complex Forms of Ice Yet(quantamagazine.org)
30 points by ibobev 6mo ago|7 comments
980.
Circular Arc Approximation(johndcook.com)
3 points by ibobev 6mo ago|0 comments
981.
The West Talks About "Distillation." Fine. Let's Talk About Project Azorian(valeman.medium.com)
2 points by ibobev 6mo ago|0 comments
982.
Clojure on Fennel part three: parsing(andreyor.st)
3 points by ibobev 6mo ago|0 comments
983.
Understanding Systems(entropicthoughts.com)
3 points by ibobev 6mo ago|0 comments
984.
Where Optimizations Come From(buttondown.com)
2 points by ibobev 6mo ago|0 comments
985.
by ibobev 6mo ago
But still, Lean is executable and can be used as an ordinary programming language.
986.
Ray's Arithmetic(raysarithmetic.wordpress.com)
2 points by ibobev 6mo ago|0 comments
987.
by ibobev 6mo ago
What about the performance characteristics of the Lean programs? I know it is a natively compiled language, but is the code it produces comparable to that of modern system programming languages in terms of performance?
988.
Let's Talk About the Time the CIA Kidnapped Lunik(valeman.medium.com)
2 points by ibobev 6mo ago|0 comments
989.
Nonlinearity Affects a Pendulum(johndcook.com)
40 points by ibobev 6mo ago|4 comments
990.
Nth Derivative of a Quotient(johndcook.com)
4 points by ibobev 6mo ago|0 comments

More ›