LWMalloc is a lightweight dynamic memory allocator for embedded systems
cnx-software.com·4h
🔧PLT
How Bitcoin Uses Hashes and Digital Signatures to Keep Transactions Honest
hackernoon.com·8h
📐formal specification
Calendars Aren't Just Plain Data
eikopf.bearblog.dev·1d
🔧PLT
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🪜Scala
Dependency Hell: The Hidden Costs of Dependency Bloat in Software Development
oneuptime.com·1d·
Discuss: Hacker News, r/javascript, r/programming, r/webdev
🔧PLT
🎲 A 270 KB static site generator based on Markdown and Lua
log.schemescape.com·13h
🔧PLT
Introducing Warp Code: the fastest way from prompt to production
warp.dev·14h
📐formal specification
Cryptic Error with Generics: "mismatched types float64 and float64"
reddit.com·15h·
Discuss: r/golang
🐫Ocaml
Building Blocks & Beyond: Designing Systems That Thrive, Not Just Survive
dev.to·7h·
Discuss: DEV
📐formal specification
Mindful Selection of TypeScript Typing Patterns: Reducing Technical Debt for Faster Development
dev.to·3d·
Discuss: DEV
🔧PLT
Should We Have Been using LLMs for Our Test Queries This Whole Time?
buttondown.com·1d
📐formal specification
Sail Turns One
reddit.com·9h·
Discuss: r/rust
🦀Rust
The One-Letter Rails Bug That Slipped Past Rubocop, CI, and Code Reviews
dev.to·5h·
Discuss: DEV
📐formal specification
The `dd()` Trap: Why Your Laravel App Needs Real Logging.
dev.to·4h·
Discuss: DEV
⚡Zig
Formal Verification of Isothermal Chemical Reactors
arxiv.org·10h
🔧PLT
Detecting Rug Pulls in Decentralized Exchanges: Machine Learning Evidence from the TON Blockchain
arxiv.org·10h
📐formal specification
Enhanced Ultrasonic Flow Meter Calibration via Adaptive Kalman Filtering and Machine Learning Ensembles
dev.to·6h·
Discuss: DEV
📐formal specification
VSLLaVA: a pipeline of large multimodal foundation model for industrial vibration signal analysis
arxiv.org·10h
🔧PLT
Kernel-hack-drill and a new approach to exploiting CVE-2024-50264 in the Linux kernel
a13xp0p0v.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News
📐formal specification
Angular 20's Game-Changing Features: Mastering Tagged Template Literals and the Revolutionary "in" Operator
dev.to·1h·
Discuss: DEV
🪜Scala