Defining Types for a Simple HTTP Server
mmhaskell.comยท3d
๐Type Theory
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท2d
๐ญProgram Synthesis
Flag this post
PolyForm Noncommercial 2.0.0-pre.1
๐Open Source
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
๐ฑEdge AI
Flag this post
Package Your Product Thinking Into a Claude Skill
pub.towardsai.netยท3d
๐ญProgram Synthesis
Flag this post
Building UIs in the Terminal With Python Textual
realpython.comยท2d
๐ปTerminal Tools
Flag this post
KoTaP: A Panel Dataset for Corporate Tax Avoidance, Performance, and Governance in Korea
arxiv.orgยท3h
๐Data Science
Flag this post
WorkTUImer - TUI for effortless time-tracking
๐ชTauri
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.comยท13h
๐ฌPrompt Engineering
Flag this post
Why You Should Try Vite For Your Next Project (and Forget About Webpack)
๐Web Development
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
๐พRetro Computing
Flag this post
GitHub Copilot CLI 101: How to use GitHub Copilot from the command line
github.blogยท11h
โจ๏ธCLI Development
Flag this post
Loading...Loading more...