🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Show HN: OS X Mavericks Forever
mavericksforever.com·2d·
Discuss: Hacker News
🖥️Vintage Macintosh
Introducing Real-Time Mode in Apache Spark™ Structured Streaming
databricks.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Image Prompt
imageprompt.site·19h·
Discuss: Hacker News
🤖Archive Automation
Data Centers Aren't the Main Villain Behind Higher Electric Bills
thebignewsletter.com·9h·
Discuss: Hacker News
🇳🇱Dutch Computing
Writing Your First GPU Kernel in Python with Numba and CUDA
kdnuggets.com·2d
⚡SIMD Vectorization
Chatbot Cheatsheet: A guide to the AI assistants from Walmart, L'Oréal, Amazon and more
modernretail.co·15h
🤖AI Curation
Microsoft reviewing Israeli military's use of its tech amid worker protests
the-independent.com·1h
🏺Media Archaeology
The ‘Obfuscated C Code Contest’ Confronts the Age of AI
thenewstack.io·3d·
Discuss: r/C_Programming
🧪Binary Fuzzing
How to Correctly Apply Limits on the Result in DAX (and SQL)
towardsdatascience.com·2d
🔗Constraint Handling
Using pollen to make paper, sponges, and more
arstechnica.com·3h
📜Document Physics
Me And The Bean
feed.tedium.co·1d
🎮Gameboy Emulation
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·6d·
Discuss: Hacker News
👑Isabelle
Dynamic Thermal Resilience Optimization in 3D-Stacked DRAM via Adaptive Power Gating and Real-Time Thermal Profiling
dev.to·3d·
Discuss: DEV
🖥️Hardware Architecture
Unlock LLM Precision: Master Structured Output with Pydantic and Instructor
dev.to·3d·
Discuss: DEV
🧮Prolog Parsing
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·6d·
Discuss: r/rust
🐚Shell Monads
Design and Implementation of a Controlled Ransomware Framework for Educational Purposes Using Flutter Cryptographic APIs on Desktop PCs and Android Devices
arxiv.org·1d
🔑Cryptographic Protocols
Research on Conversational Recommender System Considering Consumer Types
arxiv.org·17h
🎯Content Recommendation
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·1d
🔲Cellular Automata
Enhanced Heterojunction Performance via Dynamic Van der Waals Bonding Manipulation
dev.to·1h·
Discuss: DEV
🧲Cassette Physics
Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends
arxiv.org·2d
🧪Archive Fuzzing