Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs
Software Freedom Conservancy gives its first Distinguished Service Award in Software Freedom to Lance Albertson
sfconservancy.orgยท1d
3D Printed Tactile Maps
maproomblog.comยท3h
DCP-o-matic โข Re: Cloudflare / Anubis
dcpomatic.comยท1d
Going to DEFCON? See my talk, "We are currently clean on OPSEC": The Signalgate Saga
micahflee.comยท2d
Cybersecurity Snapshot: AI Security Trails AI Usage, Putting Data at Risk, IBM Warns, as OWASP Tackles Agentic AI App Security
tenable.comยท2d
AI Tools Gave False Information About Tsunami Advisories
slashdot.orgยท23h
More From Casual
irreal.orgยท3d
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.orgยท5d
Towards Locally Deployable Fine-Tuned Causal Large Language Models for Mode Choice Behaviour
arxiv.orgยท4d
Loading...Loading more...