tiferrei's Top FindsLoading...
Wild 0.7 Released For This Very Fast Linker Written In Rust
phoronix.comยท2h
๐ŸDarwin
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.comยท20hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Catalog of reliability properties for blockchains (Antithesis)
antithesis.comยท19hยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Flag this post
Setting up a simple home router with OpenBSD
blog.montgomerie.netยท1dยท
๐ŸŒNetwork Protocols
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.devยท1dยท
Discuss: Hacker News
๐Ÿ”งDevOps
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.comยท19hยท
๐Ÿ”งUnikernel Development
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.comยท22hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Flag this post
CharlotteOS โ€“ An Experimental Modern Operating System
github.comยท3dยท
๐Ÿ”งUnikernel Development
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.comยท19hยท
Discuss: Hacker News
๐Ÿ“ฆModule Systems
Flag this post
Latent Domain Prompt Learning for Vision-Language Models
arxiv.orgยท8h
๐Ÿ“šAutomata Learning
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.orgยท8h
๐Ÿ“šAutomata Learning
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.toยท23hยท
Discuss: DEV
๐Ÿ‘๏ธObservability
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.toยท19hยท
Discuss: DEV
๐Ÿ’ปCLI Tools
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท8h
๐Ÿ“Linear Algebra
Flag this post
Writing an LLM from scratch, part 26 โ€“ evaluating the fine-tuned model
gilesthomas.comยท17hยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.orgยท8h
๐ŸงฉParser Combinators
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.orgยท8h
๐Ÿ”Formal Verification
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท8h
๐Ÿ”CBMC
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.orgยท8h
โ“Existential Types
Flag this post