elikoga

I think the interpretation is that red hat devs are over-represented in terms of ratios compared to market cap weighting of all companies contributing to linux or similiar

I feel somewhat inspired to make a public link shorteners and http bins as well. I used them a few times but it seems like the data they can collect is also worth gold

This is total slop but it's also interesting to read about experiments with llms

Hard to read but interesting to see someone talk about their system being infected

My belly says the naive formula is summing the triangle pyramid volumes to the origin with sign in orientation. It looks like that's what they derived. Which is a generalization of 2d polygon area calculated by summing triangle areas for each edge, I was taught this in a math camp where we calculated map polygon areas on gis data. I remember math knowledge being hard to get pre AI era but I didn't remember it being this hard.

No idea what the author means by "which are equivalent to rendering the mesh and then sampling the render".

You probably weren't ipv4 poor back then.

I disliked the fact that the experiment only covered prose, which my eyes glossed over and made me actually do random entries to pass on and see the results. I'd love to see it on a more accurate output distribution like commented code

I agree in some sense. In some other sense smaller alignment problems are live right now.

This reads like Ai slop without any deeper insights.

I like using it but I get the feeling the author is not benchmaxxing in ci properly

Seems to be a five day rolling window?

First time I've seen "VWAP" - Volume weighted average price. Though it's not immediately clear over what timescale they average

> this means that autoresearch will find the most optimal model for your platform in that time budget

I'm looking forward to finding out what model is optimal on my rtx3090

One thing I'm concerned with is that the model with best bpb after 5 minutes in smaller setups are only about ~10M Parameters in size which is too small for some emergent effects.

I've had a lot of fun playing openfront so it's a pity you're having trouble. Have you contacted the EFF foundation?

I’ve been working on Thymis, an open‑source device management platform, and just published a short demo showing how to take a fresh Raspberry Pi and boot it straight into a fullscreen YouTube kiosk in under 5 minutes.

The interesting bit (to me, at least) is zero‑touch provisioning:

You only flash one generic image per device type. On first boot, the Pi connects back to a controller (cloud or self‑hosted). It automatically pulls Wi‑Fi + kiosk config, provisions itself, and starts Chromium in fullscreen. Optional VNC lets you see the screen remotely, even behind NAT.

The blog post is a simple demo (digital signage is a common request), but the broader aim is scaling fleet management for Pis and other NixOS‑based edge devices without manual setup.

Would be curious how others here have handled digital signage, kiosks, or multi‑device deployments — we tried to minimize the usual “burn SD cards + SSH into everything” pain.

Potentially relevant:

   Show HN: Torch Lens Maker – Differentiable Geometric Optics in PyTorch (63 days ago) 2025-03-21

https://news.ycombinator.com/item?id=43435438

https://victorpoughon.github.io/torchlensmaker/

In my opinion it's a tragedy there are so few resources in using "Propositions as Types"/"Curry–Howard correspondence"[0] in didactics in tandem with teaching functional programming to teach structured proof-writing.

Many students do not feel comfortable with proof-writing and cannot dispatch/discharge implications or quantifications correctly when writing proofs and I believe that a structured approach using the Curry-Howard correspondence could help.

[0]: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...

The NixCon is in session right now so all the core contributors are chatting in person.

Horrifying half-knowledge in the explanation of annealing section:

> Annealing starts with a weak piece of metal. In such a piece, the metal’s atoms are spread unevenly: Some atoms are close enough to share magnetic bonds, but others are too far apart to bond. The gaps that are left lead to microscopic deformities and cracks, weakening the metal.

But the result is great! Beautiful algorithmic design work!

It's been great for me!

The company I work for right now uses NixOS for all* Bare-Metal Hosts and VMs that run atop them. Personally I run my Home-Lab/Personal-Computing-Setup all on NixOS.

You have to consider that Nix is a language (turing complete, for describing build-processes) and treat it that way too. It has a similiar, if not harder, learning curve to other languages. Especially since most people are usually not exposed to concepts such as lazy evaluation, functional programming, etc.

Implemented here in haskell, didn't even add screenshots back then ^^'

https://github.com/elikoga/jsless-chat

The $n$ in the title refers to the amount of edges.

(requires constant-time multiplication) from https://en.wikipedia.org/wiki/Shortest_path_problem#Single-s...

When searching for "console.log(isEven(50));" "// → true", which is one of the parts that the complaints is about, since this is also reproduced inside a Programming learning book: We get with cs.github.com

" Showing 1 - 20 of 66 files found (in 76 milliseconds)"

So, if this lawsuit succeeds in some way shape or form, does the author have a case against the 66 people that reproduced these lines in their own repository?

Like this? https://github.com/ZoloZiak/WinNT4

> Mastodon instances will be down in matter of seconds

what, why? The load is hardly that high.

cannot?

> Do you have to be on NixOS to use the OCI images outputtable by nixpks/nix package manager

No

> can you build OCI images using Nix from Mac/Windows/other non NixOS Linux?

Non NixOS Unix, not Windows yet, unless you use WSL or a VM

Flying Circus | Application Operations Engineer | Halle, Germany | REMOTE https://flyingcircus.io

Flying Circus is a German service provider doing “DevOps as a Service” for software developers and application owners. We take over the responsibility of technical operations and are a day-to-day partner to create and maintain business critical custom applications. Based on our real-life experience of simple and complex projects we provide a NixOS-based hosting platform with a flat-fee pricing model that makes operations a predictable and sustainable cost.

We are looking to grow our application operations team! Knowledge in the areas of Linux administration, automated deployments and Web application operations as well as being familiar with Python and Git is helpful for the the position.

Please note that we require German as a professional (not necessarily first) language, so here's the job offer in German:

https://flyingcircus.io/de/careers