v3.43.0
gitlab.exherbo.orgยท2d
๐Ÿ“ŠProfiling Tools
Flag this post
Arti, a complete rewrite of the C Tor codebase in Rust
tpo.pages.torproject.netยท19hยท
Discuss: Hacker News
๐Ÿ“ฆuv
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.devยท17hยท
Discuss: Hacker News
๐Ÿ”Type Checkers
Flag this post
Imperative to Relational
madhadron.comยท23hยท
๐Ÿ”ฌStatic Analysis
Flag this post
Distributed Key Generation for Efficient Threshold-CKKS
eprint.iacr.orgยท3d
๐ŸŒDistributed Computing
Flag this post
Stop Slicing Data: How Network Analysis Uncovers Hidden Relationships in Your Flat Datasets
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ฌStatic Analysis
Flag this post
Bumble Berry Pi โ€“ A Cheap DIY Raspberry Pi Handheld Cyberdeck
github.comยท19hยท
Discuss: Hacker News
๐Ÿ—๏ธBuild Systems
Flag this post
Your SSR Isnโ€™t Fast โ€” Hydration Is Dragging It Down
dev.toยท15hยท
Discuss: DEV
๐Ÿ—๏ธBuild Optimization
Flag this post
A Middle Layer for Offloading JVM-Based SQL Engines' Execution to Native Engines
github.comยท2dยท
Discuss: Hacker News
โœ‚๏ธCUTLASS
Flag this post
NVIDIA DGX Spark Spotted Running Cyberpunk 2077 & Emulated PS3/Xbox Games
hothardware.comยท3d
๐Ÿ”Nsight
Flag this post
I created a app that can let ai draw and modify diagram for you
github.comยท9hยท
Discuss: r/ClaudeAI
๐Ÿค–AI Coding Tools
Flag this post
Trinity R14.1.5 Desktop Environment Released With Multi-Monitor Tiling
linuxiac.comยท19h
๐Ÿ”งPTX
Flag this post
PiHMP Stack (v2) - The Phoenix Protocol Build Log
dev.toยท11hยท
Discuss: DEV
๐Ÿ—๏ธBuild Systems
Flag this post
๐Ÿงฉ Part 1: The Ultimate 2025 SaaS Tech Stack โ€” Build, Launch, and Monetize in Under 10 Minutes
dev.toยท23hยท
Discuss: DEV
๐Ÿ—๏ธBuild Systems
Flag this post
About Taxum, or why I wrote my own NodeJS Framework
dev.toยท1dยท
Discuss: DEV
๐Ÿ•Ruff
Flag this post
Simplifying Prometheus Metrics in Go with prometric-go
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฆuv
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.comยท6dยท
๐ŸŽ๏ธTensorRT
Flag this post
InfiMed-ORBIT: Aligning LLMs on Open-Ended Complex Tasks via Rubric-BasedIncremental Training
paperium.netยท1dยท
Discuss: DEV
๐Ÿค–AI Coding Tools
Flag this post
Autonomous Lunar Regolith Processing via Modular Robotic Swarms & AI-Driven Resource Allocation
dev.toยท2dยท
Discuss: DEV
๐ŸŒDistributed Computing
Flag this post
Build a Memory Game with ClojureScript & Scittle
clojurecivitas.github.ioยท2d
๐Ÿ“œTorchScript
Flag this post