Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
📡Erlang BEAM
Flag this post
Linux 6.19 To Optimize Exiting To User-Space For Restartable Sequences
phoronix.com·2d
Interpreter Optimization
Flag this post
Can we hide the orange dot without disabling SIP?
notes.alinpanaitiu.com·19h·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
An ESP32 based beaconDB Scanner Prototype
blog.matthewbrunelle.com·1d
🤖Embedded Go
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·1d·
Discuss: Hacker News
🏁Language Benchmarks
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·15h·
Discuss: Hacker News
⏱️Real-Time GC
Flag this post
AMD's Zen 5 RDSEED Issue Is Causing Headaches For Optimized CachyOS Builds
phoronix.com·1d
🌱Forth Kernels
Flag this post
How to Query and Display Nearby Places on a Leaflet Map with the Geoapify Places API
dev.to·19h·
Discuss: DEV
Live Coding
Flag this post
Continuous cell-type diversification in mouse visual cortex development
nature.com·15h
🗺️Region Polymorphism
Flag this post
Can LLMs subtract numbers?
arxiv.org·1d·
Discuss: Hacker News
📐Mathematical Computing
Flag this post
JSON Schema for Humans: Quickly Generate HTML Documentation from a JSON Schema
github.com·1h·
Discuss: Hacker News
📋JSON Parsers
Flag this post
Kahn’s Algorithm and Cycle Detection in Directed Graphs
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·2d
💾Allocator Design
Flag this post
Thinking of learning Go for backend instead of Python -- worth it?
reddit.com·6h·
Discuss: r/golang
🎮Language Ergonomics
Flag this post
The Art of the Meta: A Journey into JavaScript Proxies
dev.to·2d·
Discuss: DEV
🔧API Design
Flag this post
Migrating from Open Policy Agent to Amazon Verified Permissions
aws.amazon.com·14h
🔐Capability Calculus
Flag this post
Observer-based neural networks for flow estimation and control
arxiv.org·4h
📡Async Channels
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·1d
Control Synthesis
Flag this post