Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·3d
🧮Algebraic Archives
Flag this post
Simplified model access in Amazon Bedrock
aws.amazon.com·13h
🔒WASM Capabilities
Flag this post
I, Sharpie
⬜Minimalism
Flag this post
‘When I pass piles of fishing nets, I see piles of money’: a one man recycling revolution on the Cornish coast
theguardian.com·5h
⚙️DIY Electronics
Flag this post
"Home Hub" and Tabletop Robot: Apple Apparently Finds Partners – Not in China
heise.de·23h
🎮Switch Archaeology
Flag this post
Mysterious Elephant: a growing threat
securelist.com·23h
🚀Indie Hacking
Flag this post
Nostr and ATProto (2024)
📡Feed Archaeology
Flag this post
Chicago's viral 'rat hole' was not made by a rat after all, new study finds
phys.org·17h
💧Manuscript Watermarks
Flag this post
The Modern APIs Roundtable: How AI Creates New Challenges for API Security
thenewstack.io·15h
🔌Interface Evolution
Flag this post
Tech With Tim: My top 5 python programming course recommendations
🪟Awesome windows command-line
Flag this post
Beating Harmful Stereotypes Through Facts: RAG-based Counter-speech Generation
arxiv.org·1d
📝ABNF Extensions
Flag this post
Krish Naik: Open AI Recent Announcement- App Inside Chatgpt, Agentkit, Sora 2
🖥️Terminal Renaissance
Flag this post
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
🚀Indie Hacking
Flag this post
Assessing LLM Reasoning Through Implicit Causal Chain Discovery in Climate Discourse
arxiv.org·5h
🧠Computational Logic
Flag this post
LMDE 7 Officially Released with Debian 13 Base
linuxiac.com·1d
🔌Operating system internals
Flag this post
Local Timescale Gates for Timescale-Robust Continual Spiking Neural Networks
arxiv.org·5h
🧠Machine Learning
Flag this post
🧠Introducing OrKa Cloud API
🔄Archival Workflows
Flag this post
Loading...Loading more...