Cisco C1000 setup
cisco.com·10h·
Discuss: r/homelab
🌍Distributed Systems
Flag this post
Advanced quantum network could be a prototype for the quantum internet
newscientist.com·19h
🔐Cryptography
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·10h·
Discuss: r/programming
🧠Memory Management
Flag this post
Credentials Evidence or Simulate
preludes.eu·1d·
Discuss: Hacker News
🔐Cryptography
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·19h·
Discuss: Hacker News
Functional Programming
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
github.com·8h·
Discuss: r/golang
🧮Programming Language Theory
Flag this post
HTB: Dump
0xdf.gitlab.io·20h
🦀Rust
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·7h·
Discuss: DEV
👐Open Source Software
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·7h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
🦀Rust
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
🔗Parser Combinators
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·14h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
gRPC Python, AsyncIO and multiprocess
blog.est.im·1d
Concurrency
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·11h
🔗Parser Combinators
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·9h
Functional Programming
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·3h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Launching DeFi Without Backend Chaos
dev.to·18h·
Discuss: DEV
Concurrency
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·1d
🧮Programming Language Theory
Flag this post