frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Show HN: I'm an airline pilot – I built interactive graphs/globes of my flights

https://jameshard.ing/pilot
1107•jamesharding•14h ago•165 comments

Normalizing Flows Are Capable Generative Models

https://machinelearning.apple.com/research/normalizing-flows
92•danboarder•6h ago•23 comments

A brief history of children sent through the mail (2016)

https://www.smithsonianmag.com/smart-news/brief-history-children-sent-through-mail-180959372/
86•m-hodges•7h ago•76 comments

Learn OCaml

https://ocaml-sf.org/learn-ocaml-public/#activity=exercises
80•smartmic•7h ago•23 comments

C compiler for Web Assembly (c4wa)

https://github.com/kign/c4wa
18•90s_dev•3d ago•3 comments

James Webb Space Telescope reveals its first direct image of an exoplanet

https://www.smithsonianmag.com/smart-news/james-webb-space-telescope-reveals-its-first-direct-image-discovery-of-an-exoplanet-180986886/
140•divbzero•10h ago•63 comments

SymbolicAI: A neuro-symbolic perspective on LLMs

https://github.com/ExtensityAI/symbolicai
124•futurisold•8h ago•38 comments

Reinforcement learning, explained with a minimum of math and jargon

https://www.understandingai.org/p/reinforcement-learning-explained
61•JnBrymn•3d ago•1 comments

Multi-Stage Programming with Splice Variables

https://tsung-ju.org/icfp25/
19•matt_d•4h ago•2 comments

Qwen VLo: From "Understanding" the World to "Depicting" It

https://qwenlm.github.io/blog/qwen-vlo/
174•lnyan•13h ago•50 comments

Facebook is starting to feed its AI with private, unpublished photos

https://www.theverge.com/meta/694685/meta-ai-camera-roll
97•pier25•3h ago•59 comments

Structuring Arrays with Algebraic Shapes

https://dl.acm.org/doi/abs/10.1145/3736112.3736141
67•todsacerdoti•7h ago•5 comments

Weird Expressions in Rust

https://www.wakunguma.com/blog/rust-weird-expr
145•lukastyrychtr•12h ago•111 comments

10 Years of Pomological Watercolors

https://parkerhiggins.net/2025/04/10-years-of-pomological-watercolors/
173•fanf2•13h ago•28 comments

nimbme – Nim bare-metal environment

https://github.com/mikra01/nimbme
48•michaelsbradley•9h ago•11 comments

Transmitting data via ultrasound without any special equipment

https://halcy.de/blog/2025/06/27/transmitting-data-via-ultrasound-without-any-special-equipment/
99•todsacerdoti•10h ago•31 comments

bootc-image-builder: Build your entire OS from a Containerfile

https://github.com/osbuild/bootc-image-builder
35•twelvenmonkeys•3d ago•9 comments

Spark AI (YC W24) is hiring a full-stack engineer in SF (founding team)

https://www.ycombinator.com/companies/spark/jobs/kDeJlPK-software-engineer-full-stack-founding-team
1•juliawu•6h ago

Theoretical Analysis of Positional Encodings in Transformer Models

https://arxiv.org/abs/2506.06398
19•PaulHoule•5h ago•1 comments

New Process Uses Microbes to Create Valuable Materials from Urine

https://newscenter.lbl.gov/2025/06/17/new-process-uses-microbes-to-create-valuable-materials-from-urine/
27•gmays•9h ago•6 comments

Rust in the Linux kernel: part 2

https://lwn.net/SubscriberLink/1025232/fbb2d90d084368e3/
77•chmaynard•5h ago•6 comments

Show HN: Do you know RGB?

https://maxwellito.github.io/do-you-know-rgb/
61•maxwellito•3d ago•47 comments

The Journey of Bypassing Ubuntu's Unprivileged Namespace Restriction

https://u1f383.github.io/linux/2025/06/26/the-journey-of-bypassing-ubuntus-unprivileged-namespace-restriction.html
17•Bogdanp•6h ago•3 comments

