PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.orgยท7h
๐Shell Languages
Flag this post
FAWK: LLMs can write a language interpreter
๐ชOCaml
Flag this post
Protecting Your Cloud Data: How Tenable Cloud Security Guards Your Most Valuable Assets in the Cloud
tenable.comยท2d
๐ก๏ธSecurity Type Systems
Flag this post
Show HN: GuardiAgent โ Sandboxing / permission model for MCP servers
๐ก๏ธCapability VMs
Flag this post
๐ Type Alias in TypeScript: Why I Use Them Every Day (And How They Compare to Interfaces)
๐งAPI Design
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
๐กNetwork Serialization
Flag this post
4 landmark software features that were created by accident
howtogeek.comยท10h
๐Self-Documenting Code
Flag this post
The API Dispatch #7: Not your model's model
bitoff.orgยท1d
๐กProtocol Buffers
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.comยท1d
โ๏ธInference Rules
Flag this post
10000
jro.sgยท21h
๐ฆExecutable Size
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
๐Row Typing
Flag this post
Cyber Humanities for Heritage Security
cacm.acm.orgยท1d
๐บCode Archeology
Flag this post
A Senior Dev's Guide to Angular Architecture: Mastering the "Smart vs. Dumb" Component Pattern
๐งAPI Design
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.comยท58m
๐ฌInteractive REPLs
Flag this post
All you need to know about Exchange Online Admin API (or how to run cmdlets without PowerShell)
michev.infoยท1d
๐SSA Form
Flag this post
Loading...Loading more...