Hazel (YC W24) Is Hiring Full Stack Engineers
ycombinator.comยท22hยท
Discuss: Hacker News
๐Ÿ“formal specification
Flag this post
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
jamesoswald.devยท2dยท
Discuss: Hacker News
๐Ÿ”ง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
github.comยท20hยท
Discuss: Hacker News
๐Ÿค–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
React timer app not resetting duration correctly between sections (auto-advance + pre-roll issues)
reddit.comยท1dยท
Discuss: r/reactjs
๐Ÿฆ€Rust
Flag this post
Teach Your AI to Think Like a Senior Engineer
every.toยท4d
๐Ÿค–AI
Flag this post
On 4.1 Disruption
reddit.comยท14hยท
Discuss: r/ChatGPT
๐Ÿ”งPLT
Flag this post
Claudes Analysis of the Survey (112 users)
reddit.comยท1dยท
Discuss: r/ClaudeAI
๐Ÿค–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
github.comยท20hยท
Discuss: Hacker News
๐Ÿ“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.
reddit.comยท2dยท
Discuss: r/node
๐Ÿ”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)
reddit.comยท3dยท
Discuss: r/opensource
๐Ÿ”งPLT
Flag this post
Categorical Emotions or Appraisals - Which Emotion Model Explains Argument Convincingness Better?
arxiv.orgยท1d
๐Ÿ”งPLT
Flag this post
AI-Driven Microfluidic Optimization for High-Throughput Single-Cell Protein Production
dev.toยท20hยท
Discuss: DEV
๐Ÿ“formal specification
Flag this post