peter_d_sherman

4 ms·

31.
by peter_d_sherman 12d ago
>Great notes! Thank you! >I think it’s also worth noting that Barry Jay has a particularly strong vantage point for unearthing this particular foundational candidate. First, his advisor was Joachim Lambek, who’s responsible for adding
32.
by peter_d_sherman 12d ago
Addendum: "Tromp Diagrams" (aka "Lambda Diagrams") are potentially related to Tree Calculus, and should be added to the list above, at the very least as a visualization tool for Lambda Calculus, and potentially as an add
33.
by peter_d_sherman 12d ago
>"((1012.5)) So today we have marketing departments who say things like "we don't need computers, we need... appliances. Make me a computer that doesn't run every program, just a program that does this specialized tas
34.
by peter_d_sherman 13d ago
Related: ZLUDA update Q1&Q2 2026: https://vosen.github.io/ZLUDA/blog/zluda-update-q1q2-2026/
35.
ZLUDA – Drop-In Replacement for CUDA on Non-Nvidia GPUs(github.com)
2 points by peter_d_sherman 13d ago|1 comments
36.
Neural Turing Machines (2014)(arxiv.org)
4 points by peter_d_sherman 13d ago|0 comments
37.
Fenton's Reagent(en.wikipedia.org)
2 points by peter_d_sherman 13d ago|0 comments
38.
by peter_d_sherman 13d ago
>" Tree calculus is a minimal, modular, Turing-complete and reflective calculus." This makes it a candidate for the foundation of all of Mathematics... Other candidates in this space include such things as Category Theory (e
39.
by peter_d_sherman 14d ago
Related: Neoclouds vs. Hyperscalers: Key Differences and When to Use Each: https://www.nutanix.com/blog/neoclouds-vs-hyperscalers
40.
Digital Sovereignty: What It Is, What It Could Be(eff.org)
5 points by peter_d_sherman 14d ago|1 comments
41.
by peter_d_sherman 14d ago
I asked Gemini AI what the current state of research was for attempts at unifying all of the operators in Mathematics into a single unified operator... I received several answers including Category Theory (everything reduces down to a sin
42.
Homotopy Type Theory – Univalent Foundations of Mathematics (2013)(hott.github.io)
2 points by peter_d_sherman 14d ago|1 comments
43.
Fermyon – Deploy and manage serverless WASM apps(fermyon.com)
1 points by peter_d_sherman 14d ago|0 comments
44.
Awesome-agentic-payments – A curated list of tools for agentic payments/commerce(github.com)
1 points by peter_d_sherman 14d ago|0 comments
45.
by peter_d_sherman 14d ago
>"Understanding Spectral Recovery When audio is heavily compressed (like early low-bitrate MP3s) or recorded on low-quality equipment (like a phone call), the high frequencies are the first casualty. Spectral recovery is the process
46.
How AI Is Changing Audio Restoration in 2026(audioconverterai.io)
3 points by peter_d_sherman 14d ago|1 comments
47.
by peter_d_sherman 15d ago
>"The presentation outlined Blue-X as an industry-wide initiative exploring wavelength reduction (2–7 nm range) as a complementary path to extending Moore’s Law beyond High-NA EUV. The talk began by positioning the Blue-X approach r
48.
Blue-X – Exploring wavelength reduction (2–7 nm range) beyond EUV(euvlitho.com)
3 points by peter_d_sherman 15d ago|1 comments
49.
by peter_d_sherman 15d ago
>"Source Code /lib contains the entire rv32ima instruction set emulator code as well as a minimal set of emulated devices" The author of this GitHub repository is not lying when he says "minimal" -- basically i
50.
What Is a Columnar Database?(clickhouse.com)
1 points by peter_d_sherman 15d ago|0 comments
51.
Optical Transistor(en.wikipedia.org)
1 points by peter_d_sherman 15d ago|0 comments
52.
by peter_d_sherman 16d ago
Looks like a tremendously useful tool to do such things as BIOS reflashing (i.e., Coreboot, Libreboot, Canoeboot) on one's own hardware. In theory, any Single Board Computer (Raspberry Pi, Orange Pi, FPGA-based-board, etc.) or microcon
53.
X-HBM – 16X more bandwidth or 10x higher density than traditional HBM (2025) [pdf](neosemic.com)
1 points by peter_d_sherman 16d ago|0 comments
54.
by peter_d_sherman 16d ago
>"Smaller KV cache. Bigger savings. Compared with the previous generation, V4.1-Flash’s KV cache needs just: o 1/4 the HBM o 1/8 the SSD storage Cache-hit charges often account for a large share of agent costs. Compre
55.
by peter_d_sherman 16d ago
>"We present a framework for using transformer networks as universal computers by programming them with specific weights and placing them in a loop . Our input sequence acts as a punchcard, consisting of instructions and mem
56.
Looped Transformers as Programmable Computers (2023)(arxiv.org)
4 points by peter_d_sherman 16d ago|1 comments
57.
by peter_d_sherman 17d ago
>"The solution is a vortex , a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti. This central region shrinks while it speeds up in such a way that its energy still stays finite, as re
58.
by peter_d_sherman 17d ago
>"Widlar invented the basic building blocks of linear ICs including the Widlar current source, the Widlar bandgap voltage reference[9] and the Widlar output stage.[10] From 1964 to 1970, Widlar, together with David Talbert, created
59.
Bob Widlar – Distinguished Engineer, Integrated Circuits Pioneer(en.wikipedia.org)
2 points by peter_d_sherman 17d ago|1 comments
60.
by peter_d_sherman 17d ago
>"Why Go saved my a* I'm not going to give you a lecture. Here are the concrete numbers: RAM — the real deal Node.js , on my latest version, was using 1.4 GB of RAM just to boot the app on one instance. Go? 48 MB . I'm

More ›