LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
The FPGA Turns 40!
adiuvoengineering.com·4d·
Discuss: Hacker News
🔍FPGA Verification
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·14h
📐Compression Bounds
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Switch project, part 2 - Line Card
serd.es·1d·
Discuss: Hacker News
🔌Single Board PC
A Qubit-Efficient Hybrid Quantum Encoding Mechanism for Quantum Machine Learning
arxiv.org·14h
⚛️Quantum Codes
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·2h
💻Local LLMs
Ayar Labs | Co-packaged Optics Revolution | The Most Promising Hardware Startup With Wins At HPE And Nvidia?
semianalysis.com·20h·
Discuss: Hacker News
🖥️Modern Terminals
TROJAN-GUARD: Hardware Trojans Detection Using GNN in RTL Designs
arxiv.org·1d
🔧Hardware Verification
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
BNFGen: A random text generator based on context-free grammars
baturin.org·39m·
Discuss: Hacker News
🌳Context free grammars
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.org·14h
🤖Advanced OCR
How to (Almost) solve cybersecurity once and for all
adaptive.live·21h·
Discuss: Hacker News
🔐Systems Hardening