elikoga

The French state might as well not exist anymore at this point. It's like the last breaths of a dying man

My girlfriend got this recommended on steam and I thought I remembered seeing a post on HN about it but apparently not!

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.

It's obviously ai prose but knowing it is good to know I guess

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.