frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Mathematical Exploration and Discovery at Scale

https://terrytao.wordpress.com/2025/11/05/mathematical-exploration-and-discovery-at-scale/
54•nabla9•2h ago•7 comments

Ratatui – App Showcase

https://ratatui.rs/showcase/apps/
386•AbuAssar•8h ago•116 comments

Show HN: qqqa – a fast, stateless LLM-powered assistant for your shell

https://github.com/matisojka/qqqa
6•iagooar•32m ago•4 comments

Solarpunk is happening in Africa

https://climatedrift.substack.com/p/why-solarpunk-is-already-happening
869•JoiDegn•15h ago•420 comments

What the hell have you built

https://wthhyb.sacha.house/
197•sachahjkl•3h ago•126 comments

80year old grandmother becomes oldest woman to finish Ironman World Championship

https://bigislandnow.com/2025/10/19/80-year-old-grandmother-becomes-oldest-woman-to-finish-ironma...
3•austinallegro•43m ago•0 comments

Dillo, a multi-platform graphical web browser

https://github.com/dillo-browser/dillo
340•nazgulsenpai•16h ago•138 comments

End of Japanese community

https://support.mozilla.org/en-US/forums/contributors/717446
620•phantomathkg•8h ago•445 comments

ChatGPT terms disallow its use in providing legal and medical advice to others

https://www.ctvnews.ca/sci-tech/article/openai-updates-policies-so-chatgpt-wont-provide-medical-o...
314•randycupertino•17h ago•311 comments

Firefox profiles: Private, focused spaces for all the ways you browse

https://blog.mozilla.org/en/firefox/profile-management/
269•darkwater•1w ago•135 comments

Recursive macros in C, demystified (once the ugly crying stops)

https://h4x0r.org/big-mac-ro-attack/
97•eatonphil•10h ago•50 comments

Why aren't smart people happier?

https://www.theseedsofscience.pub/p/why-arent-smart-people-happier
362•zdw•18h ago•451 comments

The state of SIMD in Rust in 2025

https://shnatsel.medium.com/the-state-of-simd-in-rust-in-2025-32c263e5f53d
208•ashvardanian•16h ago•114 comments

NY school phone ban has made lunch loud again

https://gothamist.com/news/ny-smartphone-ban-has-made-lunch-loud-again
325•hrldcpr•22h ago•246 comments

Show HN: Flutter_compositions: Vue-inspired reactive building blocks for Flutter

https://github.com/yoyo930021/flutter_compositions
20•yoyo930021•4h ago•7 comments

Chibi Izumi: Phased dependency injection for TypeScript

https://github.com/7mind/izumi-chibi-ts
7•pshirshov•5d ago•0 comments

Vacuum bricked after user blocks data collection – user mods it to run anyway

https://www.tomshardware.com/tech-industry/big-tech/manufacturer-issues-remote-kill-command-to-nu...
294•toomanyrichies•4d ago•94 comments

I was right about dishwasher pods and now I can prove it [video]

https://www.youtube.com/watch?v=DAX2_mPr9W8
452•hnaccount_rng•1d ago•326 comments

Ruby and Its Neighbors: Smalltalk

https://noelrappin.com/blog/2025/11/ruby-and-its-neighbors-smalltalk/
198•jrochkind1•20h ago•117 comments

New gel restores dental enamel and could revolutionise tooth repair

https://www.nottingham.ac.uk/news/new-gel-restores-dental-enamel-and-could-revolutionise-tooth-re...
510•CGMthrowaway•15h ago•192 comments

Scientists growing colour without chemicals

https://www.forbes.com/sites/maevecampbell/2025/06/20/dyeing-for-fashion-meet-the-scientists-grow...
30•caiobegotti•4d ago•14 comments

Carice TC2 – A non-digital electric car

https://www.caricecars.com/
239•RubenvanE•21h ago•174 comments

A new oral history interview with Ken Thompson

https://computerhistory.org/blog/a-computing-legend-speaks/
35•oldnetguy•5d ago•2 comments

The Basic Laws of Human Stupidity (1987) [pdf]

https://gandalf.fee.urv.cat/professors/AntonioQuesada/Curs1920/Cipolla_laws.pdf
93•bookofjoe•12h ago•35 comments

App Store web has exposed all its source code

https://www.reddit.com/r/webdev/comments/1onnzlj/app_store_web_has_exposed_all_its_source_code/
234•redbell•2d ago•111 comments

How I am deeply integrating Emacs

https://joshblais.com/blog/how-i-am-deeply-integrating-emacs/
69•signa11•4h ago•56 comments

The Transformations of Fernand Braudel

https://www.historytoday.com/archive/behind-times/transformations-fernand-braudel
8•benbreen•5d ago•2 comments

The shadows lurking in the equations

https://gods.art/articles/equation_shadows.html
276•calebm•21h ago•84 comments

I want a good parallel language [video]

https://www.youtube.com/watch?v=0-eViUyPwso
78•raphlinus•2d ago•40 comments

Radiant Computer

https://radiant.computer
205•beardicus•22h ago•147 comments
Open in hackernews

Erlang Meets Idris: Cure Programming Language

https://cure-lang.org/
42•delitrem•2h ago

Comments

