frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

I created a free Analysis textbook

https://openkira.org/
3•SukkrivaaVijaya•42m ago

Comments

SukkrivaaVijaya•42m ago
Hi all,

Just wanted to share that I created a free textbook (Introduction to Proof and Analysis) on a website that I created.

I struggled loads in university (I did a maths degree) and a lot of it was due to my astonishingly low working memory. I am now a maths teacher so I have used my pedagogical training to write a new type of textbook and it is on this website here.

I would absolutely love feedback on what you think, it is a massive one but I have used modern pedagogical theory to break it down into chunks and each question has been meticulously chosen. Also, I have full worked solutions for every question (the solutions themselves run to over 600 pages while the textbook is over 500 pages).

I hope people find it useful and would love advice from the community on how I can share this free resource.

DeepSeek Harness vs. LangChain Deep Agents – what's the actual difference?

1•sockstack•1m ago•0 comments

Show HN: I built a local-first, open-source tab manager for Chrome

https://github.com/timgioh/Tab-Shield-Saver-Protect-Stash-Tabs
1•Konstantinsio•1m ago•0 comments

Show HN: A stupid simple way to manage and publish your AI generated documents

https://docstash.ai/
1•itskishankumar•1m ago•0 comments

Meta pays pro-Meta influencers when countries look into teen safety on Instagram

https://www.theguardian.com/technology/2026/aug/18/meta-pays-influencers-teen-social-media-ban
2•mikelgan•2m ago•1 comments

The Cop Who Took on Flock

https://www.wired.com/story/the-cop-who-took-on-flock/
1•Brajeshwar•2m ago•0 comments

Software Factories Are Distributed Systems

https://www.sjarmak.ai/writing/software-factories-are-distributed-systems/
1•sjarmak•2m ago•0 comments

Show HN: NexusMem – not a vector DB: it indexes shell exit codes and Git diffs

https://github.com/yaminbkk/NexusMem
1•yamin_bakoh•3m ago•0 comments

Mecanicien Ia – Ecommerce

https://piecemotooccasion.eu/
1•tonydevweb•4m ago•0 comments

We Should Start Preparing for Human Resurrection

https://joshbocanegra.medium.com/we-should-start-preparing-for-human-resurrection-6624031a990b
1•jbai•4m ago•0 comments

DeepSeek Harness

https://github.com/deepseek-ai/deepseek-harness
1•SweetSoftPillow•5m ago•0 comments

Show HN: Countinghouse– MCP tools that call each other in-process, not via model

https://mchen6.github.io/countinghouse/
1•out4b•6m ago•0 comments

Claude Text Watermark: Reconstruction, Not Hidden Characters

https://aitextwatermarkremover.com/blog/claude-official-text-watermark
1•wangneo276•6m ago•0 comments

Git Forge on Durable Objects

https://git.littledivy.com/dgit/about/
1•undefined_void•7m ago•1 comments

Installing Arch Linux on a Framework Laptop

https://hack.rest/repeat
1•kaishiro•7m ago•0 comments

MIT engineers connect bacteria to create living transistors

https://news.mit.edu/2026/mit-engineers-connect-bacteria-to-create-living-transistors-0817
1•bookofjoe•8m ago•0 comments

Hacking your life with AI can get you hacked – Research

https://www.endorlabs.com/learn/hacking-your-life-with-ai-can-get-you-hacked
1•p80n•9m ago•0 comments

UI SFX - Open-source interface sound effects

https://github.com/romainsimon/uisfx
1•agilek•10m ago•0 comments

Learn People's Names

https://justismills.substack.com/p/learn-peoples-names
1•surprisetalk•10m ago•0 comments

Star Citizen has a disastrously laggy stream with horrendous vibes

https://www.pcgamer.com/games/mmo/star-citizen-has-a-disastrously-laggy-stream-with-horrendous-vi...
1•evo_9•10m ago•0 comments

Agent identity, plus context and memory: three IANA-registered formats

https://zenodo.org/records/21951641
2•wolfejam•11m ago•1 comments

Python Polars Cheatsheet (based on our O'Reilly book)

https://opensource.posit.co/resources/cheatsheets/polars/
5•jeroenjanssens•13m ago•1 comments

Wetherspoons bans customers playing music from phones in pubs

https://www.bbc.co.uk/news/articles/cnvnl8gy22lo
4•zeristor•13m ago•1 comments

Zoo CAD on a Nintendo 3DS

https://twitter.com/zoodotdev/status/2088362877640122543
2•fallat•14m ago•0 comments

Orion Browser for Linux Officially Enters Beta

https://linuxiac.com/orion-browser-for-linux-officially-enters-beta/
2•speckx•14m ago•0 comments

AI to help planes avoid climate-warming 'sky graffiti'

https://www.bbc.com/news/articles/c62em5lpvnjo
7•theanonymousone•14m ago•4 comments

A group of Gandalfs protest outside the home of Peter Thiel in Argentina

https://dangerousminds.net/weird-news/gandalfs-protest-outside-the-home-peter-thiel-argentina/
4•facundo_olano•15m ago•0 comments

Why Aging May Be a Program, Not a Breakdown

https://www.quantamagazine.org/why-aging-may-be-a-program-not-a-breakdown-20260814/
2•rbanffy•16m ago•0 comments

AI Alignment as a Thought-Terminating Cliche

https://borretti.me/article/ai-alignment-as-thought-terminating-cliche
4•meetpateltech•17m ago•0 comments

3D-PVDF Nanonetworks for Passive Daytime Radiative Cooling

https://imn.csic.es/template-assisted-3d-pvdf-nanonetworks-for-passive-daytime-radiative-cooling/
2•simonebrunozzi•18m ago•0 comments

Show HN: I wrapped iOS 27's on-device AI into an offline live captioning app

https://testflight.apple.com/join/pQKnQgZZ
3•markmatsushima•18m ago•1 comments