💻 programming languages - matmat · Scour

I Haven't Written Code by Hand for a Year. And I'm Not Going Back.

dev.to·3d·

Discuss: DEV

⚡Proof Automation

🌐 Advantages of Web Development Languages Today

dev.to·4d·

Discuss: DEV

🔄Language Evolution

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·3d

🧠Separation Logic

Balancing Inexactness in Mixed Precision Matrix Computations

arxiv.org·4d

📐Error Bounds

Coding Agents Need More Than Examples. They Need Guardrails.

medium.com·6d·

Discuss: Hacker News

🦋Format Evolution

Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy

github.com·6d·

Discuss: Hacker News

🖥️Game Emulation

six thoughts on generating c

wingolog.org·10h·

Discuss: Lobsters, Hacker News

🦀Rust Macros

Why you should consider F#

asfaload.com·3d·

Discuss: Hacker News

🔒Type Safety

akki2825/computational-morphology-lit: A curated collection of papers on computational morphology.

github.com·1d·

Discuss: Hacker News

🔤Morphological Analysis

A Journey into Understanding the IDE Bus

crowdsupply.com·5d·

Discuss: Hacker News

🧲RISC-V Archaeology

Judge blocks California's ban on federal agents wearing masks but requires badges be clearly seen

the-independent.com·56m

⚖️Digital Evidence

Psycho Donuts plans to reboot in Campbell, expand to Gilroy

mercurynews.com

·59m

🌊Streaming Systems

Psychopathy test used in Canadian courts unreliable, prone to bias, study finds

phys.org·25m

🧪CBOR Fuzzing

‘Bookends’ Star and Writer Noam Ash on Authentic Queer and Jewish Casting and How ‘Heated Rivalry’ Could Help Sell the Film

variety.com·44m

Amazon’s Alexa ‘Plots’ Against Chris Hemsworth in Super Bowl Ad—But Can It Track You in Real Life?

rollingstone.com

·21m

🗂️Optical Jukebox

US judges dismiss lawsuits accusing Neil Gaiman of sexual assault

theguardian.com·43m

🏛Digital humanities

Opinion | In the New Jersey Primary, ‘Abolish ICE’ Looks Like a Winning Message

nytimes.com

·55m

⚡Homebrew CPUs

Japan’s First Female Prime Minister Pushes the Country Further to the Right

newyorker.com·23m

🇯🇵Japanese Computing

Meta Goes to Trial in a New Mexico Child Safety Case. Here's What's at Stake

wired.com·50m

⚖️Digital Evidence

What Is the PS2 BIOS? How It Works and Why Emulators Need It

obsoletesony.substack.com·53m·

Discuss: Substack

🕹️Retro Gaming

Loading more...