Bus Factor 0
🔬Static Analysis
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙️Compiler Design
Flag this post
Kubernetes on RPi5 or alternative
⎈Kubernetes
Flag this post
Enhanced Anti-Reflection Coating Design via Stochastic Gradient Descent on Parametric Nanostructure Optimization
🔧Unikernel Development
Flag this post
The Self-Organizing AI: Can Machines Learn to 'Feel' Their Way to Success? by Arvind Sundararajan
🩹Self-Healing Systems
Flag this post
PrivyWave: Privacy-Aware Wireless Sensing of Heartbeat
arxiv.org·6h
👁️Observability
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2d
🔍Formal Verification
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Streamlining Multi-Account Infrastructure with AWS CloudFormation StackSets and AWS CDK
aws.amazon.com·2d
🔧DevOps
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
🤖Program Synthesis
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1d
🕸️Graph Theory
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·2d
📦OPAM
Flag this post
Loading...Loading more...