Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·1d·
Discuss: Hacker News
💎Refinement Types
Off-Grid Boat Data with Signal K and Meshtastic
signalk.org·16h·
Discuss: Hacker News
📦Unikernel Systems
What Is the Fourier Transform?
hackaday.com·1d
🧮Lambda Calculus
Measuring success when doing Math
kidswholovemath.substack.com·1d·
Discuss: Substack
🎮Verification Games
Get Excited About Postgres 18
crunchydata.com·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·3d·
Discuss: Hacker News
🏹Effect Systems
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·1d·
Discuss: Hacker News
🧠Automated Reasoning
The Real Reasons Why Developers Burnout
jcmartinez.dev·2d·
Discuss: r/programming
🔄Reproducible Builds
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·2d·
Discuss: Hacker News, shkspr.mobi
🧮Lambda Calculus
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·4d·
Discuss: Hacker News
👁️System Observability
ReBaNO: Reduced Basis Neural Operator Mitigating Generalization Gaps and Achieving Discretization Invariance
arxiv.org·2d
🐫OCaml
Why OpenAI’s solution to AI hallucinations would kill ChatGPT tomorrow
theconversation.com·1d·
Discuss: Hacker News
📚Automata Learning
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·5d
⚙Operational Semantics
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·5d
🎮Verification Games
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·6d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Beyond Markdown (2018)
johnmacfarlane.net·6d·
Discuss: Lobsters, Hacker News, Hacker News
🧩Parser Combinators
Identifying Key Features for Establishing Sustainable Agro-Tourism Centre: A Data Driven Approach
arxiv.org·2d
➡️Category Theory
Algebraic Effects in Practice with Flix
relax.software·6d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems