AI-based method can optimize photovoltaic-battery storage systems
techxplore.comยท21h
๐Ÿ†•New AI
Framework for Optimizing Reliability and Thermal Management of 3DICs (National Taiwan Univ., Lamar Univ.)
semiengineering.comยท22h
๐Ÿ”ฌChip Fabrication
๐ŸŽฒ Adaptive application interface
abhyrama.comยท57m
๐Ÿ“กRSS
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.ioยท16hยท
Discuss: Hacker News
๐ŸŒDistributed systems
iTerm Jekyll plugin โ€” Run commands from your blog
brett.trpstra.netยท20h
๐Ÿ’ปTerminal Tools
OCaml 5.4 Release: New Features, Fixes, and More
tarides.comยท7hยท
๐Ÿ’ปProgramming languages
Global shared state
reddit.comยท1hยท
Discuss: r/rust
๐Ÿฆ€Rust
Vibing a Non-Trivial Ghostty Feature
mitchellh.comยท14h
โœ๏ธCode Editors
Building the Reasoning Engine at Axiom
axiommath.aiยท18hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Three ways formally verified code can go wrong in practice
buttondown.comยท21h
๐Ÿ’ปProgramming languages
Best practices for using Python & uv inside Docker
ashishb.netยท14h
๐Ÿ“ฆCargo
simplicity โ€ข Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.comยท21hยท
Discuss: r/programming
โšกDeveloper Experience
State of Opinion โ€“ Programming Languages โ€“ Autumn 2025 Edition
xlii.spaceยท1hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.orgยท21hยท
Discuss: Hacker News
๐Ÿ“Typst
Weaponizing Discord for Command and Control Across npm, PyPI, and RubyGems.org
socket.devยท12h
๐ŸŒNetwork Protocols
Scaling Time-Series Data for AI Models
singlestore.comยท23h
๐ŸŽ›๏ธFeed Filtering
Eon โ€“ An Effects-Based OCaml Nameserver
ryan.freumh.orgยท4hยท
๐ŸŒDistributed systems
New React Foundation To Manage Framework
thenewstack.ioยท1h
๐Ÿ“˜Typescript
Fighting Email Spam on Your Mail Server with LLMs โ€” Privately
cybercarnet.euยท1hยท
๐ŸงนSpam Filters
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.comยท18hยท
๐Ÿ–ฅGPUs