Does a Focus on Royalty Obscure British History?

https://www.historytoday.com/archive/head-head/does-focus-royalty-obscure-british-history
18•pepys•3d ago•5 comments

Whitesmiths C compiler: One of the earliest commercial C compilers available

https://github.com/hansake/Whitesmiths-C-compiler
99•todsacerdoti•4d ago•31 comments

Glass nanostructures reflect nearly all visible light, challenging assumptions

https://phys.org/news/2025-06-glass-nanostructures-visible-photonics-assumptions.html
29•bookofjoe•3d ago•4 comments

Slightly better named character reference tokenization than Chrome, Safari, FF

https://www.ryanliptak.com/blog/better-named-character-reference-tokenization/
50•todsacerdoti•1d ago•8 comments

Parameterized types in C using the new tag compatibility rule

https://nullprogram.com/blog/2025/06/26/
132•ingve•22h ago•65 comments

A New Kind of Computer (April 2025)

https://lightmatter.co/blog/a-new-kind-of-computer/
43•gkolli•4d ago•18 comments

PJ5 TTL CPU

https://pj5cpu.wordpress.com/
81•doener•20h ago•2 comments
Open in hackernews

Learn OCaml

https://ocaml-sf.org/learn-ocaml-public/#activity=exercises
80•smartmic•7h ago

Comments

b0a04gl•5h ago
picked up ocaml back when prepping for some interview round, didn’t expect much just wanted the functional knowledge. but later used it for advent of code and it just worked so clean. pattern matching, recursion, immutabilitty.. fits those problems naturally. ended up liking the language way more than planned.
hyper57•5h ago
Loved using OCaml for a compiler course at uni when I was a student. But I've always felt that the tooling side is pretty rough, especially on Windows. Opam recently added Windows support, but it involves installing MinGW, and when following the official docs https://ocaml.org/docs/installing-ocaml#install-platform-too... the process breaks down with an error when trying to install utop due to a path separator error, which one has to fix manually (at least that was the case last time I tried). By comparison, installing Python or Rust on Windows is a breeze.
lor_louis•5h ago
Even in Linux, I'd say the tooling is a bit rough, dune and the new lsp are going in the right direction though.
jact•4h ago
Dune is a very powerful and good build system — it can do some very magical and useful things. The only problem is most of these useful features are very poorly documented…
BrawnyBadger53•3h ago
The sluggishness of setting up new opam switches is definitely limiting in my experience
emacdona•2h ago
Never played with OCaml, but I spent the past few days learning about F# (my understanding is that it inherits a lot from OCaml). Tooling seemed great: I used JetBrains Rider; VSCode and Visual Studio are also options. Support seemed great: good official docs; good book choices. Ecosystem seemed great: entire .Net class library.

I’m been on the JVM for 20+ years, but an opportunity came up to leverage some of my other experience to get some CLR work… and I dove in.

luxurytent•4h ago
If I learned OCaml, what type of prospects would I have?

Fairly seasoned generalist, mostly writing Go these days. Lots of plumbing with LLMs etc.

Would love to learn something new but am driven by a goal in mind (ie OCaml exposes me to "X industry")

Is that a thing?

iLoveOncall•4h ago
Learning OCaml exposes you to the sadomasochist industry, that's about it.
HocusLocus•2h ago
name checks out: iLoveOCaml
wk_end•3h ago
Probably the biggest sectors where functional programming is used are finance and crypto (which is arguably finance). Some companies use OCaml itself, other companies might use other languages like Haskell where OCaml knowledge would be valuable.

