frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246
64•tough•2h ago•24 comments

Your fingers wrinkle the same way every time you're in the water too long

https://www.binghamton.edu/news/story/5547/do-your-fingers-wrinkle-the-same-way-every-time-youre-in-the-water-too-long-new-research-says-yes
15•gnabgib•1h ago•0 comments

Flattening Rust's Learning Curve

https://corrode.dev/blog/flattening-rusts-learning-curve/
47•birdculture•2h ago•20 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

https://comsec.ethz.ch/research/microarch/branch-privilege-injection/
319•alberto-m•7h ago•127 comments

Starcloud

https://www.ycombinator.com/companies/starcloud
122•wiley1454•4h ago•239 comments

Map of Palaeohispanic Coins and Inscriptions

http://hesperia.ucm.es/consulta_hesperia/mapas.php
8•brendanashworth•26m ago•0 comments

Build real-time knowledge graph for documents with LLM

https://cocoindex.io/blogs/knowledge-graph-for-docs/
63•badmonster•4h ago•11 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit

https://www.space.com/space-exploration/launches-spacecraft/failed-soviet-venus-lander-kosmos-482-crashes-to-earth-after-53-years-in-orbit
98•taubek•3d ago•62 comments

Google is building its own DeX: First look at Android's Desktop Mode

https://www.androidauthority.com/android-desktop-mode-leak-3550321/
193•logic_node•10h ago•159 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)

https://github.com/HelixDB/helix-db/
114•GeorgeCurtis•7h ago•50 comments

PDF to Text, a challenging problem

https://www.marginalia.nu/log/a_119_pdf/
220•ingve•9h ago•123 comments

Multiple security issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1
330•st_goliath•13h ago•202 comments

A tool to verify estimates, II: a flexible proof assistant

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
12•jjgreen•3d ago•0 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

157•bestwillcui•11h ago•86 comments

Garbage collection of object storage at scale

https://www.warpstream.com/blog/taking-out-the-trash-garbage-collection-of-object-storage-at-massive-scale
35•ko_pivot•3d ago•6 comments

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511
124•pavel_lishin•9h ago•34 comments

Less meat is nearly always better than sustainable meat

https://ourworldindata.org/less-meat-or-sustainable-meat
4•sohkamyung•43m ago•0 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf
14•throwaway71271•2h ago•5 comments

Ask HN: How are you acquiring your first hundred users?

466•amanchanda•15h ago•286 comments

How (memory) safe is Zig? (2021)

https://www.scattered-thoughts.net/writing/how-safe-is-zig/
17•vortex_ape•2h ago•16 comments

Y Combinator says Google is a monopolist, no comment about its OpenAI ties

https://techcrunch.com/2025/05/13/y-combinator-says-google-is-a-monopolist-that-has-stunted-the-startup-ecosystem/
106•mastazi•2h ago•26 comments

OpenTelemetry protocol with Apache Arrow

https://opentelemetry.io/blog/2025/otel-arrow-phase-2/
55•tanelpoder•6h ago•13 comments

The world could run on older hardware if software optimization was a priority

https://twitter.com/ID_AA_Carmack/status/1922100771392520710
558•turrini•14h ago•541 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/
114•ingve•2d ago•30 comments

When graphic design saves lives

https://news.harvard.edu/gazette/story/2025/05/when-graphic-design-saves-lives/
5•gnabgib•3d ago•0 comments

Using obscure graph theory to solve programming languages problems

https://reasonablypolymorphic.com/blog/solving-lcsa/
26•matt_d•4h ago•3 comments

Turritopsis dohrnii: Immortal jellyfish

https://www.nhm.ac.uk/discover/immortal-jellyfish-secret-to-cheating-death.html
29•vinnyglennon•4d ago•6 comments

Membrane: Media Framework for Elixir

https://membrane.stream/
112•lawik•3d ago•35 comments

Insurers launch cover for losses caused by AI chatbot errors

https://www.ft.com/content/1d35759f-f2a9-46c4-904b-4a78ccc027df
107•jmacd•2d ago•41 comments

In a high-stress work environment, prioritize relationships

https://wqtz.bearblog.dev/high-stress-job-relationships/
283•wqtz•11h ago•178 comments
Open in hackernews

Membrane: Media Framework for Elixir

https://membrane.stream/
111•lawik•3d ago

Comments

victorbjorklund•7h ago
This is such a cool project. Haven't used it for any serious things but just the ability to have a high performance media streaming framework inside of Elixir is amazing. You literally could build Twitch just using BEAM and nothing else (a Postgres database is probably good to have though).
clacker-o-matic•7h ago
That would be the dream. Do you know of any major apps using elixir besides telecom?
dlachausse•7h ago
There are several companies that are known to use elixir in production...

