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•9m ago•0 comments

Atlas: Manage your database schema as code

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

Geist Pixel

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

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

https://github.com/MShekow/package-version-check-mcp
1•mshekow•23m 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•24m ago•0 comments

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

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

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

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

Sony BMG copy protection rootkit scandal

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

The Future of Systems

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

NASA now allowing astronauts to bring their smartphones on space missions

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

Claude Code Is the Inflection Point

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

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

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

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

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

AI Agent Automates Google Stock Analysis from Financial Reports

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

Voxtral Realtime 4B Pure C Implementation

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

I Was Trapped in Chinese Mafia Crypto Slavery [video]

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

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

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

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

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

When Albert Einstein Moved to Princeton

https://twitter.com/Math_files/status/2020017485815456224
1•keepamovin•1h 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

Algebraic Semantics for Machine Knitting

https://uwplse.org/2025/03/31/Algebraic-Knitting.html
246•PaulHoule•9mo ago

Comments

ruined•9mo ago
the formalization of textile programming really brings computer science full-circle. as a neoluddite i approve
speerer•9mo ago
...as demonstrated by the analogy in the original post here, where he explains the concrete concept of knitting stitches by reference to the much more abstract concept of garbage collection in computer programming!
dwlg00•9mo ago
Braid groups are really interesting, and they also come up in fluid mixing: https://people.math.wisc.edu/~thiffeault/talks/gordon2022.pd...
tucnak•9mo ago
The slides are a blast, thanks

Classic mathematicians!

bregma•9mo ago
Back in the 1980s I was taking a foundational computer science course in which we derived Goedel's result using Cantor diagonalization. Excellent course. We were watching the TV version of Hitchhiker's Guide to the Galaxy at the time, too. One day I had the realization that since any recursively enumerable function could be interpreted as a computer program (given the right interpreter), that the sweater I was wearing was in fact possibly a computer program, and that all knitting (and some crocheting) was in fact just a manifestation of code in another language.

I then went on to realize any enumerable set could be similarly interpreted, including the entire countable population of Earth. And we already had the answer (42), but what was the question?

gwern•9mo ago
I suppose if nothing else, you could encode Wang tiles (https://en.wikipedia.org/wiki/Wang_tile) into knitting and then that's Turing-complete? Or would there be some better CA to encode?
internet_rand0•9mo ago
sorry, 42 is not gonna take us much farther

42 is a stand in for 41 and 43 which are some twin prime

for me to further elaborate on this crazy idea that haunts me (I must admit I also haunt these ideas) requires a twin prime theorem which we are still waiting for in 2025....

Y_Y•9mo ago
Does anyone know a good emulator for knitting machines? I'd love to play with these programs, but I'd like to get some practice before I start messing with real wool.
MikeTheGreat•9mo ago
Possibly off-topic, but if you're looking to reduce your costs you should look at acrylic yarn. There's also cotton yarn if you're looking for something less scratchy :)
camblomquist•9mo ago
Someone else mentioned the acrylic, I'm going to mention Scarlett Sparks' Open Source Knitting Machine if part of the fear is actually investing in the machine https://github.com/ScarlettSparks/KnittingMachine
kappasan•9mo ago
Speaking of computational knitting, I recently learned about "solid knitting" [1] which is awesome.

https://www.cs.cmu.edu/news/2024/solid-knitting

fc417fc802•9mo ago
That also links to an older piece about a software project for knitting machines that's really neat. I've been wondering for a while how difficult it would be to build a primitive one at home.

https://www.cs.cmu.edu/news/2018/software-automatically-gene...

nolamark•9mo ago
As for build a primitive one at home, (assuming one == machine controlled knitting machine) see the journey of Gerard Rubio from OpenKnit to Kniterate

https://www.labonthecheap.com/the-openknit-machine/ https://www.kniterate.com

nolamark•9mo ago
If out are willing to move the carriage back and forth manually, and transfer yarn manually (for increases and decreases, etc.), the route to go is buy an electronic Brother machine and replace the electronics. The old standard was the AYAB board that you constructed yourself. (the evilmadscientist.com version is no longer in production) https://www.ravelry.com/groups/ayab for help and to meet fellow travelers. (circuit board and components: https://www.etsy.com/shop/redpinkgreen)

The less DIY more professional looking way is the recently released eKnitter, which replaces the electronics, but in a manner that more closely resembles the original form factor of the machine. https://eknitter.com/produkt/eknitter/

nolamark•9mo ago
Okay, one last project to share. If you are more a start from zero sort of person, see this wonderful set of videos on designing a 3d printable manual knitting machine. Realistically, more of a wonderful educational process you should see, than an economically viable one. (Meaning you can buy used mass produced hardware for cheaper.)

https://www.youtube.com/watch?v=kUKiXIdw2pI&list=PLWDnfcUpk7...

fc417fc802•9mo ago
I'm really glad I scrolled back a ways. This is awesome (so are the others ofc).
WillAdams•9mo ago
Still kicking myself for not buying a "3D Knitted Chisel Roll" back when Lee Valley had them --- last I checked it might have been possible to import one from Europe, but having a hard time justifying that.....
t-trash•9mo ago
Reminds me of the work in the Carnegie Melon Textile Lab on the semantics and scheduling for knitting machine compilers (https://textiles-lab.github.io/publications/2023-knitout-sem...)
nolamark•9mo ago
"This work is in part a collaboration with folks currently and previously at CMU, including Jenny Lin, Tom Price, Jim McCann, and Hannah Fechtner."
statusfailed•9mo ago
I've been hoping for a nice concrete example of braided monoidal categories for ages, who knew that the best one was string diagrams that represent actual string! Great post!

@the author - I assume you're aware that morphisms in symmetric monoidal categories can be represented using cospans of hypergraphs - do you know if there's a similar combinatorial representation for braided monoidal categories?