Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🧩Puzzles
Flag this post
Ringen: He Must Be a Wizard
bluerenga.blog·1d
🧩Puzzles
Flag this post
My strong belief is that you should be able to ask a program how it wants to be talked to, so you can:
bsky.app·4h·
Discuss: Bluesky
🧩Puzzles
Flag this post
Auto-sizing images in Kitty (if it fits it sits?)
babbagefiles.xyz·2d
🧩Puzzles
Flag this post
What if history ended?
reddit.com·2h·
🌍Global news
Flag this post
Once upon a time this blog was powered by make
refp.se·4d·
Discuss: Hacker News
🧩Puzzles
Flag this post
React timer app not resetting duration correctly between sections (auto-advance + pre-roll issues)
reddit.com·1d·
Discuss: r/reactjs
👨Cooking
Flag this post
AI Sweeps Through Newsrooms, but Is It a Journalist or a Tool?
bespacific.com·30m
🌍Global news
Flag this post
I built a full-text search library for my iOS apps
github.com·2d·
Discuss: r/swift
🧩Puzzles
Flag this post
Reopening?
nordot.app·1d
🗽NYC politics
Flag this post
Bumble Berry Pi: a cheap, easy-to-build Raspberry Pi Handheld Cyberdeck
blog.adafruit.com·1d
🧩Puzzles
Flag this post
Viwoods AiPaper Reader is a phone-sized eReader with Android 16 and 4G cellular support
liliputing.com·1d
🌍Global news
Flag this post
Getting Started With Queryable Encryption With the MongoDB EF Core Provider
dev.to·2d·
Discuss: DEV
🧩Puzzles
Flag this post
I built an open-source tool that turns your local code into an interactive knowledge base
reddit.com·1d·
Discuss: r/webdev
🧩Puzzles
Flag this post
TikTok Inc. v. Garland
harvardlawreview.org·1d
🌍Global news
Flag this post
CGLE: Class-label Graph Link Estimator for Link Prediction
arxiv.org·22h
🧩Puzzles
Flag this post
How Bills are punishing defenses with this offensive formation: Watch video
nytimes.com·3d
🧩Puzzles
Flag this post
Perspectives on Public Space: A JSTOR Daily Podcast
daily.jstor.org·13h
🎭NYC events
Flag this post