Unusual circuits in the Intel 386's standard cell logic
righto.com·13h·
Circuit Archaeology
Flag this post
Hyper-Secure Code Generation via Lattice-Based Homomorphic Encryption & AI-Assisted Verification
dev.to·2d·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
From light to logic: First complete logic gate achieved in soft material using light alone
phys.org·2d
⚛️Quantum Tape
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
Implementation of a Java Processor on a FPGA
mavmatrix.uta.edu·3d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·10h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Making Actually Useful Schematics in KiCad
hackaday.com·1d
⚙️DIY Electronics
Flag this post
Show HN: MQ-AGI A neuro-symbolic architecture for modular AGI
news.ycombinator.com·3d·
Discuss: Hacker News
⚛️Quantum Circuits
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
dev.to·17h·
Discuss: DEV
🔍FPGA Verification
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
My Home Lab setup and what to do next with blackfriday??
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Flag this post
Using Fuzzy Logic for Decision Making
loufranco.com·2d
🔗Constraint Handling
Flag this post
Copackaged optics have officially found their killer app - of course it's AI
theregister.com·21h
🖥️Modern Terminals
Flag this post
Data-Driven Optimization of Graphene Quantum Dot Electrode Architectures via Multi-Objective Bayesian Optimization
dev.to·1d·
Discuss: DEV
Circuit Design
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·9h
⚛️Quantum Tape
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·8h·
👑RISC-V Privilege
Flag this post