Value in Formal Theory Land
4gravitons.comΒ·1d
πŸ—οΈConstructive Analysis
First release: Popcorn – Bring Elixir to the browser
blog.swmansion.comΒ·11hΒ·
Discuss: Hacker News
πŸ•ΈοΈWASM Archives
Interesting Number Paradox
en.wikipedia.orgΒ·16hΒ·
Discuss: Hacker News
πŸ”²Proof Irrelevance
Jibril Runtime Security v2.4: Programmable Reactions to OS Security Events
jibril.garnet.aiΒ·1dΒ·
Discuss: Hacker News
πŸ›‘οΈeBPF Security
From Prompt Engineering to Context Engineering
adaline.aiΒ·1dΒ·
Discuss: Hacker News
πŸ”—Constraint Handling
arwen - cross-platform patching of the shared libraries ( patchelf && install_name_tool in rust)
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
How to Create a Web Search AI Agent with AWS Bedrock
dev.toΒ·1dΒ·
Discuss: DEV
Ξ»Lambda Formalization
The Polymath Tool for All Your Audio and Document Needs
dev.toΒ·1dΒ·
Discuss: DEV
πŸŽ™οΈWhisper
Neural Machine Unranking
arxiv.orgΒ·2d
🧠Learned Indexing
Percentile-Based Deep Reinforcement Learning and Reward Based Personalization For Delay Aware RAN Slicing in O-RAN
arxiv.orgΒ·2d
β§—Information Bottleneck
Using AI in Software Development: What Techniques Increase Productivity?
dev.toΒ·1dΒ·
Discuss: DEV
⚑Proof Automation
Building Code Craft in 6 Days: My AI Hackathon Journey with Bolt
dev.toΒ·4dΒ·
Discuss: DEV
πŸš€Indie Hacking
How to use β€œCaido Workflows” to scan for anything
infosecwriteups.comΒ·7h
🌐NetworkProtocols
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Text Parsing
All the Details and Changes That Came With Rust 1.82.0
hackernoon.comΒ·20h
πŸ¦€Rust Borrowing
Sticking to the Mean: Detecting Sticky Tokens in Text Embedding Models
arxiv.orgΒ·2d
πŸ“Text Parsing
πŸš€ Just discovered this evening productivity hack:
dev.toΒ·13hΒ·
Discuss: DEV
⛏️File Carving
AI's Bold Future in Cybersecurity Threats
dev.toΒ·12hΒ·
Discuss: DEV
🎯Threat Hunting
βš–οΈ Chapter 4: Merits & Demerits β€” The Duality of Intelligence
dev.toΒ·7hΒ·
Discuss: DEV
🌍Cultural Algorithms
πŸ“ˆ Code quality improvement after switching to workflow optim
dev.toΒ·3hΒ·
Discuss: DEV
βš™οΈBatch Processing