frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Terence Tao's NSF grants suspended

https://bsky.app/profile/dangaristo.bsky.social/post/3lvc7ldavhk2o
79•xqcgrek2•43m ago•27 comments

Every satellite orbiting earth and who owns them (2023)

https://dewesoft.com/blog/every-satellite-orbiting-earth-and-who-owns-them
158•jonbaer•6h ago•71 comments

Slow

https://michaelnotebook.com/slow/index.html
815•calvinfo•17h ago•194 comments

How to Secure a Linux Server

https://github.com/imthenachoman/How-To-Secure-A-Linux-Server
38•redbell•1h ago•31 comments

How Hyper Built a 1m-Accurate Indoor GPS

https://andrewhart.me/hyper/
18•AndrewHart•2d ago•15 comments

Releasing weights for FLUX.1 Krea

https://www.krea.ai/blog/flux-krea-open-source-release
318•vmatsiiako•22h ago•92 comments

The anti-abundance critique on housing is wrong

https://www.derekthompson.org/p/the-anti-abundance-critique-on-housing
387•rbanffy•14h ago•562 comments

PHP-ORT: Machine learning inference for the web

https://krakjoe.github.io/ort/
58•Bogdanp•2d ago•13 comments

Living with an Apple Lisa [video]

https://www.youtube.com/watch?v=KISxcJ2DydY
28•zdw•3d ago•0 comments

QUIC for the kernel

https://lwn.net/Articles/1029851/
291•Bogdanp•20h ago•197 comments

Ubiquiti launches UniFi OS Server for self-hosting

https://lazyadmin.nl/home-network/unifi-os-server/
333•speckx•20h ago•264 comments

MacBook Pro Insomnia

https://manuel.bernhardt.io/posts/2025-07-24-macbook-pro-insomnia
439•speckx•22h ago•203 comments

“No tax on tips” is an industry plant

https://www.newyorker.com/magazine/2025/08/04/no-tax-on-tips-is-an-industry-plant
148•littlexsparkee•14h ago•308 comments

Gemini Embedding: Powering RAG and context engineering

https://developers.googleblog.com/en/gemini-embedding-powering-rag-context-engineering/
244•simonpure•19h ago•82 comments

Show HN: I made a website that makes you cry

https://www.cryonceaweek.com
236•johnnymaroney•4d ago•176 comments

Many countries that said no to ChatControl in 2024 are now undecided

https://digitalcourage.social/@echo_pbreyer/114946559233051667
420•nickslaughter02•1d ago•305 comments

You might not need tmux

https://bower.sh/you-might-not-need-tmux
84•elashri•3h ago•82 comments

Pride Versioning 0.3.0

https://pridever.org/
35•laacz•2h ago•9 comments

Programmers aren’t so humble anymore, maybe because nobody codes in Perl

https://www.wired.com/story/programmers-arent-humble-anymore-nobody-codes-in-perl/
114•Timothee•2d ago•134 comments

Rao Reading Algorithm (2024)

https://raohacker.com/rao-reading-algorithm/
14•surprisetalk•2d ago•6 comments

Show HN: Rewindtty – Record and replay terminal sessions as structured JSON

https://github.com/debba/rewindtty
4•debba•3d ago•4 comments

Show HN: Mcp-use – Connect any LLM to any MCP

https://github.com/mcp-use/mcp-use
130•pzullo•19h ago•61 comments

Raspberry Pi 5 Gets a MicroSD Express Hat

https://www.cnx-software.com/2025/07/28/raspberry-pi-5-gets-a-microsd-express-hat/
76•geerlingguy•4d ago•54 comments

Show HN: AgentMail – Email infra for AI agents

https://chat.agentmail.to/
95•Haakam21•22h ago•59 comments

Face it: you're a crazy person

https://www.experimental-history.com/p/face-it-youre-a-crazy-person
622•surprisetalk•3d ago•332 comments

Show HN: KubeForge – A GUI for Kubernetes YAMLs

