Even Numbers Are Tautologies
๐งฎFunctional Programming
Flag this post
Bacula For Dummies
blog.feld.meยท1d
๐ Self-hosting
Flag this post
Frozen in Place
๐Embedded
Flag this post
Handling Noisy Plaintext Checking Oracles with SPiRiT
eprint.iacr.orgยท1d
๐งฎFunctional Programming
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.comยท3d
๐นGolang
Flag this post
Playing Around with ARM Assembly
๐นGolang
Flag this post
Built a GitHub PR security scanner (79+ checks, AI auto-fix). Need beta testers.
โ๏ธElixir
Flag this post
Leo: Auto-Typing Tool for Teaching Coding
๐Emacs
Flag this post
Enhancing Fault-Tolerant Space Computing: Guidance Navigation and Control (GNC) and Landing Vision System (LVS) Implementations on Next-Gen Multi-Core Processor...
arxiv.orgยท6h
๐พSQLite
Flag this post
Shiroa: MdBook for Typst
๐Anki
Flag this post
Qwen3-Nemotron-32B-RLBFF: How This Open-Source LLM Is Changing Production AI for Developers (Performance, Cost, & Secure SDLC)
๐ฅ๏ธHomelab
Flag this post
Maple Leafs assign Easton Cowan to AHL Marlies: Why they made the move and what's next
nytimes.comยท1d
โกZig
Flag this post
<p>**Abstract:** This paper introduces a framework for automated verification of the semantic integrity of scientific literature, termed Automated Semantic Inte...
freederia.comยท17h
๐งฎFunctional Programming
Flag this post
Converting from GDscript
๐นGolang
Flag this post
<p>**Abstract:** This paper proposes a novel framework, CodeRefactorAI, for automated code refactoring and quality enhancement within large-scale microservice a...
freederia.comยท15h
๐งฎFunctional Programming
Flag this post
<p>**์์ฝ:** ๋ณธ ์ฐ๊ตฌ๋ ์์ ์์จ์ฃผํ ์์คํ
์ ํต์ฌ ๊ณผ์ ์ธ Level 5 ์์ค์ ์์จ์ฃผํ ๊ฐ๋ฅ ๋ฌ์ฑ์ ์ํด, ๋์ฌ ํ๊ณก(Urban Canyon) ํ๊ฒฝ์์ GPS ์ ํธ์ ์ทจ์ฝ์ ์ ๊ทน๋ณตํ๊ณ LiDAR-SLAM (Simultaneous Localization and Mapping) ๊ธฐ...
freederia.comยท12h
๐Anki
Flag this post
Nets snap 7-game slide, earn first win of season against Pacers
nytimes.comยท1d
๐Anki
Flag this post
Loading...Loading more...