josefrichter•2h ago
How does this compare to Gleam, in terms of goals, features, etc.?
littlestymaar•2h ago
> A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees
forgotpwd16•6m ago
From a quick check on both, the essential difference is Cure has dependent types with SMT-backed validation. So, as mentioned in homepage, is oriented towards domains requiring correctness over convenience, whereas Gleam targets general development.
GCUMstlyHarmls•2h ago
Curious what the E, e, e, L and G stand for in the logo.
hmry•2h ago
My money's on L = LLM, G = Generated
h4kor•2h ago
This is 100% LLM generated; website, documentation and tutorials. There is no link to downloads or a repository. No way to use anything.

Why should anyone care about this?

IdontKnowRust•1h ago
I was about to say the same thing haha
anonzzzies•1h ago
There is a github repos and that + code looks also LLM generated to me. Not necessarily bad, if it works for what was intended that is; I just don't have time/patience to try it because of how lazy their web page is. I mean LLMs can DEFINITELY make a lot better pages than this; this what you get if you do it one-shot and publish.
forgotpwd16•34s ago
[delayed]
delitrem•1h ago
> This is 100% LLM generated

Who knows, may be you are right here. I actually thought so at first, but knowing the author personally (he is my former colleague, I had the pleasure of working with him in the same team about 17-18 years ago), his extraordinary abilities and his writing style even before the widespread use of AI, I had my doubts.

EdwardDiego•51m ago
Emojis make it look LLM af.
PaulRobinson•39m ago
Emojis at the end of a statement online are a generational thing, not an AI thing.

Replying to an email inline rather than at the top marks you out as of a certain generation. Using text emojis rather than finding the graphical emoji does too.

Everyone needs to relax about AI generation anyway (did you learn something useful or not? If you did, does it matter if it was AI generated as a site?), but saying "this is what people under 30 frequently do, so it must be fake", is just this weird vibe spreading everywhere I don't get at all.

evertedsphere•30m ago
emoji at the end of a statement are not the same thing as emoji adorning or replacing every heading
EdwardDiego•11m ago
I'm talking about this kinda style...

* <Arrow hitting target emoji> 15 compiled libraries!

* <green tick> Works on my machine

* <red cross> No ARM support.

None of which are at the end of a statement. So, I'm not sure who you're replying to.

Incidentally, I recently reviewed a PR heavily written by Cursor that had statements like this.

    logger.info("<magnifying glass emoji> DEBUG: {actual message")
And then CursorBot reviewed it and flagged the emojis as indicative of "debugging statements not suitable for production".

Which made me laugh, loudly, and only somewhat sadly, Cursor added the emojis, Cursor then flagged them as not appropriate in prod code.

But CursorBot missed the obvious problem with

    logger.info("DEBUG: ...")
qlm•18m ago
There is a 0% chance that the vast majority of this site and the repo that was linked elsewhere was written by a human. I would have zero confidence in anything about this language, and frankly your former colleague should be embarrassed about putting this out.

Edit: I just noticed in another comment: "Perfect for : Trading systems, industrial control, Medical devices, aerospace applications". I'd go further than embarrassed, and say this person should be ashamed of themself and take this down.

bjoli•1h ago
This is the GitHub repo: https://github.com/am-kantox/cure-lang
dmit•1h ago

  Compilation Performance
  
    Small files (<100 lines): <1 second
    Medium projects (1K-10K lines): 5-30 seconds
    Large projects (100K+ lines): 30-300 seconds with incremental compilation
Love that there's an upper limit on compilation time. No matter how large your project gets, it will never take more than five minutes to compile (incrementally).
xigoi•7m ago
Also it’s not possible to write programs that have between 100 and 1000 lines.
weatherlight•1h ago
The project looks very young. I do like the goals of the project though, and I like that it's on the BEAM.
brap•1h ago
It absolutely drives me nuts when people spend so much time building something but make it difficult to show you what they’ve built.

A short code snippet (with syntax highlighting thank you) should be the first thing on your page.

I do not have to scroll through a huge wall of text (probably AI generated), 2 images (definitely AI generated), miss it, start clicking links, still not find it, hit the back button, scroll through the slop again, etc.

I want to see the thing, I don’t care about what you have to say about the thing until I can get a sense of the thing.

debugnik•1h ago
> when people spend so much time building something

I do not think that much human time was spent on this actually.

paulglx•1h ago
Everything smells of AI here, is it the world's first slop language?
agnishom•1h ago
I would like to see some interesting code examples showcasing the main features.
ares623•1h ago
Super exciting. Can't wait to use this in production. Imagine, using AI to write with a language built with AI, building AI products that AI people use.
0x69420•1h ago
please keep the erlang ecosystem out of the llm griftosphere. jesus christ.
saithound•1h ago
This is not a real language, it's pure LLM slop.

Just look at the so-called sort example from the repo:

    def sort(list: List(T)): List(T) where Ord(T) =
        match list do
            [] -> []
            [pivot | rest] -> sort(rest)
        end
agos•1h ago
that will achieve incredible performance on the right array
xigoi•5m ago
It only works correctly on an empty array, on which any sorting algorithm is fast.
Beretta_Vexee•1h ago
> Perfect for : Trading systems, industrial control, Medical devices, aerospace applications

Regulator, here is some code in an unknown and poorly documented language with no operational experience. The compiler was written using AI and no one has audited it.

That seems like an excellent idea to me.

sam-cop-vimes•41m ago
https://cure-lang.org/examples/ gives a 404