https://github.com/kubenote/KubeForge
51•rakeda•9h ago•16 comments

Scientists and engineers craft radio telescope bound for the moon

https://www.bnl.gov/newsroom/news.php?a=122408
32•gnabgib•3d ago•3 comments

Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code

58•jjjutla•19h ago•29 comments

The Math Is Haunted

https://overreacted.io/the-math-is-haunted/
389•danabramov•1d ago•181 comments

Carbon Language: An experimental successor to C++

https://docs.carbon-lang.dev/
132•samuell•21h ago•140 comments
Open in hackernews

Nova: A New Web Framework for Erlang

64•taure•23h ago
Hi Hacker News community,

I'm excited to share Nova, a new web framework built for Erlang, designed to make web development in Erlang simpler, faster, and more approachable. Nova leverages Erlang's concurrency, reliability, and scalability to create a robust yet lightweight framework for building modern web applications.

Key features:

* Lightweight and modular: Easy to integrate with existing Erlang projects.

* Built for concurrency: Harnesses Erlang's actor model for high-performance web apps.

* Developer-friendly: Simplifies routing, middleware, and template handling.

* Extensible: Supports plugins and custom integrations.

Check it out: GitHub: https://github.com/novaframework/nova Homepage: https://novaframework.org Getting Started Guide: https://dev.to/taure/getting-started-with-nova-1ioo/stats

We’re early in development and would love feedback from the community! If you’re an Erlang enthusiast or curious about building web apps with a language known for its reliability (think WhatsApp or RabbitMQ), give Nova a spin and let us know your thoughts.

What do you think about using Erlang for web development? Any features you’d love to see in a framework like this?

Comments

azaras•22h ago
Why do you use Erlang instead of Elixir?
colecut•22h ago
It seems he wanted to make an alternative to Elixir..
cmdrk•21h ago
Not to pick on you, but there are always posts like this in every Erlang thread. One is not strictly superior to the other, and the BEAM community benefits from the variety IMO.
taure•21h ago
We started with Erlang before Elixir was created and we still use it for everything we do.

This is more to have a smooth web framework similar to Phoenix but for Erlang.

You can also use Nova for elixir.

johnnyjeans•20h ago
No rebinding, better fits the grain of the OTP, no AST macros. Last I checked, the debugging experience with elixir was pretty subpar. Erlang is also a fundamentally nicer syntax that I find a great deal more readable. I'm not really sure what the appeal of Elixir as a language is actually supposed to be, outside of people who have spent a lot of time writing Ruby code.
asa400•19h ago
Full disclosure: I started with Erlang, I get paid to work with Elixir every day, I love Erlang still.

Why someone might like Elixir:

  - slightly less crufty stdlib for a lot of the basic stuff (though we still use the Erlang stdlib all the time)
  - the Elixir community started off using binaries instead of charlists so everything uses binaries
  - great general collections libraries in the stdlib that operate on interfaces/protocols rather than concrete collections (Enum, Stream)
  - macros allow for default impls and a good deal less boilerplate, great libraries like Phoenix and Ecto, and the community seems to be pretty judicious with their use
  - protocols allow datatype polymorphism in a really nice way (I know about behaviours, they are also good)
  - very standard build tool/project layout/generators that have been there from the start (Erlang has caught up here with rebar, it seems)
  - a lot of high quality libraries for web stuff, specifically
  - convenience stuff around common OTP patterns like Task, Task.Supervisor, Agent, etc.
For me, I love the clarity and brevity of Erlang the language but I find Elixir a lot more pleasant to use day-to-day. This is just personal, I am not making a general statement saying Elixir is better.

> Last I checked, the debugging experience with elixir was pretty subpar.

Just curious, why is this? All of the Erlang debugging stuff seems to work.

klibertp•18h ago
> Just curious, why is this? All of the Erlang debugging stuff seems to work.

But you'd see a decompiled Erlang-ish code in the (WX-based, graphical) debugger, no? Genuinely curious, I think it was like that last I checked, but that was in 2019.

