frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

GPT-5.3-Codex System Card [pdf]

https://cdn.openai.com/pdf/23eca107-a9b1-4d2c-b156-7deb4fbc697c/GPT-5-3-Codex-System-Card-02.pdf
1•tosh•4m ago•0 comments

Atlas: Manage your database schema as code

https://github.com/ariga/atlas
1•quectophoton•7m ago•0 comments

Geist Pixel

https://vercel.com/blog/introducing-geist-pixel
1•helloplanets•10m ago•0 comments

Show HN: MCP to get latest dependency package and tool versions

https://github.com/MShekow/package-version-check-mcp
1•mshekow•18m ago•0 comments

The better you get at something, the harder it becomes to do

https://seekingtrust.substack.com/p/improving-at-writing-made-me-almost
2•FinnLobsien•19m ago•0 comments

Show HN: WP Float – Archive WordPress blogs to free static hosting

https://wpfloat.netlify.app/
1•zizoulegrande•21m ago•0 comments

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

https://mealjar.app
1•melvinzammit•21m ago•0 comments

Sony BMG copy protection rootkit scandal

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

The Future of Systems

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

NASA now allowing astronauts to bring their smartphones on space missions

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

Claude Code Is the Inflection Point

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

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

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

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

https://github.com/AleatorAI/OMNI-BLAS
1•LowSpecEng•31m 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•33m ago•0 comments

AI Agent Automates Google Stock Analysis from Financial Reports

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

Voxtral Realtime 4B Pure C Implementation

https://github.com/antirez/voxtral.c
2•andreabat•39m ago•1 comments

I Was Trapped in Chinese Mafia Crypto Slavery [video]

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

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

https://www.cbp.gov/newsroom/stats/reported-employee-arrests
1•ludicrousdispla•47m 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•52m ago•1 comments

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

https://github.com/thealidev/VectorVision-SVGV
1•thealidev•54m 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•54m 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•57m ago•0 comments

When Albert Einstein Moved to Princeton

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

Agents.md as a Dark Signal

https://joshmock.com/post/2026-agents-md-as-a-dark-signal/
2•birdculture•1h 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•1h ago•0 comments

McCLIM and 7GUIs – Part 1: The Counter

https://turtleware.eu/posts/McCLIM-and-7GUIs---Part-1-The-Counter.html
2•ramenbytes•1h 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•1h ago•0 comments

Ed Zitron: The Hater's Guide to Microsoft

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

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

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

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

https://homeraudioplayer.app
3•cinusek•1h ago•2 comments
Open in hackernews

Homotopy Equivalences

https://bartoszmilewski.com/2025/06/20/weak-homotopy-equivalences/
80•ibobev•7mo ago

Comments

skulk•7mo ago
> In fact such a 2-sphere can be wrapped around the core an arbitrary number of times.

This is really hard for me to visualize. What does it look like for a 2-sphere to wrap around the core multiple times? Also, I would have expected it to be able to wrap around in multiple ways since there are more dimensions here, leading to pi^2(b^3 \ {0}) = Z^2. How would one even prove that this isn't the case?

semolinapudding•7mo ago
There is a nice illustration of a 2-sphere wrapped twice around another 2-sphere on the Wikipedia article for the homotopy groups of spheres [0].

Now, there are many ways of proving that there is only one way (up to homotopy) of wrapping a 2-sphere n times around another 2-sphere, but all of them are fairly involved. The simplest proof comes from an analysis of the Hopf fibration, which roughly describes a relation between the 1-sphere, the 2-sphere and the 3-sphere [1]. Other than this, it follows from the theory of degrees for continuous mappings, or from the Freudenthal suspension theorem and some basic homological computations.

[0] https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres#/me...

[1] https://en.wikipedia.org/wiki/Hopf_fibration

pfortuny•7mo ago
This answer is probably a bit convoluted and possible erroneous. Assume the Earth has radius 2. Use coordinates (t,z) to denote “longitude” and “latitude from the North pole”. Thus (0,0) is the North Pole, (0, pi/2) is the Greenwich equatorial point and (0, pi) is the South pole.

You can have “two” spheres wrapped within the Earth with the following parametrization. Using a first coordinate r to denote the distance to the Earth’s center, so that (1,t,z) denotes the points in the sphere of radius 1:

(a,b)-> (1+cos(b)/2, a,b), for a,b in the interval [0,2pi].

Those are not proper spheres (the radius changes) but the surface so parametrized is homotopic to a sphere “counted two times”.

It is not possible to have a warped sphere which does not cross itself, as far as I can tell (but I might be wrong).

The wikipedia image linked by a sibling comment did not help me…

ETA: the issue is not the dimension (2) of your spheres but the codimension (1) inside the object, and the fact that you have only removed the center of the main sphere. I think (caveat emptor) that if you remove 2 points form the solid sphere, you get Z^2. Similar to the case of surfaces and holes.

lying4fun•7mo ago
this great visualisation of homotopy groups might be helpful

A Sphere is a Loop of Loops (Visualizing Homotopy Groups)

https://youtube.com/watch?v=CxGtAuJdjYI

