frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Scryer Prolog Meetup 2025

https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2025/
19•aarroyoc•1h ago

Comments

triska•47m ago
This is going to be awesome! Thank you a lot for your interest, and I hope to see many of you there in November!

Scryer Prolog is a modern ISO Prolog system written in Rust with many interesting features.

Try the latest version from https://github.com/mthom/scryer-prolog

The yearly meetups are excellent opportunities to learn more about the latest developments of Prolog systems and the standard. Several companies have already confirmed their attendance, yielding also interesting business opportunities.

Many thanks to Prof. Christian Jendreiko for generously hosting the meetup at the Hochschule Düsseldorf again this year, to everyone contributing to such a great lineup of interesting talks, and to Mark Thom and everyone involved for making this all possible!

Charlie Kirk Assassination Sparks Social Media Crackdown

https://www.kenklippenstein.com/p/charlie-kirk-assassination-sparks
1•tareqak•45s ago•0 comments

Open AI study on on ChatGPT usage

https://arstechnica.com/ai/2025/09/seven-things-we-learned-from-openais-first-study-on-chatgpt-us...
1•datadrivenangel•3m ago•0 comments

Google Tops $3T Market Cap as Gemini Takes Top Spot in Apple Store

https://www.investors.com/news/technology/google-stock-new-high-gemini-apple-app-store-nano-banana/
1•decimalenough•5m ago•0 comments

Malware in Ngx-Bootstrap

https://github.com/advisories/GHSA-6m4g-vm7c-f8w6
1•lambdaone•12m ago•1 comments

The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf]

https://dspace.mit.edu/bitstream/handle/1721.1/5600/AIM-848.pdf
1•swatson741•13m ago•0 comments

The idea of /usr/sbin has failed in practice

https://utcc.utoronto.ca/~cks/space/blog/unix/UsrSbinFailedInPractice
2•naves•14m ago•1 comments

Claude is now generally available in Xcode

https://www.anthropic.com/news/claude-in-xcode
2•adocomplete•14m ago•0 comments

William Gibson Reads Neuromancer

http://bearcave.com/bookrev/neuromancer/neuromancer_audio.html
4•exvi•15m ago•0 comments

Imperial Tyranny, Korean Humiliation

https://english.hani.co.kr/arti/english_edition/english_editorials/1218475.html
5•anigbrowl•15m ago•0 comments

Spain's PM called for Israel to be barred from international sports competitions

https://www.theguardian.com/world/2025/sep/15/spains-pm-criticised-after-vuelta-a-espana-race-aba...
7•belter•17m ago•0 comments

Realtime Linux Beyond Preempt_rt: Xenomai's Dual-Kernel Approach [video]

https://www.youtube.com/watch?v=WXKsLTfrOiE
1•st_goliath•18m ago•0 comments

Frontier Models Are Not Commoditized

https://www.arfniia.com/models-are-not-commoditized
1•shanbin•19m ago•0 comments

How to Debug Chez Scheme Programs (2002)

https://www.scheme.com/debug/debug.html
1•swatson741•20m ago•0 comments

Destroy data on old laptops or face major liability

https://www.theregister.com/2025/09/14/destroy_data_company_laptops_or_else/
2•ohjeez•21m ago•0 comments

Show HN: Cut AI API costs 90% with intelligent model routing

https://apicrusher.com/
1•bytecounter•23m ago•0 comments

Just Get a Partial Fix and Move On

https://chillphysicsenjoyer.substack.com/p/just-get-a-partial-fix-and-move-on
1•crescit_eundo•27m ago•0 comments

Noise Cancelling a Fan

https://chillphysicsenjoyer.substack.com/p/noise-cancelling-a-fan
1•crescit_eundo•27m ago•0 comments

Try to Prove Math with Computers

https://chillphysicsenjoyer.substack.com/p/try-to-prove-math-with-computers
1•crescit_eundo•28m ago•0 comments

Ask HN: What Single File Web Apps do you know of?

3•calebm•31m ago•3 comments

The Only Way to Build Trust Is to Give Trust

https://www.davidpoll.com/2025/09/the-only-way-to-build-trust-is-to-give-trust/
2•depoll•32m ago•0 comments

CBS-based FHE compiler with custom ISA and transformers-like parallelism

https://twitter.com/ravitals/status/1965828241002037344
3•abhihereandnow•41m ago•0 comments

Show HN: Free AI Prompt Hub

https://cvibe.dev/
2•harelush99•41m ago•1 comments

Building a Reliable Cloud Live Streaming Pipeline for Netflix

https://netflixtechblog.com/building-a-reliable-cloud-live-streaming-pipeline-for-netflix-8627c60...
2•flavioribeiro•43m ago•0 comments

Understanding the New Economics of Attention

https://www.economist.com/finance-and-economics/2025/09/11/can-you-make-it-to-the-end-of-this-column
2•pseudolus•45m ago•1 comments

Tuberculosis Defenses

https://www.science.org/content/blog-post/tuberculosis-defenses
2•etiam•46m ago•0 comments

How Opus and o3 saved me from permanent blindness

https://mmaaz.ca/writings/blindness.html
3•pr337h4m•47m ago•0 comments

Magical Systems Thinking

https://www.worksinprogress.news/p/magical-systems-thinking
1•komape•48m ago•0 comments

Tips and Shortcuts for Better Browsing

https://www.google.com/chrome/tips/
1•kamaraju•48m ago•0 comments

Boring Is Good

https://jenson.org/boring/
1•zdw•51m ago•0 comments

In Memory of Mat Travizano

https://maraoz.com/mat/
2•wslh•54m ago•0 comments