memories of .us
computer.ripยท12h
๐งPLT
Flag this post
Gotta theme them all
joelchrono.xyzยท8h
๐formal specification
Flag this post
A person at the other end
frontendmasters.comยท12h
๐Static Analysis
Flag this post
Jake Hamilton (@jakehamilton@hachyderm.io)
hachyderm.ioยท1d
๐คAI
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
๐งPLT
Flag this post
ClickFix may be the biggest security threat your family has never heard of - Ars Technica
news.google.comยท22h
โกZig
Flag this post
Jim Weirich's Short License
๐คAI
Flag this post
AIโs Hidden Weak Spot: How Hackers Are Turning Smart Assistants into Secret Spies
blogger.comยท50m
๐คAI
Flag this post
Teach Your AI to Think Like a Senior Engineer
every.toยท4d
๐คAI
Flag this post
Claudes Analysis of the Survey (112 users)
๐คAI
Flag this post
From Theora to AV1: Transforming Video Workflows in Godot 4 (godotfest2025)
cdn.media.ccc.deยท2h
๐คAI
Flag this post
Show HN: LeanSpec - Built in 10 days using the specs it defines
๐formal specification
Flag this post
I built a production-ready backend with NestJS & Prisma, focusing on clean architecture. Here's a look at the structure.
๐Static Analysis
Flag this post
Automatic Paper Reviewing with Heterogeneous Graph Reasoning over LLM-Simulated Reviewer-Author Debates
arxiv.orgยท5h
๐งPLT
Flag this post
I made a Pythonic scripting language that compiles to native binaries (Otterlang)
๐งPLT
Flag this post
Categorical Emotions or Appraisals - Which Emotion Model Explains Argument Convincingness Better?
arxiv.orgยท1d
๐งPLT
Flag this post
Loading...Loading more...