Finite math system, verified in Coq – for theory nerds and alt. IT ppl

Comments (1)

kwojno · 6h ago

this is a product of my year's long collab with AIs. NO INFINITY. EVERYTHING COSTS. would love to get some feedback - it has value both for philosophers and IT practitioners who are interested in alternative ways of designing networks and neural nets. cheers!

ChatGPT Spoiled My Semester (benborgers.com)

Tech company reaches gender quotas by replacing half workers with female AI bots (betootaadvocate.com)

Ask HN: What's the best career move you made in tech–and why?

Wary of sticker shock, retailers clash with brands on price hikes (reuters.com)

Elvis is alive How 'AI' stunts modern mythmaking (bsdly.blogspot.com)

Onion-Lang (github.com)

Apple hit by string of departures in AI talent war (ft.com)

The rise of couples location sharing (theguardian.com)

Official Reserve Revaluations: The International Experience (federalreserve.gov)

Actual LLM agents are coming (pleias.fr)

Fun Command-Line Tricks You Should Try (nxgntools.com)

New Gemini app tools to help students learn, understand and study better (blog.google)

Sleep Ledger (domofutu.substack.com)

Your LLM Does Not Care About MCP (hackteam.io)

AI in production: reflecting on one year, five projects and factories deployed (medium.com)

Run LLM's Locally on iPhone (github.com)

Slab City, California (en.wikipedia.org)

Anyone Bored at Work?

Terrence Tao Loses Funding (thebulwark.com)

Explicit tail calls are now available on Rust Nightly (become keyword) (old.reddit.com)

Ivanpah Solar Power Facility (en.wikipedia.org)

APIs Don't Make Good MCP Tools (reillywood.com)

Cligen: A Native API-Inferred Command-Line Interface Generator for Nim (github.com)

Can Local Contribution-Based Currencies Replace Crypto?

SF tech CEO offers buyouts to let workers flee 'extreme' work culture (sfgate.com)

Federal court filing system hit in sweeping hack (politico.com)

America may be copying the worst part of Europe's real estate market (businessinsider.com)

Show HN: Rust framework for advanced file recognition and identification (crates.io)

Ethiopia avoided colonization in the late 19th century but lagged in the 20th (africanistperspective.com)

FDA approves eye drops that fix near vision without glasses (newatlas.com)

Meet the AI Vegans (theguardian.com)

Why Every AI Company Eventually Has to Pay the Universe (A Gangster Comedy) (medium.com)

New York Times Revenue Jumps 9.7% from Subscriptions and Ads (nytimes.com)

Communication with Extraterrestrial Intelligence [pdf] (nsa.gov)

How to Review Code (endler.dev)

Coursera's Monetization Journey: From Zero to IPO (classcentral.com)

Apple made a 24k gold and glass statue for Donald Trump (theverge.com)

Efficient AI: KV Caching and KV Sharing (blog.gaurav.ai)

Thorsten Ball on Technical Blogging (writethatblog.substack.com)

A Lightweight Solution to Speed Up Queries by Dumping Data to Files (github.com)

Madhava of Sangamagrama (en.wikipedia.org)

Show HN: Self-contained MLX implementation of GPT-OSS models (github.com)

Any solution for "reset bug" on Nvidia GPUs? (medium.com)

Reasoning about systems' state spaces (youtube.com)

Their Last Love Token: A Dinosaur Rebuilt from Its Excavated Bones (nytimes.com)

Robotic frames offer new insights into honeybee behavior and honey storage (phys.org)

Is Altos Labs gearing up for clinical trials? (longevity.technology)

Show HN: OrcaCam – A Flappy Bird-style game celebrating Cambridge innovation (orcascan.com)

Notes on Growing Old(er) (ian-leslie.com)

SPy (Static Python) Language (github.com)

Finite math system, verified in Coq – for theory nerds and alt. IT ppl

Comments (1)