bambolleo's Feed · Scour

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

arxiv.org·3d

🗣️Language Servers

SWE-Refactor: A Repository-Level Benchmark for Real-World LLM-Based Code Refactoring

arxiv.org·5d

AI Safety at the Frontier: Paper Highlights of January 2026

lesswrong.com·5d

🎮Game Engines

Stop generating, start thinking

localghost.dev·1d·

Discuss: Lobsters, Hacker News

🎮Game Engines

The Future Was Federated

news.dyne.org·4d·

Discuss: Lobsters, Hacker News

🔐Cryptography

Demands Are All You Need: Prompt Imperativeness Drastically Reduces Hedging In LLMs (n=900, Cohen's d = 2.67)

lesswrong.com·3d

Algorithmically Finding the Longest Line of Sight on Earth

lobste.rs·6h·

Discuss: Lobsters

Discord Launches Teen-by-Default Settings Globally

discord.com·1h·

Discuss: Lobsters, Hacker News, r/TwoBestFriendsPlay

Trying out Thunderbird Appointment While I Patiently Await For An Invite

blog.matthewbrunelle.com·2h·

Discuss: Lobsters, Hacker News

Offpunk 3.0 "A Community is Born" Release

ploum.net·16h·

Discuss: Lobsters, Hacker News

DavMail Pop/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway

davmail.sourceforge.net·1d·

Discuss: Lobsters, Hacker News

Beating an old, but not dead horse: what to do with the Oxygen and Air themes?

filipfila.wordpress.com·1d·

Discuss: Lobsters, Hacker News

Game Boy Advance d-pad capacitor measurements

gekkio.fi·1d·

Discuss: Lobsters, Hacker News

The Scriptovision Super Micro Script video titler is almost a home computer

oldvcr.blogspot.com·1d·

Discuss: Lobsters, Hacker News, oldvcr.blogspot.com

mitchellh/vouch: A contributor trust management system based on explicit vouches to participate.

github.com·1d·

Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/programming

Your Best Thinking Is Wasted on the Wrong Decisions

iankduncan.com·1d·

Discuss: Lobsters, Hacker News

imrofayel/fylepad: A cross platform notepad for effortless note-taking — featuring rich text editing, multiple tabs, cloud sync, and built-in support for Mermaid/PlantUML diagrams, tables, code blocks, and more.

github.com·3d·

Discuss: Hacker News

Sign up or login to customize your feed and get personalized topic recommendations

What arguments was Python called with?

davidism.com·5d·

Discuss: Lobsters

Sysadmin In The LLM Age

nullrouted.space·3d·

Discuss: Lobsters, Hacker News

Recent trends in the work of the Django Security Team

djangoproject.com·5d·

Discuss: Lobsters, Hacker News

Loading more...