https://elixir-lang.org/cases.html

throwawaymaths•6h ago
Tubi (relevant), Tvlabs, pagerduty, divvy

All not on the list.

There's also the legendary bleacherreport abandoning elixir and totally shooting themselves in the foot.

Several fintech companies moved off - brex, ramp. I think for brex they were told by VCs to hire XYZ CTO and the CTO couldn't elixir. Hilariously I ran into ramp people totally in the wild who complained that "they couldn't find elixir devs". I told them "you just randomly ran into one". I think their hiring processes were likely broken, but what's new in silly valley?

dlachausse•6h ago
I don't understand the fixation on hiring $LANGUAGE devs. If you can't find any developers using your current stack, pay for a course or a book for them and train them on it. Training a competent developer to use a new programming language has to be easier, cheaper, and faster than rewriting your entire software stack.
throwawaymaths•5h ago
If you're a cto hired in to a company you need to make your mark somehow.
jerf•6h ago
You can always find stories of people moving off of stacks. Sometimes they just legitimately evolved in a direction the stack wasn't the best solution for. Sometimes they should never have picked the stack in the first place. Sometimes a new leader came in who had preconceived notions that the company needed to conform with. You really have to look at the specifics of the story to know if it's relevant to you.

In my very opinionated opinion, it's actually reasonably uncommon for me to read a story of someone leaving a stack and not classifying it as one of the things I listed above. Of the cases I would consider "legitimate", it's usually a performance issue; some languages and runtimes are just intrinsically slower than others, or at least, intrinsically slower without an unrealistic amount of effort. (Elixir would be middling here. BEAM is kind of between the dynamic scripting languages and the compiled languages. The interpreter is simple enough that it can run much faster than the dynamic scripting languages but it would be completely unacceptable performance for any compiled language. You can run out of performance in BEAM, but it does take a system that needs performance and some growth to get there.) The rest are probably complexity explosion of some framework, and this is almost always a UI framework problem.

luckywatcher•5h ago
Divvy still uses Elixir extensively. I use to work there and still have many contacts there.
lytedev•5h ago
Currently work here and we're definitely still building and supporting Elixir applications and enjoying it!
throwawaymaths•5h ago
Thanks. Updated. Something about the best way to find an answer is to write an incorrect answer on the internet! ;-)
cultofmetatron•6h ago
my startup is using elixir in production for the last 5 years. we are a cloud based restaurant POS.

no regrets. the ecosystem has been pretty solid for everything we've wanted to do. Stability/performance has been very good.

also: if you're looking for a high profile startup using elixir, supabase is almost entirely elixir and discord uses it for some critical parts.

rched•4h ago
Are you willing to share the name of your startup?
cultofmetatron•3h ago
https://blinqme.com/
atonse•5h ago
We’ve been running elixir in production since 2017.

During the pandemic, our elixir app sent/received 45 million text messages, helped schedule 1.5 million vaccination appointments, and a few million COVID testing appointments.

It all scaled and performed flawlessly. Any bugs were our fault :-)

fridder•4h ago
Cars.com did a pretty extensive rewrite to Elixir
vishalontheline•4h ago
OkNext.io is built using Elixir and Phoenix framework, if you're considering building a Web App and looking for examples.
paradox460•2h ago
PagerDuty, Pinterest, TheRealReal, Discord, Cars.com, Bleacher report
giancarlostoro•44m ago
Discord, Facebook Messenger iirc was ejabberd and I think Google Talk was at one point? WhatsApp was ejabberd too iirc.
ettomatic•1h ago
At the BBC we use Elixir quite extensively. I'll talk about this at ElixirConfEU in a few days if you are interested.
dlachausse•7h ago
The BEAM even includes a database - Mnesia...

https://www.erlang.org/doc/apps/mnesia/mnesia.html

throwawaymaths•6h ago
Honestly I think mnesia is one of those "don't use it unless you know what you're doing" things. Just use postgres.
jerf•6h ago
Mnesia is not a database by any modern definition of the term and it should generally be avoided. It is at least 4 if not 5 orders of magnitude away from "being able to run Twitch". That is, yes, I'm serious, if you tried to run a Twitch clone "but 10,000x smaller" I would still expect Mnesia to completely fall over.
toast0•5h ago
Mnesia worked well enough for us at WhatsApp while I was there; although we didn't use it to store messages; long term message storage is on the end points (generally sqlite), messages in transit (offline) were stored in a file per user with the import/export written in C IIRC. We did add redundant in memory storage of messages in transit; but I don't remember the storage there; may have just been ets.