bluepoint•7mo ago
How dis he do all these animations? Any idea?
lying4fun•7mo ago
pretty sure it’s the manim library 3b1b uses (unable to check for certain right now)
coderatlarge•7mo ago
in terry tao’s recent interview with lex fridman there’s an interesting bit on poincaré conjecture where he goes out of his way not to use these words.
randomtoast•7mo ago
It's a good (and long) interview, and I genuinely enjoyed it. Terry Tao comes across as a truly nice person. However, I noticed that he tends to be somewhat non-committal in his responses. For each question posed, he provides thorough explanations that most with a basic understanding of math can follow. Nevertheless, he rarely makes predictions or offers his opinion. He frequently ends with a remark such as, "Yes, well, it's a challenging problem."

I completely understand where he is coming from. While it's true that "we don't know what we don't know", I would appreciate hearing more about his (opinionated) thoughts regarding the topics discussed during the interview.

williamstein•7mo ago
Fascinating observation. Maybe he is better at research partly by being disciplined to not have such opinions. Having an opinion can bias one’s approach to a problem, making it harder to solve.
coderatlarge•7mo ago
maybe a more mathematical interviewer could hove drawn out more predictions. i appreciate lex for having invited tao. i hope he manages to convince perelman.
xanderlewis•7mo ago
Just about anyone would be a more mathematical interviewer than Fridman. Even when it comes to CS, it’s blatantly obvious he doesn’t know what he’s talking about.

How he got famous is such a mystery…

coderatlarge•7mo ago
starting from knuth + pearl and evolving to potus and india pm is pretty amazing. he obviously brings something that people crave.
randomtoast•7mo ago
I think Lex is prepping his interviews very well. He will ask questions that address the areas in which the interviewee is an expert in. However, you begin to realize that he often struggles to ask follow-up questions that are relevant to what the interviewee has shared on various topics.

This differs in other podcasts. For example, Sean Carroll, a theoretical physicist, conducts interviews with colleagues, who are also theoretical physicists. This enables him to engage in a meaningful conversation with the person being interviewed. When both parties strive to use language that a wider audience can understand, it truly becomes enjoyable.

Syntonicles•7mo ago
It's a lot to ask of two experts to also be excellent communicators for an audience that may struggle to follow along.

I wonder if a potential application of LLMS could be: have two experts have a really interesting but dense conversation with each other, and then translate the conversation into simpler language with interjections for explanations.

It may not be enjoyable for the most general audience, but it would scratch an itch for some of us.

randomtoast•7mo ago
I think we already have something quite similar available. There are AI podcasts that can be generated automatically (Google Notebooks, ElevenLabs, ...). If you input a transcript of an expert conversation and request it to be explained in simpler terms, I think you would closely match what you're looking for.
almostgotcaught•7mo ago
What a weird comment/expectation. He's an academic mathematician not an influencer. What exactly do you expect him to predict - whether the Riemann hypothesis will be proven?
coderatlarge•7mo ago
i think the desire being expressed is to hear tao’s view on what is likely to happen on the various problems . as one of the most prominent mathematicians of our time his personal opinion would be valuable.
almostgotcaught•7mo ago
> what is likely to happen on the various problems

Pure math just doesn't work like that. Literally no one has any idea when XYZ problem will be proven - there's no way to know! It's not like building a stadium or a road or even a company , where you can see or anticipate the coming of a proof before it arrives. It could happen tomorrow or it could happen never. For example, of Hilbert's original 23 problems posed in 1900, three are still open.

coderatlarge•7mo ago
i agree. but if tao has any opinions on what will fall first or with what techniques, i would listen. tao himself says that some problems lack handholds to climb the sheer cliff . it would be nice to know what he views as handholds on the various problems that have them.
srean•7mo ago
You would, but then others would also come out of the woodworks claiming how wrong Tao is (or was, and I told you so).

Even if that's true that's a lot of avoidable drama.

These kinds of conversation works great for pushing addictive engagement but I doubt it does a lot of good.

coderatlarge•7mo ago
perhaps , but having some opinions shared is also a kind of guidance for people who don’t have access to the mathematics establishment. plus, if anyone can just shrug off that type of “told you so” nonsense it surely must be tao.
coderatlarge•7mo ago
as an example here is knuth speculating or expressing opinions on P=NP

https://podcasts.apple.com/us/podcast/lex-fridman-podcast/id...

randomtoast•7mo ago
Some problems are characterized by many mathematicians as exceptionally challenging, to the point that there are currently no known methods or branches of mathematics capable of addressing them. For these issues, it is often proposed that a entirely new branch of mathematics needs to be developed to effectively address these types of challenges.

And then there are other problems for which progress has been made over the past decades. At times, a weaker version may have been proved. Occasionally, new ideas emerge in the field regarding how to advance effectively. An upper or lower bound may be identified and gradually improved over time.

Of course, while no one can predict the future, making an educated guess is of course interesting. I would appreciate it if Terry could share his thoughts on such estimates.

hackandthink•7mo ago
"Grothendieck conjectured that the infinity groupoid captures all information about a topological space up to weak homotopy equivalence"

The homotopy hypothesis has something mystical about it.

https://math.ucr.edu/home/baez/homotopy/homotopy.pdf

m_j_g•7mo ago
vaguely related : synthetic homotopies visualisation tool - https://github.com/marcinjangrzybowski/cubeViz2