frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: I Hacked My Family's Meal Planning with an App

https://mealjar.app
1•melvinzammit•37s ago•0 comments

Sony BMG copy protection rootkit scandal

https://en.wikipedia.org/wiki/Sony_BMG_copy_protection_rootkit_scandal
1•basilikum•3m ago•0 comments

The Future of Systems

https://novlabs.ai/mission/
2•tekbog•3m ago•1 comments

NASA now allowing astronauts to bring their smartphones on space missions

https://twitter.com/NASAAdmin/status/2019259382962307393
2•gbugniot•8m ago•0 comments

Claude Code Is the Inflection Point

https://newsletter.semianalysis.com/p/claude-code-is-the-inflection-point
2•throwaw12•10m ago•1 comments

Show HN: MicroClaw – Agentic AI Assistant for Telegram, Built in Rust

https://github.com/microclaw/microclaw
1•everettjf•10m ago•2 comments

Show HN: Omni-BLAS – 4x faster matrix multiplication via Monte Carlo sampling

https://github.com/AleatorAI/OMNI-BLAS
1•LowSpecEng•10m ago•1 comments

The AI-Ready Software Developer: Conclusion – Same Game, Different Dice

https://codemanship.wordpress.com/2026/01/05/the-ai-ready-software-developer-conclusion-same-game...
1•lifeisstillgood•12m ago•0 comments

AI Agent Automates Google Stock Analysis from Financial Reports

https://pardusai.org/view/54c6646b9e273bbe103b76256a91a7f30da624062a8a6eeb16febfe403efd078
1•JasonHEIN•16m ago•0 comments

Voxtral Realtime 4B Pure C Implementation

https://github.com/antirez/voxtral.c
1•andreabat•18m ago•0 comments

I Was Trapped in Chinese Mafia Crypto Slavery [video]

https://www.youtube.com/watch?v=zOcNaWmmn0A
1•mgh2•24m ago•0 comments

U.S. CBP Reported Employee Arrests (FY2020 – FYTD)

https://www.cbp.gov/newsroom/stats/reported-employee-arrests
1•ludicrousdispla•26m ago•0 comments

Show HN: I built a free UCP checker – see if AI agents can find your store

https://ucphub.ai/ucp-store-check/
2•vladeta•31m ago•1 comments

Show HN: SVGV – A Real-Time Vector Video Format for Budget Hardware

https://github.com/thealidev/VectorVision-SVGV
1•thealidev•33m ago•0 comments

Study of 150 developers shows AI generated code no harder to maintain long term

https://www.youtube.com/watch?v=b9EbCb5A408
1•lifeisstillgood•33m ago•0 comments

Spotify now requires premium accounts for developer mode API access

https://www.neowin.net/news/spotify-now-requires-premium-accounts-for-developer-mode-api-access/
1•bundie•36m ago•0 comments

When Albert Einstein Moved to Princeton

https://twitter.com/Math_files/status/2020017485815456224
1•keepamovin•37m ago•0 comments

Agents.md as a Dark Signal

https://joshmock.com/post/2026-agents-md-as-a-dark-signal/
2•birdculture•39m ago•0 comments

System time, clocks, and their syncing in macOS

https://eclecticlight.co/2025/05/21/system-time-clocks-and-their-syncing-in-macos/
1•fanf2•41m ago•0 comments

McCLIM and 7GUIs – Part 1: The Counter

https://turtleware.eu/posts/McCLIM-and-7GUIs---Part-1-The-Counter.html
2•ramenbytes•43m ago•0 comments

So whats the next word, then? Almost-no-math intro to transformer models

https://matthias-kainer.de/blog/posts/so-whats-the-next-word-then-/
1•oesimania•44m ago•0 comments

Ed Zitron: The Hater's Guide to Microsoft

https://bsky.app/profile/edzitron.com/post/3me7ibeym2c2n
2•vintagedave•47m ago•1 comments

UK infants ill after drinking contaminated baby formula of Nestle and Danone

https://www.bbc.com/news/articles/c931rxnwn3lo
1•__natty__•48m ago•0 comments

Show HN: Android-based audio player for seniors – Homer Audio Player

https://homeraudioplayer.app
3•cinusek•48m ago•2 comments

Starter Template for Ory Kratos

https://github.com/Samuelk0nrad/docker-ory
1•samuel_0xK•50m ago•0 comments

LLMs are powerful, but enterprises are deterministic by nature

2•prateekdalal•54m ago•0 comments

Make your iPad 3 a touchscreen for your computer

https://github.com/lemonjesus/ipad-touch-screen
2•0y•59m ago•1 comments

Internationalization and Localization in the Age of Agents

https://myblog.ru/internationalization-and-localization-in-the-age-of-agents
1•xenator•59m ago•0 comments

Building a Custom Clawdbot Workflow to Automate Website Creation

https://seedance2api.org/
1•pekingzcc•1h ago•1 comments

Why the "Taiwan Dome" won't survive a Chinese attack

https://www.lowyinstitute.org/the-interpreter/why-taiwan-dome-won-t-survive-chinese-attack
2•ryan_j_naughton•1h ago•0 comments
Open in hackernews

Ask HN: How do people validate deep self-study in math or CS?

3•_willhf•1mo ago
I recently decided I wanted to better understand modern cryptography and zero-knowledge proofs. Although I took mathematics courses in college, that was years ago, so I began working through an undergraduate abstract algebra textbook on my own, reading and solving problems most evenings.

I made progress, but found it difficult to stay motivated without a clear external benchmark. I kept wishing there were a standardized, rigorous abstract algebra examination I could register for in advance. Something that would motivate sustained study and provide an objective measure of understanding, much like signing up for a marathon months ahead of time.

As far as I can tell, exams like this largely do not exist outside formal degree programs. That raised a question for me: why not? Would there be value in a small set of written subject matter exams, for example linear algebra, abstract algebra, or algorithms, designed to assess depth of understanding rather than speed or memorization?

I have heard and investigated the common answers, such as GRE subject tests, MOOCs, certifications, and "just build things," but none of those felt quite like what I was looking for. I may be missing something.

I am trying to understand whether this idea is fundamentally flawed, impractical, or simply undesirable. I would appreciate thoughtful feedback. Thanks.

Comments

mamonster•1mo ago
Just look at qualifying exams for some PhD program in the relevant area.

For example, if we take abstract algebra (I assume you mean rings, groups and fields), I found this

https://www.math.kent.edu/~white/qual/

I had a look at for example the Aug19 one, 80% of the problems are doable for a 3rd year Bachelor student and close to what you would see in a term exam for the topic (except for the Galois stuff because AFAIK Galois theory is a separate optional course in most undergrad degrees).

_willhf•1mo ago
Thanks for the reply. That looks like a great resource, and I’ll check it out.

What I was missing is the verification aspect. Someone can work through old quals on their own, but there’s no standard way to demonstrate to a third party that they actually met a particular bar, short of enrolling in a program. I’m curious whether people see that gap as something that matters, or whether it’s simply not something most people care about.