🗑️ Stack Scanning GC - abnv · Scour

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·16h

🧮Theorem Provers

Number Builder: can you build up from 1 to the target?

aperiodical.com·1d

🌿Trie Variants

ArkEval: Benchmarking and Evaluating Automated CodeRepair for ArkTS

arxiv.org·16h

🚀Code Motion

PeaZip 10.9 released with improved file manager, overhauled text & image viewers, and more

alternativeto.net·1d

📦Executable Size

Last Branch Standing

politicalwire.com·1d

🛡️Stack Safety

Release: Preview 12.3

weirdfellows.itch.io·22h

🐛Interactive Debuggers

A terminal user's next interface to object storage

tigrisdata.com·21h

💻Terminal Control

list ▴ archive ▴ index

robotameri.ca·23h

Closing the Loop on /insights

blog.gorewood.games·1d

🌊Gradual Effects

wingolog.org·4d

🔄Bootstrapping

Weekly Bookmarks

inkdroid.org·2d

Forge Stack: A Full Ecosystem for Modern Web Applications

dev.to·1d·

Discuss: DEV

OpenClaw integrates VirusTotal malware scanning as security firms flag enterprise risks

csoonline.com·1d

🏷️Memory Tagging

I Built a Python CLI Tool for RAG Over Any Document Folder

dev.to·1d·

Discuss: DEV

⚙️TOML Parsers

Show HN: C-CMCP – Validated AI development workflow with quality gates

news.ycombinator.com·1d·

Discuss: Hacker News

🎭Program Synthesis

Java News Roundup: GlassFish 8.0, OpenHai 1.0, LangChain4j, Infinispan, Hibernate, JobRunr

infoq.com·1d

🔗Language Toolchains

rvben/rumdl v0.1.16

github.com·1d

⚙️TOML Parsers

Tutorialkit.rb: the ruby.wasm journey goes onward—Martian Chronicles, Evil Martians’ team blog

evilmartians.com·21h

💬Smalltalk VMs

hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler

github.com·1d

🪄C Metaprogramming

Announcing TCMalloc

abseil.io·2d

⏲️Embedded GC

Loading more...