Entertainment

moonshotai/Kimi-K3 · Upcoming release · Hugging Face

0 CommentsEntertainment

✨ Check out this trending post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: K3 is the next generation of open frontier models from Moonshot AI. It is the world's first open 3T-class model, designed for frontier intelligence across long-horizon coding, knowledge work, and reasoning. What to expect New architecture built on Kimi Delta Attention and Attention Residuals Native agentic capabilities: tool calling, browsing, and multi-step planning Extended context window designed for repository-scale code understanding Open weights, released right here on this page Stay in the loop Hit Like and Notify on release and we will send you…

Read More

How to Write English Prose

0 CommentsEntertainment

🚀 Discover this awesome post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: The Ideals There are few if any passages in the works of Sir Thomas Browne that I do not find thoroughly delightful; but two afford me particularly intense pleasure. One is the opening paragraph from his essay “On Dreams”: Half our dayes wee passe in the shadowe of the earth, and the brother of death exacteth a third part of our lives. A good part of our sleepes is peeced out with visions, and phantasticall objects wherin wee are confessedly deceaved. The day supplyeth us…

Read More

AARomanov1985/Audio-Cassette-Simulation: This project simulates cassette tape audio profiles using ffmpeg · GitHub

0 CommentsEntertainment

🔥 Explore this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: This project simulates cassette tape audio profiles using ffmpeg. It applies tape noise, wow and flutter pitch modulation, bandwidth limits, and equalizer adjustments. bash ffmpeg (compiled with libmp3lame) BASF LH Extra C90: German ferric tape. Moderate hiss and mild flutter. Maxell UD C90: Higher-grade ferric tape. Lower hiss, wider frequency range. Sony CHF60 Type I Normal (1978): Vintage 60-minute normal tape. Warm mid-range. Sony CHF90 (1978): Vintage 90-minute normal tape. Slightly higher tape speed drift. TDK D90 (1995-1997): Late-era Type I tape. Clean sound, subtle…

Read More

We have proof automation now

0 CommentsEntertainment

💥 Explore this insightful post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the team grows. Then you get subtle misunderstandings and components that don't quite fit together. It's often the case that those components have grown to a sufficient size that, when the…

Read More

US prosecutors charge Atlanta man after GrapheneOS phone wipes itself during airport search

0 CommentsEntertainment

🔥 Check out this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: A hot potato: A federal case in Atlanta is raising questions about a privacy-focused mobile operating system, with prosecutors arguing that its features were used to erase evidence. The US Department of Justice is attempting to prosecute Atlanta resident Sam Tunick under a federal statute that makes it a crime to destroy property in an effort to prevent it from being seized. The case centers on Tunick's use of GrapheneOS, an open-source operating system that works on Google Pixel phones and lets users enter…

Read More

vercel-labs/scriptc: TypeScript-to-Native Compiler · GitHub

0 CommentsEntertainment

✨ Check out this awesome post from Hacker News 📖 📂 **Category**: 💡 **What You’ll Learn**: Zero-runtime TypeScript. scriptc compiles ordinary TypeScript into small, fast native executables — no Node, no V8, no JavaScript engine in the binary. $ cat fib.ts function fib(n: number): number ⚡ console.log(fib(30)); $ scriptc run fib.ts 832040 $ scriptc build fib.ts && ls -la fib -rwxr-xr-x 178K fib # a self-contained native binary, ~2ms startup No changes to your code. No annotations, no dialect — the same TypeScript you run on Node, type-checked by the real TypeScript compiler and compiled to native. What compiles behaves…

Read More

I Championed Prediction Markets. Look What They’ve Become.

0 CommentsEntertainment

✨ Check out this insightful post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: Before you do business with anyone, you should ask why they want to do business with you. Last week handed me the world’s most absurd teaching example: A White House teleprompter operator was betting on Kalshi about what the president would say — words he was personally scrolling onto the screen. He cleared about $100,000, and honestly, I’m shocked he didn’t make more. There’s an important lesson here: every market could have a metaphorical teleprompter guy on the other side of the trade. And…

Read More

faizannraza/wattage: A token-spend profiler and cost-regression gate for AI agents. · GitHub

0 CommentsEntertainment

💥 Check out this insightful post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: A Kill-A-Watt meter for your AI agents. Point it at a trace and it tells you exactly where your tokens are being burned and wasted, prices each waste pattern in real dollars, prescribes a fix, and can fail your CI when a change makes your agent measurably more expensive. A real captured agent trace (see provenance) — Wattage catches a stable prompt prefix being re-sent instead of cached, prices the waste, and prescribes the fix. Regenerate this GIF with vhs docs/assets/demo.tape (see the tape…

Read More

Kazuyoshi Miura: World’s oldest professional footballer, 59, scores first goal in nearly four years

0 CommentsEntertainment

✨ Explore this awesome post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Kazuyoshi Miura, the world's oldest professional footballer, scored his first goal in nearly four years at the age of 59 for Japanese third-tier side Fukushima United.Miura found the net in the 52nd minute to make it 5-0 to Fukushima in an eventual 7-0 win over Iwaki Furukawa in the Emperor's Cup on Saturday.It is his first competitive goal since netting for Suzuka PG, now Atletico Suzuka, against FC Osaka in November 2022.Dubbed 'King Kazu' in Japan, he is one of the country's most loved sportsmen…

Read More

Teaching Kids Forth — Anna Liberty

0 CommentsEntertainment

🚀 Check out this must-read post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: 2026-04-14 · 11 min · #computing Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970. I was ecstatic about this opportunity. I'm passionate about giving people just a bit more control over the potential locked up in the devices they carry with them every day. When people…

Read More