klibertp•18h ago
> I'm not really sure what the appeal of Elixir as a language is actually supposed to be

Easy:

    - rebinding
    - higher-level OTP abstractions
    - AST macros
    - nicer, more readable syntax
    - (optionally) cleaner stdlib
(Assuming you're not trolling: you chose to focus on features that can only be judged subjectively, and therefore can only be discussed as preferences. It's ok to have them, but actively displaying them is a bit pointless. Objectively measurable features of both languages put them very close together, with both having slight advantages over the other in different areas, on average making them almost equivalent. Especially compared to anything non-BEAM.)
johnnyjeans•13h ago
I'm not trolling, but I'm very serious about language design after going through a long gauntlet. I don't think making mutation easy, and also having the ability to hide code execution, is necessarily a good practice in a system principally designed for safe, robust and efficient concurrency. Don't use a flathead on a phillips screw.
asa400•7h ago
Rebinding is not mutation. This seems pedantic but is an important distinction. None of the semantics of the runtime are changed. The data remains immutable. You probably know this. However, for the benefit of readers who may be less familiar: Erlang does not allow variables to be rebound, so it's somewhat typical for Erlang code like this:

  X1 = 8.
  X2 = X1 + 1.
  X3 = X2 * 302.
You cannot, say, do this:

  X1 = 8.
  X1 = X1 + 1.
This is because in Erlang (and in Elixir) the `=` is not just assignment, it is also the operator for pattern matching. This has implications that are too broad for this post, but the key point here is that it's attempting to see if the the left side and the right side "can match".

Whereas writing the same thing in Elixir would look like:

  x = 8
  x = x + 1
  x = x * 302
This is because Elixir allows `x` to be rebound, in effect changing what data `x` points to, but not mutating the underlying data itself. Under the hood Elixir rewrites each expression into something resembling the Erlang version.

The practical effect of this is that if you for example insert a process spawn somewhere in between any of the lines that references `x`, that process gets its own totally immutable version of the data that `x` points to at that point in time. This applies in both Erlang and Elixir, as data in both is completely immutable.

prophesi•22h ago
Not sure how this hit the front page without linking the actual project.

https://novaframework.org/

taure•21h ago
Thank you. I missed to add a new line where the homepage is..
CollinEMac•21h ago
This seems like a tough sell when Phoenix is already so good. I'm struggling to see why I'd use this over that.
worthless-trash•21h ago
Because its not elixir, its erlang. For those of us who dont do elixir, this fits the knowledge I already have.
taure•21h ago
Nova is also more close to beam so it can be used with elixir and lfe or other beam languages.
regularfry•21h ago
You've run into the same naming problem GM did with the Vauxhall/Opel Nova: "No Va" literally means some variant of "it doesn't go" in (at least) Italian, Spanish, and French.
bobbylarrybobby•21h ago
And Uranus (when spoken aloud) means “your butt”. Is this really a big concern?
LtdJorge•20h ago
No, I’m from Spain and have never though about that "no va" thing. Nova comes from Latin AFAIK. It would be "nueva" in Spanish and "nuova" in Italian.

Edit: Uranus is Latin too :)

SwiftyBug•12h ago
And "nova" in Portuguese!
jen20•19h ago
While this is a nice story, it's not true [1] [2].

[1]: https://www.snopes.com/fact-check/chevrolet-nova-name-spanis...

[2]: https://en.wikipedia.org/wiki/Chevrolet_Chevy_II_/_Nova

macintux•19h ago
If nothing else, perhaps this persistent myth helps reduce the naming conflicts when someone wants to use Nova.
SoftTalker•20h ago
I will check this out. Are you familiar with the Nitrogen framework? I've used it a bit and quite liked it, but not sure it's really an active project anymore.

https://nitrogenproject.com/

Could you compare/contrast Nova to Nitrogen?

taure•20h ago
We did a fireside chat about it a couple of years ago.

https://youtu.be/PgBzV1-E00k?si=sULVBvLsVPm2S3zl