frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: Minimal Portfolio Tracker for Stocks, Crypto, Gold and Funds

https://play.google.com/store/apps/details?id=com.ahmetyildiz.portfoyapp&hl=en_US
1•ahmtyldz•3m ago•0 comments

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

https://github.com/matisojka/qqqa
1•iagooar•4m ago•0 comments

Tyrannosaurus Redesign 2018 – Saurian

https://sauriangame.squarespace.com/blog/2018/9/20/tyrannosaurus-redesign-2018
1•maxloh•5m ago•0 comments

First artificial photosynthesis now produces infinite, clean energy

https://www.thetimes.com/business-money/technology/article/why-the-oc-star-ben-mckenzie-is-leadin...
1•kedmi•8m ago•0 comments

Hamas fighters are stuck in tunnels in Israeli-controlled Gaza

https://www.theaustralian.com.au/world/hundreds-of-hamas-fighters-are-stuck-in-tunnels-in-israeli...
1•asdefghyk•12m ago•1 comments

Self-hosting your Mastodon media with SeaweedFS

https://it-notes.dragas.net/2025/11/06/self-hosting-your-mastodon-media-with-seaweedfs/
2•todsacerdoti•14m ago•0 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...
2•austinallegro•16m ago•0 comments

Tech Billionaire Marc Andreessen Bet Big on Trump and It's Paying Off

https://www.propublica.org/article/trump-cfpb-marc-andreessen-silicon-valley
5•robtherobber•18m ago•0 comments

Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB

https://github.com/Neon-Nomad/KnexBridge
1•knexbridge•24m ago•0 comments

Update page title counter with custom turbo streams in Rails

https://railsdesigner.com/update-page-title-turbo/
4•amalinovic•26m ago•0 comments

England rolls back 2014 computer science curriculum reform

https://www.theguardian.com/education/2025/nov/04/national-curriculum-review-in-england-10-key-re...
1•countrymile•27m ago•0 comments

Geordie Williamson: Neural Networks for Mathematical Discovery

https://www.youtube.com/watch?v=Uxr_HrbN1MQ
1•AbstractPlay•30m ago•0 comments

How Close Are We to Solid-State Batteries? [video]

https://www.youtube.com/watch?v=uspSYVssGXU
1•breve•31m ago•0 comments

The expansion of our universe may be slowing down

https://www.space.com/astronomy/dark-universe/the-expansion-of-our-universe-may-be-slowing-down-w...
2•janandonly•31m ago•0 comments

Introduce a free-to-use ad spy tool: BigSpy

https://bigspy.com/en
1•zingfront•33m ago•1 comments

Ancient ochre crayons from Crimea reveal Neanderthals had in symbolic behaviors

https://phys.org/news/2025-10-ancient-ochre-crayons-crimea-reveal.html
2•janandonly•33m ago•0 comments

Bulk Import Content into NotebookLM (Chrome Extension)

https://help.gsctool.com/features/free-tools/bulk-import-content-into-notebooklm-chrome-extension
1•trungpv1601•37m ago•0 comments

The Learning Loop and LLMs

https://martinfowler.com/articles/llm-learning-loop.html
1•frenchmajesty•38m ago•0 comments

German state Bavaria goes all-in on Microsoft cloud

https://www.heise.de/en/news/Bavaria-wants-to-move-to-Microsoft-cloud-by-year-end-11066929.html
2•baumschubser•39m ago•0 comments

Universe expansion may be slowing, not accelerating, study suggests

https://www.theguardian.com/science/2025/nov/06/universe-expansion-slowing-not-accelerating-nobel...
2•jnord•45m ago•0 comments

Show HN: fx - A (micro)blogging server that you can self-host

https://github.com/rikhuijzer/fx
1•huijzer•45m ago•0 comments

AlmaLinux adds btrfs support, a viable alternative to Debian

https://almalinux.org/blog/2025-10-21-announcing-btrfs-support-in-almalinux-10-1/
2•eklavya•49m ago•1 comments

Try the New Valhalla EA Build

https://inside.java/2025/11/06/newscast-100/
1•lichtenberger•49m ago•0 comments

Pierre Brassau

https://en.wikipedia.org/wiki/Pierre_Brassau
1•baalimago•50m ago•1 comments

Show HN: TweetBlink – AI-Powered Browser Extension for Crafting Engaging Tweets

1•thanhdongnguyen•51m ago•0 comments

The trust collapse: Infinite AI content is awful

https://arnon.dk/the-trust-collapse-infinite-ai-content-is-awful/
3•arnon•52m ago•1 comments

Httplet: A simple JavaScript plugin-oriented HTTP server with clean semantics

https://github.com/krzykos/httplet
1•krzykos•53m ago•1 comments

Agentic AI at Scale: How Manus Migrated to TiDB in 2 Weeks [video]

https://www.youtube.com/watch?v=PP4Ht_JWA7k
1•ngaut•54m ago•0 comments

Lie Group Theory for Robotics

https://arxiv.org/abs/1812.01537
1•cat-whisperer•54m ago•0 comments

Nvidia's Jensen Huang: 'China is going to win the AI race,' FT reports

https://www.reuters.com/world/asia-pacific/nvidias-jensen-huang-says-china-will-win-ai-race-with-...
2•zekrioca•1h ago•2 comments
Open in hackernews

Erlang Meets Idris: Cure Programming Language

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

Comments

josefrichter•1h ago
How does this compare to Gleam, in terms of goals, features, etc.?
littlestymaar•1h ago
> A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees
GCUMstlyHarmls•1h ago
Curious what the E, e, e, L and G stand for in the logo.
hmry•1h ago
My money's on L = LLM, G = Generated
h4kor•1h 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.
delitrem•50m 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•24m ago
Emojis make it look LLM af.
PaulRobinson•11m 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•3m ago
emoji at the end of a statement are not the same thing as emoji adorning or replacing every heading
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).
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?
pshirshov•45m ago
No, I have one too: https://github.com/pshirshov/pascal-llvm

The fact that Claude was able to do that in a couple of hours is extremely impressive.

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•40m 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•36m ago
that will achieve incredible performance on the right array
Beretta_Vexee•38m 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•14m ago
https://cure-lang.org/examples/ gives a 404