We mostly used mnesia as a replicated key-value store, but we got a lot of value from having the data and the business logic colocated. Other nodes would send logical operations to processes on the mnesia node and those processes could run each operation one at a time on the data. Any concurrent logical requests for a given piece of data were implicitly serialized by the process mailbox. But almost all of our data was easy to shard, no high volume operations needed to address multiple tables.

We heard a lot of things about mnesia scalability limits that just didn't match up with our experience; so I don't know what other people were doing, but you can get a glimpse of what we were doing in the Rick Reed talks at Erlang Factory. We certainly had some scalability challenges, but many (most?) are discussed in those talks; and my general recollection is that most of them were more like we were the only people running mnesia with tables of enormous size, so we had to make things work; but that's kind of how OTP is. The trickiest one to find, IMHO, was that IIRC mnesia_frag and ets (and our request sharding) all use(d?) the same hashing function, so adding more fragments would make distribution of keys per ets slot worse, ets wanted power of two slots, and would split based on average keys per slot, but we would have lots of keys on some slots and no keys on most slots. Changing the hash seed for ets was a 2 line code change that drastically improved performance on all of our sharded mnesia systems.

Another fun one is that if you use mnesia to store data for long periods, you have to be very careful with the binaries you store; it's easy to end up with refc binaries that have extra space for append operations; storing them in mnesia means that append space is allocated but unusable; you might also store a sub binary that's a small part of a refc binary, the underlying binary can't be disposed of until the sub binary is. For both of those cases, cleaning the binaries before storing them with binary:copy/1 can really reduce your memory use. There's probably some cases where you do want to store a sub binary though?

Mnesia doesn't (or didn't) include a good way to handle when two mnesia nodes sharing a schema disconnect and reconnect. We mostly solved that by ensuring our network was stable enough that that rarely happened. If your network is not stable, you will have a bad time with distributed Erlang in general, and Mnesia in specific.

If I were building Twitch but smaller, and on the BEAM, I would absolutely put account databases in Mnesia; but messages and media would probably live as files. I wouldn't tend to put those into a SQL database on a server either though.

schultzer•5h ago
mnesia is great, and you can get very far before you would make the jump to anything else. And it can be way faster then any other database. For obvious reasons.

Although it would be great if it spoke SQL, maybe one day it will: https://github.com/elixir-dbvisor/sql since we can already pass it and get the AST.

troupo•5h ago
And when you do have to jump off, you'll be screwed. Because the jump off is usually from in-memory Mnesia with guaranteed sub-millisecond responses to a proper database with at least a magnitude higher latency. And you realize that your app is completely dependent on sub-millisecond responses :)
schultzer•4h ago
Low latency is addictive. And by the time when you think you might need to change you’re probably become such a skilled engineer that you realize that everybody that shit on mnesia does not know what they talk about. :)
Sean-Der•6h ago
Fantastic project, and the team behind it is really good! The developers I have worked with are passionate about building things the right way (not just making it work/adding kludge).

I felt like I was seeing the future when I saw the visualization/rendering of PeerConnection stats on the server side. The video compositor is really neat also how they have it working with live modifications.

I wish I had more time/a chance to use it on a project myself.

mml•6h ago
I really wish Nvidia had gone in this direction instead of gstreamer :/
AlphaWeaver•5h ago
I looked at using this for a client project a few months ago. We use Erlang and Elixir at work, and it's my go-to for anything serious.

Be aware that parts of their stack use a custom license for some components... but a large portion of it is OSS Apache 2.0, which is nice if you can stick to those parts!

kingofheroes•5h ago
I recall doing a tutorial for Exilir, the Phoenix framework in particular, a few years back and I actually enjoyed using it. Anyone know any good up-to-date tutorials someone could use?
malkosta•4h ago
The official ones are still the best: https://hexdocs.pm/phoenix/overview.html and https://hexdocs.pm/elixir/introduction.html
tortilla•3h ago
For Phoenix/LiveView, the pragmaticstudio's courses are great. I just completed https://pragmaticstudio.com/courses/phoenix
nw05678•3h ago
During my foray into Elixir I never found the develop environment as smooth as other languages.
bo0tzz•2h ago
A bunch of work is currently going into improving that.
innocentoldguy•2h ago
What do you mean by "develop environment"? Are you referring to IDE support or features like mix, IEx, pry, releases, etc.?

If the latter, Elixir has one of the best development environments, in my opinion. Mix is fantastic, releases are easy, and Elixir's error messages in IEx are the clearest I've seen in my 30+ year career.

I use Emacs to write code, and beyond syntax coloring, I don't want anything else, so you may have a point if you're talking about IDE support.