All Questions
F*: A proof oriented general purpose programming language
ashleykane431
10 0 65
42
Ruby 3.4.0 Released
madisonr121
5 0 60
think
Semantic search for ArXiv papers
joshuasummer441
4 0 43
tech
Holiday Experiences and Memories
jameshawk111
16 0 76
world
A Taping of 'Curb Your Enthusiasm' Saved an Innocent Man from Death Row
jacksonhall081
18 0 29
hello
CRT Simulation in a GPU Shader
katherinehayes1
2 0 26
tech
Ornamented Christmas Tree and Mathematical Art
amelia_morgan1
1 0 18
think
macOS menu bar app showing ISS urine tank status
jonathanxu451
63 0 196
tech
Trying out QvQ – Qwen's new visual reasoning model
lukeanderson761
3 0 29
42
Operational PGP
jacksonhall081
12 0 26
42
Hot Questions
Onlook – Open-source, visual-first Cursor for designers
Concerns about the effectiveness and impact of generative AI in coding and software development
Cloudflare builds OAuth with Claude and publishes all the prompts
EU Commission's refusal to disclose authors behind mass surveillance proposal
Meta and Yandex de-anonymizing Android users' web browsing identifiers
FFmpeg merges WebRTC support