Front-page articles summarized hourly.
zkGolf is a Lean 4-based competition to build the cheapest verified zero-knowledge circuits. Solve challenges by implementing leaner circuits and proving correctness against the spec; submissions are scored by cost (allocations + constraints), so tighter circuits earn better scores. AI agents & LLMs resources, including machine-readable usage and API documentation, are available at /llms.txt (agent usage and API reference), plus OpenAPI Agent API docs and challenge sources (tarball).
Spain's government has begun blacklisting US data analytics firm Palantir from state-controlled and private entities over concerns about misuse of classified information and national sovereignty. SEPI directives target major buyers like Telefónica, Indra, and Navantia, disrupting near-final deals and vetoing a Guardia Civil collaboration. Palantir still holds a €16.5m CIFAS contract set to expire in November, which Defense leadership seeks to renew, but Moncloa has not decided. The move fits a European trend of pushback against Palantir and a drive for domestic tech sovereignty, including funding for Openchip.
PeerTube is a free, decentralized, federated video platform that uses WebRTC-based P2P in the browser to share video hosting without central ad-supported networks. It aims to be an alternative to YouTube, Dailymotion, Vimeo; no vendor lock-in; community-owned, ad-free. Features include streaming (including live), embeddable players, following creators via the Fediverse (Mastodon, Pleroma) or RSS, configurable UX, and instance-to-instance caching to spread load. Donations supported; contributions welcome; open-source under AGPL-3.0; API/REST and ActivityPub support.
Monty argues that 24-bit/192kHz downloads are pointless: the human ear hears roughly 20 kHz and 16-bit depth with proper dithering already covers the audible dynamic range. Ultrasonics and intermodulation from oversampling/playback can hurt fidelity, while high sampling rates mostly waste space. Listening tests (ABX) show 44.1kHz/16-bit can equal high-rate content when sources are properly mastered. The real gains come from better masters, lossless formats, and quality playback (headphones), not from higher bit depth or sampling rate.
Ingo Blechschmidt opens a Mathstodon post with “So. For the past few days I’ve been deep in a fun…”, while the page also notes that the Mastodon web app requires JavaScript and suggests using native apps for the platform.
FreeGraphPaper.net lets you create and download free, print-ready graph paper PDFs in your browser without signup. Choose from templates or customize square, dot-grid, isometric, hexagon, lined, or Cornell notes papers, then preview live and export at 100% scale. Supports ISO A/B/C and US sizes (Letter, Legal, Tabloid, etc.). The site explains graph paper basics and confirms the PDFs are free with no watermark.
The piece reports an in-depth, three-stage comparison of 11 LLMs refactoring a LangGraph "plan" node into a graph-level process. Models propose architectures, then evaluate each other’s proposals, and summarize verdicts. Fable-5 dominates generating designs; GPT-5.5 best predicts evaluator consensus, with GPT-5.4 close behind. The author flags bugs in some proposals (e.g., Kimi-2.6’s double calculation, Qwen-3.7-max routing). Takeaways: for architecture generation, use Fable or GPT-5.5 (GPT-5.5 preferred for evaluation); Chinese models lag; do not fully offload decision-making—humans must decide and sanity-check.
DOJ and 18 states settled with Cal-Maine, Versova, and Hickman’s Egg Ranch over a multi-year egg price‑fixing scheme. They allegedly conspired to inflate Urner Barry quotes by bidding early, in bulk, and through fake transactions to signal higher demand; emails show executives coordinating. The scheme waned after the DOJ inquiry; prices later fell but remained above 2019. Cal‑Maine profited massively (about $3B in 2023–24). The settlement imposes $3M in penalties and 53M eggs donated, with no admission of wrongdoing, drawing criticism for weak enforcement.
Could not summarize article.
Manufact provides a cloud platform to build, deploy, test, and publish MCP Apps and MCP Servers for AI agents across ChatGPT, Claude, and Gemini. The mcp-use SDK is a full-stack framework to develop and deploy MCP apps from a single codebase. Features include one-click deployment to Manufact Cloud via GitHub App, per-branch previews with custom domains, automated marketplace submission assets, embedded chat, and Cloud Inspector for live debugging and model swaps. Analytics, session replay, and observability help monitor performance. Open-source and widely adopted; marketed as 'Vercel for MCP'.
IEEE Spectrum argues the orbital data-center hype far outpaces reality. SpaceX’s Musk teased a million-satellite constellation, but physics and economics don’t add up: deploying 1 million satellites would require unimaginable launch cadence, and cooling in space is brutal (one Nvidia H100 needs 1.4 m² radiator; a 100 MW data center needs thousands). Even with SpaceX’s cadence, it would take decades. Some analysts see cost parity with terrestrial centers in 5–10 years for inference, but training workloads remain unlikely; major questions remain about launch costs, maintenance, latency, and space-debris risks.
The piece argues that asking for help is a skill grounded in understanding the reader’s mind, not charm. Put others first, not your project. Show you’re worth helping by proving seriousness (proof of work, a project, or a credible personal link) and, sparingly, via institutional credibility. Then give a concise context that connects to the reader’s priorities. Make the request easy to accept: small time commitments, specific asks, low effort to respond, and a bounded scope; provide a ready-to-forward blurb and ask in writing. Make it easy to say no; never lie. Respectful, voluntary help builds relationships.
Infineon opened a €5 billion “Smart Power Fab” in Dresden, its largest single investment, to boost Europe’s semiconductor autonomy. Backed by the EU Chips Act (€1 billion), the plant will manufacture intelligent power‑management chips for electric vehicles, wind and solar power, and AI data centers. Operating 24/7 in Dresden’s Silicon Saxony, it underscores Europe’s bid to double its global chip production by 2030. Chancellor Merz called the opening a milestone for digital sovereignty.
Mail Memories is a local desktop app that securely scans your Gmail history to locate every photo attachment and saves them into a neatly organized, year-by-year folder on your computer without modifying emails. It runs 100% locally, connects to Google via a single-purpose App Password (read-only), and stores photos in a private 'Mail Memories' folder in Pictures. The first 50 photos are free to rescue; licenses are one-time payments per Gmail address (currently $29). Supports macOS and Windows; cloud-free and private by design.
Slopo is a lightweight CLI tool that detects non-exact code duplication via embeddings. It embeds each code unit and finds near-duplicate pairs, forming clusters ranked by embedding similarity and file-distance. These clusters are fed to an AI agent to confirm real duplicates; reviewed clusters can be ignored or refactored. Supports Python, TypeScript, JavaScript, Java, Kotlin, C#, Go, Rust. Quick start: install with uv tool, configure embedding model, run slopo index, slopo embed, slopo analyze; use slopo.ignore.txt; re-index incrementally. Outputs a report listing clusters and file paths; exact copies shown once with all locations.
German button maker John Boepple settled in Muscatine, Iowa, in 1891 and built a fortune from freshwater mussel shells used to make pearl buttons. The boom brought prosperity but wrecked local mussel beds, as rivers were harvested and habitats damaged. Competition from plastics and damming further doomed the industry; Muscatine faded when button production ended in the 1960s. The story helps illustrate early mussel conservation efforts and is showcased in Smithsonian NMNH's From These Lands exhibit.
ZeroFS is a log-structured S3-backed filesystem that exposes S3 buckets as POSIX filesystems over NFS and 9P or as raw NBD block devices. It writes immutable 32 KiB extents; compaction reclaims deleted data, compresses (zstd/lz4) and encrypts (XChaCha20-Poly1305) before upload, and serves warm reads from a local cache. It supports NFS, 9P and NBD clients, has checkpoints, read replicas, TRIM, and high availability with an optional standby. Geo-distributed via three S3 regions as mirrors. It includes extensive CI tests (pjdfstest, xfstests, Jepsen) and a web UI; dual licensing (AGPL/commercial).
PEAK integrates deep reinforcement learning agents into a 2D platformer engine to help designers test levels. Designers train agents, collect data on balance, and receive guidance based on thresholds. To keep data collection modular, the team uses the Observer Pattern and Aspect-Oriented Programming (AOP) so data collection code can be added without touching core game code. They implement AOP in Python with decorators and a YAML-driven injection system to attach trackers to methods via reflection. A Streamlit dashboard visualizes metrics; future work defines useful metrics and thresholds, e.g., Completion Rate, Mean Time, Progress, Death Cluster, paths, and coin-time cost.
An excerpt quotes Mark Dominus saying many people misunderstand the purpose of something, then repeats boilerplate Mastodon guidance to enable JavaScript or use native Mastodon apps.
Made by Johno Whitaker using FastHTML