elikoga

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://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

Tried to use it and it didn't fit my usecase: Recursive Types are a bit difficult

Looks great otherwise

A minority did vote for trump though

Wow this is fun!

Wow, great investigation article

CORS apparently breaks the site for me

A GPT-3 product exposing GPT-3 outputs by design hardly is "breaking"

The "Wǒ bù huì[...]" part means "I negate/not can[...]"

It means precisely the opposite.

This looks like a wonderful library! I'm wondering how a handwritten font could fit into this api, a font like in https://github.com/timqian/chart.xkcd

This seems to me very worth looking into

I think https://github.com/markedjs/marked would be one of the more popular libraries in this category