frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf]

https://sarajuhosova.com/assets/files/2025-icpc.pdf
1•matt_d•2h ago

AI-powered IDEs are quietly changing how we build software

https://neciudan.dev/cursor-ai-the-future-of-coding
1•neciudan•2m ago•2 comments

Show HN: I made a roommate finder app for students to simplify house searching

https://www.roomiehunt.com/
1•developer_vicky•2m ago•1 comments

Ending Cooperative Agreements' Funding to Princeton University

https://www.commerce.gov/news/press-releases/2025/04/ending-cooperative-agreements-funding-princeton-university
2•lastdong•6m ago•0 comments

Running Qwen3-30B-A3B on ARM CPU of Single-Board Computer

https://old.reddit.com/r/LocalLLaMA/comments/1kapjwa/running_qwen330ba3b_on_arm_cpu_of_singleboard/
2•tosh•8m ago•0 comments

Authentic Travel Blog

https://www.summer-ends.de
1•schluessel•8m ago•1 comments

Monty Python and the Holy Grail turns 50

https://arstechnica.com/culture/2025/04/monty-python-and-the-holy-grail-turns-50/
1•chha•8m ago•0 comments

Agency, taste, and new creator tools

https://subtle.so/agency-taste-and-new-creative-tools.html
1•subtlesoftware•9m ago•0 comments

Sentinel: AI agent for generating PubMed searches

https://github.com/EbodShojaei/sentinel
1•rainmans•14m ago•0 comments

GDPNow Atlanta Fed (Latest estimate: -2.7 percent)

https://www.atlantafed.org/cqer/research/gdpnow?date=April29
2•INGELRII•16m ago•0 comments

Unsloth Dynamic v.20 GGUFs

https://unsloth.ai/blog/dynamic-v2
1•tosh•18m ago•0 comments

Run and Fine-Tune Qwen3

https://unsloth.ai/blog/qwen3
1•tosh•18m ago•0 comments

End-to-end private LLM inference

https://tinfoil.sh/inference
2•computerbuster•19m ago•0 comments

Regex Affordances

https://nedbatchelder.com/blog/202504/regex_affordances.html
1•rbanffy•20m ago•0 comments

Show HN: Built a API that returns your GitHub Contribution chart

https://github.com/deep-vinci/git-graph-api
1•deepvinci•20m ago•0 comments

Show HN: CodeClarity – an open source source code analysis platform

https://www.codeclarity.io/
1•ceherzog•23m ago•0 comments

The Extended Mind and Challenges with LLM's

https://www.tommyjepsen.com/blog/thinking-with-ai
1•tommyjepsen•27m ago•0 comments

Optimizing eBPF I/O latency accounting when running 37M IOPS, on 384 CPUs

https://tanelpoder.com/posts/optimizing-ebpf-biolatency-accounting/
2•tanelpoder•30m ago•0 comments

China sends a stern video message to Trump: We won't 'kneel down'

https://www.cnn.com/2025/04/29/business/china-video-trump-trade-war/index.html
6•cruzcampo•33m ago•2 comments

AI Tool Is Giving Away $16,000 to Non-Coders (Last Chance to Enter)

https://medium.com/@mosegaard622/this-ai-tool-is-giving-away-16-000-to-non-coders-last-chance-to-enter-2bb7f2c8d1d5
1•MaximillianTee•34m ago•0 comments

Why ZKM Chose MIPS32r2 over RISC-V for ZkMIPS

https://www.zkm.io/blog/why-zkm-chose-mips32r2-over-risc-v-for-zkmips
1•BrotherBen•41m ago•0 comments

I Open Sourced Deepwiki

https://github.com/AsyncFuncAI/deepwiki-open
3•sashimikun•45m ago•0 comments

Giving V8 a Heads-Up: Faster JavaScript Startup with Explicit Compile Hints

https://v8.dev/blog/explicit-compile-hints
1•adzm•45m ago•0 comments

Show HN: I built a Paper Trading multiplayer room

2•ak_dev•48m ago•0 comments

Why Even Try If You Have A.I.?

https://www.newyorker.com/culture/open-questions/why-even-try-if-you-have-ai
5•Kaibeezy•50m ago•7 comments

Ask HN: Will we still see new programming frameworks?

2•jtswole•50m ago•1 comments

Ask HN: Has anyone switched from NextAuth.js to BetterAuth?

1•humphrey_liu•59m ago•0 comments

Python Client for the WordPress REST API

https://github.com/innerkorehq/wp-api-client
2•gagan2020•1h ago•1 comments

LIFT+: Lightweight Fine-Tuning for Long-Tail Learning

https://arxiv.org/abs/2504.13282
1•PaulHoule•1h ago•0 comments

How Can Companies Meet Energy Management Demands – A Graph Approach

https://memgraph.com/blog/how-can-companies-meet-energy-management-demands-in-the-new-era-a-graph-approach
2•LLcolD•1h ago•0 comments

Harvard develops AI for Human Memory

https://memorious.io
1•spandan_madan•1h ago•0 comments