HN user

_kb

3,517 karma

Signals and systems enthusiast. Appreciator of determinism. Technoplebeian.

https://simple.industries/about.html

Posts27
Comments307
View on HN
news.northwestern.edu 2d ago

Spinning drone hides in plain sight

_kb
2pts1
www.abc.net.au 4mo ago

AI is helping choose targets in Iran war – now it's a target too

_kb
1pts0
corecursive.com 7mo ago

Godbolt's Rule When Abstractions Fail

_kb
1pts0
linuxcontainers.org 8mo ago

Incus-OS: Immutable Linux OS to run Incus as a hypervisor

_kb
188pts69
www.pzuraq.com 11mo ago

Signal Relays

_kb
2pts0
www.youtube.com 11mo ago

Ocean-2 [video]

_kb
2pts0
james-iry.blogspot.com 1y ago

A Brief, Incomplete, and Mostly Wrong History of Programming Languages (2009)

_kb
2pts0
blogs.esa.int 1y ago

Cosmos-482 descent craft re-entry prediction

_kb
26pts5
www.youtube.com 1y ago

Jensen Huang on GPUs [video]

_kb
2pts0
pedestriancatch.com 1y ago

Pedestrian Catch

_kb
1pts0
www.youtube.com 1y ago

Surfing with Wavelets (2015) [video]

_kb
1pts0
andymatuschak.org 1y ago

Why Books Donʼt Work

_kb
3pts0
edwardtufte.github.io 1y ago

Tufte CSS

_kb
1pts0
grafana.com 2y ago

Grafana Alloy: OTel collector and OpenMetrics scraper

_kb
1pts0
scifiinterfaces.com 2y ago

Sci-Fi Interfaces

_kb
63pts4
www.nextplatform.com 2y ago

FRR: The most popular network router you've never heard of

_kb
3pts0
pi-clock.com 2y ago

π-Clock (current time in the first 10k digits of π)

_kb
5pts0
twitter.com 2y ago

2D Rubik's Cube

_kb
4pts0
hap.video 2y ago

HAP Video Codecs

_kb
1pts0
messaginglayersecurity.rocks 2y ago

Messaging Layer Security (MLS)

_kb
4pts1
www.youtube.com 2y ago

Data Center Tour and Technical Deep Dive into the Power, Data and Cooling Infra

_kb
18pts0
www.moserware.com 2y ago

A Stick Figure Guide to the Advanced Encryption Standard (AES)

_kb
2pts0
blog.cloudflare.com 2y ago

LavaRand in Production: The Nitty-Gritty Technical Details (2017)

_kb
1pts0
www.isik.dev 2y ago

Eigentechno

_kb
2pts0
kisslinux.org 4y ago

A Linux distro with a focus on simplicity and the concept of less is more

_kb
169pts83
lab.cccb.org 6y ago

The Internet of creation disappeared. Now we have surveillance and control

_kb
464pts200
github.com 6y ago

Nixery: Transparently build and serve containers using Nix

_kb
192pts27
Claude Fable 5 1 month ago

It was a bit of humour. It would be much for feasible to have an LLM generate programs that solve those problems rather than solving directly. I tried to make a start, but I couldn't even vibe a simple tool that would let me reliably validate if generated solvers would halt or loop forever.

Is thinking about music as applied mathematics a good way to create good music? Or is it just the most easily digestible model of music for the crowd on this site?

It's a great way to analyse music (e.g. to categorise, understand, and communicate detail), but that does not mean it's a good way to create it. There's a lot of beauty in finding those abstractions and I think that representation appeals to a lot of people here.

Discussions about timbre, instrumentation, and stylistic influence are often symmetric to those about math. When you have 90 minutes to spare, highly recommend strapping in for a listen to https://malwebb.com/notnoi.html.

There's a lot of really incredible musicians, composers, producers, and educators that go deep on the math. There's also plenty that don't. People build mental models in different ways. That's a good thing and a big part of what makes most art interesting.

That's certainly true to an extent. Other commenters have already highlighted necessary complexities. There is absolutely a lot of very entrenched "ways-of-working" that add unnecessary complexity, as with every domain. Not everything is a technical problem though and the social / process side of this sort of setup is what can make it work at all.

The approach that you're hinting mostly describes the general direction of remote production (https://video.matrox.com/en/media/guides-articles/what-is-re...). The big traditional players are already across that (https://www.grassvalley.com/ampp/, https://www.rossvideo.com/use-cases/remote-production/), AWS also has a plethora of services to lock you into their stack (https://aws.amazon.com/media-services/), and there's interesting new players too (https://www.tryiris.ai). There's a heap of different workflows out there, and OB trucks like the one highlighted here are just one of those.

ST 2110-22 is codec agnostic. It just standardises CBR compression, for which JPEG-XS is a good fit today.

For plug-and-play IPMX (https://ipmx.io/about/) is looking to be a pretty promising approach that combines ST 2110 with NMOS, auth, encryption and other useful features. It's targetted at the ProAV market but IMO should be mostly suitable for consumer use.

Contracts in Nix 6 months ago

This is a really good take.

I think the core caution is this is not type-level checks. Anything this validates still needs to be eval'd. It's not a guarantee of correctness for all inputs but does look to be a fairly light (and useful) tool to make unexpected states easier for you and others to identify.

Prism 6 months ago

For images surely this is the next pivot for hot dog / not hot dog.