news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

The Mondrian introduction to functional optics

http://marcosh.github.io/post/2025/10/07/the-mondrian-introduction-to-functional-optics.html

18•marcosh•2h ago

Comments

cinntaile•1h ago

This has nothing to do with physical optics if I understood it right? The blog post does use concepts such as lens and prism so I'm a bit confused.

birttAdenors•1h ago

This has to do with category theory and programming notions of optics and lenses.

kqr•58m ago

Correct. The term "optics" is used by analogy; functional optics let us "zoom in" on parts of a data structure, and "zoom out to" a data structure surrounding a value.

enugu•38m ago

This is a great way to present the concepts. Something like this would have been useful some years back when I was trying to use the Haskell library for lens.

Mylinux an OS by Me

1•Mylinux-os•1m ago•0 comments

Show HN: 1-Bit Pixel Art Font Editor

https://www.moonbench.xyz/workshop/font_editor/font_editor.html

1•RpFLCL•3m ago•0 comments

The End of the Global Internet

https://sphericalcowconsulting.com/2025/10/07/the-end-of-the-global-internet/

1•mooreds•3m ago•0 comments

Tony Hoare's hints on programming language design [pdf]

http://i.stanford.edu/pub/cstr/reports/cs/tr/73/403/CS-TR-73-403.pdf

1•fanf2•4m ago•0 comments

Mylinux an OS by Me

1•Mylinux-os•4m ago•0 comments

Chargerless Ray Fitness Tracker

https://chargerless.xyz/technology/

1•Luc•5m ago•0 comments

Responsive Viewer Extension for Chrome and Firefox

https://superdevpro.com/responsive-viewer

1•mddanishyusuf•6m ago•0 comments

Disrupting malicious uses of AI: October 2025

https://openai.com/global-affairs/disrupting-malicious-uses-of-ai-october-2025/

1•wertyk•6m ago•0 comments

Google Confirms Non-ADB APK Installs Will Require Developer Registration

https://hackaday.com/2025/10/06/google-confirms-non-adb-apk-installs-will-require-developer-regis...

1•shaicoleman•8m ago•0 comments

Physics Nobel awarded to three scientists for work on quantum computing

https://www.bbc.co.uk/news/articles/c98d00nq47jo

2•alvis•9m ago•0 comments

Edward T. Blake, 80, Dies; Forensic Expert Sparked Innocence Movement

https://www.nytimes.com/2025/10/01/science/edward-t-blake-dead.html

3•bookofjoe•11m ago•1 comments

Writing FJRD by Farbrausch

https://github.com/LeStahL/tech-write-ups/blob/main/writeups%2Fmaking_of_fjrd_by_farbrausch%2Fwri...

1•z303•12m ago•0 comments

How to Get Your Kids into Stem Even When Its Future Is Uncertain

https://www.wired.com/story/the-importance-of-getting-kids-into-stem-when-its-future-is-uncertain/

1•Brajeshwar•13m ago•0 comments

Your creativity is benevolent, and you can always return to it

https://buttondown.com/ashsmash/archive/your-creativity-is-benevolent-and-you-can-always/

1•herbertl•17m ago•0 comments

In a Toxic World, Pets Could Be Vital Health Watchdogs

https://www.nytimes.com/2025/10/07/science/pets-health-pollution.html

1•Brajeshwar•18m ago•0 comments

The 'typhoon-proof' wind farms powering China's coast

https://www.bbc.com/future/article/20251006-the-typhoon-proof-wind-farms-powering-chinas-coast

1•Brajeshwar•23m ago•0 comments

Notes from the Git Contributor's Summit, 2025

https://lwn.net/ml/all/aOQVeVYY6zadPjln@nand.local/

1•chmaynard•24m ago•0 comments

Software for Hardware – Digitizing the Physical World

https://www.generalcatalyst.com/stories/software-for-hardware

1•pbd•25m ago•0 comments

Suspected Chinese operatives used ChatGPT to shape mass surveillance proposals

https://www.cnn.com/2025/10/07/politics/china-chatgpt-surveillance

1•breve•25m ago•0 comments

Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)

https://medium.com/@FuturistAI/the-dragon-hatchling-a-neural-network-that-thinks-like-a-brain-and...

1•Kaibeezy•29m ago•0 comments

13-year-old level-10 bug in Redis could allow RCE

https://www.theregister.com/2025/10/06/perfect_10_redis_rce_lurking/

1•LorenDB•30m ago•0 comments

I am building an API that gives you bounding boxes for every answer

https://ninjadoc.ai

1•dbvitapps•31m ago•1 comments

ChatGPT Won't Replace Writers

https://substack.com/home/post/p-175510532

1•ignacioadiaz•32m ago•0 comments

Three CNN reporters on three continents wore chemical-tracking wristbands

https://www.cnn.com/2025/10/07/climate/chemicals-plastic-wristbands-phthalates-bisphenols

1•breve•33m ago•0 comments

U.S. vs. Google: What Each Side Argued For

https://www.nytimes.com/2025/10/06/technology/google-ad-tech-arguments.html

1•redm•33m ago•0 comments

Beginner's guide to making AI useful in production

https://medium.com/@akshitdayal99/the-missing-piece-that-makes-ai-actually-work-in-production-22e...

1•akrypt•35m ago•0 comments

Migrating from Jenkins to GitLab

1•steevivo•36m ago•0 comments

How to make your AI twin

https://markgreville.ie/2025/10/06/how-to-make-your-ai-twin/

1•mohi-kalantari•37m ago•0 comments

Show HN: Possible World Wikis – fictional, generative wikis

https://www.possibleworldwikis.com/

1•ruthvik947•38m ago•0 comments

1970: Black Tot Day (End of the Royal Navy Rum Ration) [video]

https://www.youtube.com/watch?v=5gh5PCghfbs

1•i5heu•43m ago•0 comments