Coding Machines (2009)

Comments (1)

LorenDB · 4h ago

> “Oh I like that!” said Dave, grinning. “I would love to specify the outcome and have the compiler write the code for me.”

> “Well specifying the outcome precisely enough would be no easier than just writing the code,” said Patrick

Unexpectedly relevant commentary on today's LLMs from 2009 was not on my bingo card for today.

Show HN: Guy built a TikTok alternative for studying (skilltok.vercel.app)

Show HN: CDK Tutor – Interactive Courses to Learn CDK in Python (github.com)

Springer Nature book on machine learning is full of made-up citations (retractionwatch.com)

CoVE: Compressed Vocabulary Expansion Makes Better LLM-Based Recommender Systems (arxiv.org)

Tinder rolls out mandatory face verification for California users (latimes.com)

LLM Agents Are the Antidote to Walled Gardens (arxiv.org)

Supply Shocks creates Inflation; China gets it but we sure don't (governance.fyi)

Animating Number Counters (css-tricks.com)

An emulation of a 30-qubit quantum computer (quokkacomputing.com)

Show HN: Country Guessing Game (guessthatcountry.com)

British IT worker sentenced to seven months after trashing company network (theregister.com)

Most cited scientists stop falsely claiming to work in Saudi Arabia (english.elpais.com)

The great MicroSD card survey (bahjeez.com)

AI: The New Aesthetics of Fascism (newsocialist.org.uk)

Hematopoietic stem cell clonal evolution p autologous stem cell transplantation (nature.com)

Show HN: tapable-tracer Trace the connections and flows between tapable hooks (github.com)

Pangu Pro Moe: Mixture of Grouped Experts for Efficient Sparsity (arxiv.org)

Digital IDs for AI ensure security, accountability, and trust (subramanya.ai)

How AI on Microcontrollers Works: Operators and Kernels (danielmangum.com)

Show HN: I built a enterprise level SaaS kit (launchkitaws.com)

I'm a physicist by trade, not by training, and that matters (csferrie.medium.com)

Increase of ticks that cause meat allergy in US due to climate crisis (theguardian.com)

Large-Scale Deployment of Ray in Tencent's Weixin AI Infrastructure (anyscale.com)

Show HN: Tacho – CLI tool to benchmark LLM speeds across providers (tacho.sh)

Fintech platform Wealthfront files for IPO (reuters.com)

GenesisAI raises $105M to build foundation models for robots with synthetic data (techcrunch.com)

Show HN: Optimization for LLM App (llmcheck.app)

Trump team threatens to prosecute CNN over reporting on Ice-tracking app (theguardian.com)

Ask HN: What does Cloudflare's pay-per-crawl mean for web scrapers?

Neuromancer is in production (bsky.app)

Amp: A text editor for your terminal (github.com)

Ligeti – Musica ricercata No.7 – Cantabile – ARR. for theremin and analog synths [video] (youtube.com)

[nl-ams-1] degraded performances due to abnormal temperature (status.scaleway.com)

Study Reveals That Internet Searches Can Hinder Creativity (cmu.edu)

Specter of dams and diversion looms over Southeast Asia's Salween River (news.mongabay.com)

What is automatable and who is replaceable? Thoughts from my morning commute (togelius.blogspot.com)

Recursive factorial in 14 characters (2023) (mvanier.github.io)

V-JEPA 2: Self-Supervised Video Models Enable Understanding,Prediction,Planning (github.com)

Show HN: CareerCupid now (OkCupid for Jobs) now supports job listings

The Technical Feasibility of Divesting Google Chrome (kgi.georgetown.edu)

Blocking Sudo Exploits with Fapolicyd (jwgarber.ca)

Yoneda-Epistemology (networkspirits.com)

Stream per Agent Session (s2.dev)

An analytic theory of creativity in convolutional diffusion models (arxiv.org)

Introduction to Linux Netkit interfaces – with a grain of eBPF (blog.yadutaf.fr)

Laptop Mag is shutting down (theverge.com)

Show HN: Terminal in Browser (github.com)

Websites to get 'game-changing' AI bot blocker (bbc.com)

Using OCR to Fix a Hilarious Bug (2015) (artsy.github.io)

The Recursive Enumerability of Fixed-Point Combinators [pdf] (brics.dk)

Coding Machines (2009)

Comments (1)