You can see a list on the OCaml website of companies using it, or read some success stories (https://ocaml.org/industrial-users).

Rendello•3h ago
The trading firm Jane Street is the big OCaml shop, they have a great podcast about all their tech. Each episode is someone from a team talking about the tool they've built, and their whole ecosystem is pretty much bespoke OCaml tooling.

- https://signalsandthreads.com/

(It's one of three programming podcasts I consistently listen to these days, the others being On The Metal and Developer Voices.)

xedrac•1h ago
Bespoke tooling makes me think that the standard tooling is lacking. How does it compare to Rust's tooling?
mbac32768•57m ago
lol

imagine everything that's good about Rust tooling but significantly less good or non-existent instead

(the VS Code plugin for OCaml is actually decent though)

keysdev•3h ago
OCaml is like nim, not many ppl knows about, but it is one those tech once over the learning curve it just gives developer an extra edge.

It is a very good alternative to memory safe language such as Rust and Swift. It is just NOT backed by big corporations. Which some might see it as a disadvantage, IMHO it is an advantage. Look at Perl, Linux, Hono all initially made by one guy.

With out a big group, golden handcuffs and corporate politics, things might actually gets done.

sealeck•2h ago
Lots of cool stuff does seep out of Jane Street, though. See for example https://oxcaml.org/ as probably the most recent very public example
AdieuToLogic•2h ago
> If I learned OCaml, what type of prospects would I have?

At one point, I believe KDE[0] had OCaml integrations and/or community support.

0 - https://kde.org/

dewey•2h ago
Jane Street would be one of the big names that also sponsors a bunch of events / resources.
mtlynch•3h ago
As someone interested in learning OCaml, this felt like a pretty inaccessible introduction.

Having seen "A tour of Elm,"[0] I really prefer that style. The left-hand side (what English readers read first) is an explanation of the concept, then the right side is the code, and the explanation gives you enough details to complete the code.

This introduction doesn't really explain anything, as I guess it assumes you've learned OCaml elsewhere and are just here to practice.

I tried the first exercise, and it felt more like a math problem than an exercise to teach a programming concept:

>Suppose that a variable x exists and is an integer.

>Define a variable x_power_8 that uses three multiplications to calculate x to the power of 8. The only function you are allowed to call is the (*) operator.

>Hint: use auxiliary variables.

So, at first I thought I was supposed to just call multiply eight times, and then I realized that they said you can only call multiply three times. So, you're supposed to do let a = x * x; let b = a * a; let x_power_8 = b * b. But that feels really contrived to me and not like anything I'd write in a real application, even a toy one. If the idea is teaching variables, why not just ask me to declare a variable that represents x plus 1?

[0] https://a-tour-of-elm.axelerator.de/#JSFunctions

lairv•2h ago
In ocaml you would rather do something like this: let x_power_8 = (let a = x*x in let b = a*a in b*b);

a, b variables are just used for computing x_power_8, you don't need them outside of this scope. I think the point of the exercise is to use variable binding, though I agree the website doesn't explain much

cbarrick•40m ago
For historical context, I'm pretty sure "A Tour of Elm" is inspired by the similarly formatted and similarly excellent "A Tour of Go".

https://go.dev/tour/

ggerules•23m ago
Clicking on the introduction dropped you directly into a programming problem... where you actually needed to know some ocaml.

Context is needed... at least some explanation or bridge examples, like... why and what do I need to navigate this particular web landing page.

Website feels like an author exercise in ocaml for js web plugin.

fr4nkr•2h ago
Very nice site, but it seems to expect you to be following along with some other resource. The exercises each have links under the details tab, but the links are broken, and I cannot find the web pages they are supposed to be linking to.
transpute•34m ago
"Thoughts on Rust vs. OCaml" (2020), https://news.ycombinator.com/item?id=24223018

  At Rust Chipotle, they have strict rules about the ingredients for your burrito. "White rice with medium salsa, sir? Absolutely not!". You see, medium salsa only goes with brown rice, and you also need to have beans or nothing works. Under no circumstances will they allow you to construct the burrito you think you want, no matter how much you think you want it.

  Meanwhile, at OCaml Chipotle you can have whatever you like, and it always turns out awesome. But once a month you go for lunch and they'll refuse to make you a bowl, refuse to tell you why, and refuse to let you leave. And when you try to get help from a passerby after being trapped in the store, you realize there's nobody nearby who you can ask.