Compiler Infrastructure, Multi-Level IR, LLVM, Code Generation

Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·14h·
Discuss: Hacker News
Formal Verification
Flag this post
SGLang Diffusion: Accelerating Video and Image Generation
lmsys.org·3d
🤖AI
Flag this post
Error ABI
matklad.github.io·1d·
⚙️Programming
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·4d·
Discuss: DEV
⚙️Programming
Flag this post
Accelerating LLM inference with speculative decoding: Lessons ...
linkedin.com·4d
🤖AI
Flag this post
Linux Privilege Escalation reference for all things
github.com·7h·
Discuss: Hacker News
🔒Hardware Security
Flag this post
I built a full-text search library for my iOS apps
github.com·1d·
Discuss: r/swift
⚙️Programming
Flag this post
Associative Poisoning to Generative Machine Learning
arxiv.org·5h
🧮Homomorphic Encryption
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·5d
🤖AI
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·5h
🧮Homomorphic Encryption
Flag this post
I completed my first game using Godot 4.3, here's some insight!
reddit.com·17h·
Discuss: r/godot
⚙️Programming
Flag this post
Agentic Design of Compositional Machines
paperium.net·2d·
Discuss: DEV
🤖AI
Flag this post
The Matrix 1U LED light panel
reddit.com·1d·
Discuss: r/homelab
🔒Hardware Security
Flag this post
I used NotebookLM to help me build a PC, and it was better than any other tool
xda-developers.com·1d
🤖AI
Flag this post
How to build agentic apps with Flutter and Firebase AI Logic
dev.to·49m·
Discuss: DEV
🤖AI
Flag this post
Meet Aissist - your personal AI command line sidekick
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
The Production AI Agent Checklist
dev.to·2h·
Discuss: DEV
🤖AI
Flag this post
Self-Healing Application Framework - Autonomous Issue Resolution with Agentic Postgres
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Some advise needed - hosting for AI chatbot
reddit.com·15h·
Discuss: r/selfhosted
🤖AI
Flag this post
Would 4 2080Ti build work well for local AI models ? With coding as target
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Flag this post