Credential Stuffing
ciamweekly.substack.comΒ·3hΒ·
Discuss: Substack
🎯NTLM Attacks
Cactus Language β€’ Semantics 3
inquiryintoinquiry.comΒ·3d
πŸ”’Denotational Semantics
strongtz/i915-sriov-dkms
github.comΒ·16h
πŸ•ΈοΈWASM Preservation
Does Go have types?
youtube.comΒ·3dΒ·
Discuss: r/golang
πŸ”’Linear Types
Free Software Hasn't Won
dorotac.euΒ·20hΒ·
πŸ”ŒOperating system internals
After moving to Alabama for my husband's job, I was lonely. The key to making friends was being the one to make plans.
businessinsider.comΒ·1d
🌱Personal Wikis
I'd like to speak to the Bellcore ManaGeR
ninakalinina.comΒ·1dΒ·
πŸ“ŸTerminals
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.comΒ·3d
πŸ”“Hacking
Novel GPE Conductive Network Design via AI-Driven Polymer Crosslinking Optimization
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”§Cassette Engineering
SQL Shader
github.comΒ·1hΒ·
Discuss: Hacker News
πŸ’ΎSQLite
Building a Task Management MCP Server with Laravel
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”—Constraint Handling
Master Docker & Kubernetes β€” From Zero to Real-World Deployment (limited time)
reddit.comΒ·1dΒ·
Discuss: r/kubernetes
πŸ“¦Container Security
Every Line of Code Is a Philosophy in Disguise
dev.toΒ·3dΒ·
Discuss: DEV
βš–οΈEmulation Ethics
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.toΒ·6dΒ·
Discuss: DEV
⚑SMT Applications
Golang Dependency Inversion β€” A Java Developer's Point of View
dev.toΒ·5dΒ·
Discuss: DEV
πŸ”¬Refinement Types
πŸš€ Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Macros
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.orgΒ·4d
πŸ“Linear Logic
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.orgΒ·3d
✨Effect Handlers
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.ioΒ·2d
πŸ–₯️Modern Terminals
The Rise of Reactive Backends That Adapt in Real Time
dev.toΒ·2dΒ·
Discuss: DEV
🌊Streaming Systems