Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy
blog.adacore.comยท1dยท
Discuss: Hacker News
๐Ÿ”Capability Systems
Flag this post
Beckett 01 ยท Version Control for Space and Structure
inkandswitch.comยท2dยท
Discuss: Hacker News
๐ŸŽจCreative Coding
Flag this post
Introducing HTTP Anomaly Rank
portswigger.netยท1d
๐Ÿ”“Binary Exploitation
Flag this post
Acme: A User Interface for Programmers (1994)
doc.cat-v.orgยท3dยท
๐Ÿ’ปTerminal Tools
Flag this post
Stop the Bleed: 8 Ways to Prevent Replit Agent from Burning Through Your Budget
weavy.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฌPrompt Engineering
Flag this post
Show HN: Cracked โ€“ a TUI to download crackmes.one challenges easily
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Binary Exploitation
Flag this post
Generative Artificial Intelligence in Qualitative Research Methods: Between Hype and Risks?
arxiv.orgยท15h
๐Ÿ’ฌPrompt Engineering
Flag this post
A Privacy-Preserving Federated Learning Method with Homomorphic Encryption in Omics Data
arxiv.orgยท1d
๐Ÿ”ขHomomorphic Encryption
Flag this post
Mastering Logging in Python
dev.toยท5dยท
Discuss: DEV
๐Ÿ“šTechnical Writing
Flag this post
BARD10: A New Benchmark Reveals Significance of Bangla Stop-Words in Authorship Attribution
arxiv.orgยท15h
๐Ÿ“NLP
Flag this post
MongoDB Query Optimization: How I Reduced Response Time from 2 Seconds to 200ms
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Query Optimization
Flag this post
Python Web Frameworks: Crafting the Future of Web Development
dev.toยท3dยท
Discuss: DEV
โšกFastAPI
Flag this post
I Built Convodb So You Can Talk to Your Database (And It Talks Back With 4 AI Agents)
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ฐTigerBeetle
Flag this post
Containerizing Mobile ML Models: Running On-Device Inference with Docker and TensorFlow Lite
dev.toยท2dยท
Discuss: DEV
๐Ÿš€MLOps
Flag this post
๐Ÿš€ How to Build and Deploy ChatGPT Apps with MCP Servers
dev.toยท2hยท
Discuss: DEV
๐Ÿ”ŒgRPC
Flag this post
NILC: Discovering New Intents with LLM-assisted Clustering
arxiv.orgยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
From TCP to Express: Understanding Request Lifecycles and Cancellation
dev.toยท3dยท
Discuss: DEV
๐ŸŒTCP/IP
Flag this post
Hierarchical Spatial-Frequency Aggregation for Spectral Deconvolution Imaging
arxiv.orgยท1d
๐Ÿ‘๏ธComputer Vision
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.orgยท2d
๐Ÿ”—Dependent Types
Flag this post