skysight-inc/HackerNews huggingface dataset:
I've spent years slowly migrating a personal project from PHP to Scala/React, and I'm devastated if React is out-of-date already. The web tech treadmill is relentless!

Seems the author recommended HTMX as an alternative in a couple of scenarios including my own use case (https://caption.me).

I checked out HTMX. The canonical example on the homepage (https://htmx.org/) was a button where a click calls the server and the response contains HTML to replace the outerHTML of the button.

I must be missing something here. Is HTMX really suggesting muddying the back-end code with front end code? So, any changes to front- or back-end would have to be carefully managed to avoid breaking the other side?

Feels like PHP all over again!
I don’t think “consumerism is when people purchase luxury goods, especially goods I disapprove of” is a meaningful definition.
Good writeup of 'Combinatorial coordinates for the aperiodic Spectre tiling' from Simon Tatham here : https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/aperi...
'It's so easy to lie': A fifth of children use fake age on social media
Give Whisky a shot. Yeah, it’s a 20 year old game, but I was able to get Half-Life 2 running at 1080p with all settings maxed on my Mac Mini. The only slow down I experienced was when a bunch of barrels exploded at the same time.

https://getwhisky.app/
Without overfull hbox warnings this is just half the fun :(
> codified standards for how to do things

I don't know you but i bet that if you and me were locked up in a room together for a month we wouldn't be able to 100% agree on "codified standards for how to do things" :)

Industry isn't mature enough for that and it's perhaps doubtful that it will ever be. See the halting problem.
Show HN: A 3D visualization of the 8-bit ANSI colors
Hellu! After realizing that me and my partner visualize the 8-bit ANSI colors differently. So I made a visualization with JavaScript, HTML and CSS.
So I through you guys might appreciate it as well!

repo: https://github.com/coffeetails/ansi-colors
So it stops 80% of kids from creating accounts? Great!
Using light years is perfectly appropriate when talking about trillions of kilometers because 1ly is about 9 trillion km. Should astronomers stop using light years?
It is under their costing for 'additional hardware'[1]. You need to factor in the switch, uplink for each server, and the NIC for each server.

[1]: https://docs.hetzner.com/robot/general/pricing/price-list-fo...
> The government shouldn't be worried about exactly how profitable something is, because you can argue that too many ways (see Hollywood accounting). It's too easy for large corporations to invent "creative accounting" tricks

This is also the core reason why tax systems should be simplified simplified simplified.
Humans have the need to read (2011)
From what I can see "software engineering" for the most part isn't really "engineering" in the sense that a PE or CEng would recognise?
Python type hints are probably "worth it" in the large for me
At the very least it is an interesting one and an amazing human accomplishment.
However the risks aren't necessarily proportional to miles travelled.

So for example with flights - I'd imagine the most dangerous parts are the take-off and landing - which happen once per trip no matter how long you fly for inbetween.

So for flights incidents / kilometer are perhaps misleading.
Before lightly using this argument I recommend using a language that really doesn't have types. The difference between getting your errors at runtime / compile time is much much smaller than the difference between those and not getting errors at all.
But per mile is the right way to measure it. Cars win per trip because there are so many short trips.
Imagine when we get the first interstellar ships. Even if 90% of them blow up at launch, it'd still be, by far, the 'safest' method of transit in existence if we use the deaths/mile stat.

Even for planes the stat is deceptive. Most people, hearing about the safety of flight, would think that if they replaced their car with a plane then they'd be far less likely to die in a crash, but that would be untrue because the real risk in flight is take off and landing - the distance traveled is near irrelevant.
Good tests do indeed not test the detailed shape of inputs and outputs, they test the system end to end. And they should be cheap to run, so you run them after every change. As soon as someone mistypes jobId the test will break and you will know where to look. If that would slip through then your tests simply aren't good enough.

And because tests do not test the detailed shape of inputs and output it becomes easier to try out a quick refactor of your code later, without having to change a zillion signatures just to experiment a little. Agility matters.
Professional liability insurance and legal insurance as a minimum.
Then you'll appreciate how the huge number is used to show "just how incredibly safe US airlines have become." No crashes since 2009, wow huge number! IIRC Finnair has the best record, no crashes since 1963 according to https://en.wikipedia.org/wiki/Category:Finnair_accidents_and...
I don't have one I can share publicly, but if you send me an email I'll see what I can do :-) Email is in my profile.

You'll need a bit of baseline networking knowledge.
As someone who used to work in electrical engineering but now does software, I almost refuse to use the word engineer for what I now do.
This is chicken-and-egg though, surely. If engineers are not personally liable for the garbage they produce, the business can replace the engineer with someone more amenable to their requirements (either because the engineer lacks experience to understand why its bad, or because the engineer has fewer scruples, or anywhere in between) with relative ease.

If all engineers are held personally liable for their code, when a business has faced a documented rejection, they’ll struggle to hire someone else to take on that risk.
For example, from the perspective of an algorithms junkie, there's literally 0 way an algorithms professor with algorithms research published would forget any of the basic algorithms they teach in an introduction to algorithms class.

Now what may happen is forgetting what it's like to be a naive, 18 year old freshman in college, and not somebody embroiled in academia for the past few decades.

But the audacity to suggest that it's even remotely within the norm for professors to not know their own material... wow.
It seems rather reductive to equate lack of explicit necessity with consumerism.

If I sing a song to myself, is that consumerism?

If someone else hears my singing and enjoys it, with no discussion of payment or exchange from either side, is that consumerism?
I tried that, but it broke all navigation links (including to the actual exercises).
A few million? Absolutely not. We can trace continuous lineages connecting all living things on earth to each other, and to ancestors hundreds of millions of years ago.

Could early single celled organisms have come from an asteroid? Perhaps, but almost certainly not. It is strictly less likely than Earth-bound abiogenesis. Life still had to spring from nothing somewhere - all panspermia does is layer on an additional series of long-shot coincidences.
> You can't make this argument for watching a movie, though. You can't substitute some crap movie like Gigli or The Room for the experience of a cinematic masterpiece like 2001: A Space Odyssey or Lawrence of Arabia. It's like comparing some 4-year-old's crayon drawing to a painting by one of the masters.

You can't substitute mspaint for photoshop either, what a weird take.

And you can substitute any capeshit movie for any other capeshit movie since they're all the same.

Your analogy makes no sense.
They both have their place when used in the appropriate context.

With aircraft, takeoff and landing are the riskiest activities, for example. So per trip reporting is relevant. The scope of what an incident is matters as well.
It's not even slightly tricky, just use self pipe. I have no idea why the maintainer of make rejected it. He says select has different signatures, but select is in POSIX, so unless he is porting to a non POSIX platform, it's irrelevant and even if he is, I doubt it is that hard to write a wrapper to abstract the non POSIX compatible implementation of select. Then he complains about needing to do CLOEXEC on the self pipe. This is trivial (one line) on Linux using pipe2 and about 5 lines of code on other platforms. Given that he says make does not use threads its also perfectly robust without pipe2.

Opting for a harder algorithm just to avoid a few lines of compatibility shims seems like very much the wrong tradeoff.
Im over 20 and i still lie on my age.
Not only did no one go to prison but Boeing got an incredibly generous deferred prosecution deal that said that if they didn't break the law for two years the government would drop the charges and then Boeing couldn't even do that and then plead guilty. But they only get a pretty tiny $243.6 million fine
Atomics for Humans
This is all well and fine, but feels like a lot of words to say "it's a matter of definition".

The question is what definitions will be useful and what properties you gain or give up. Being a partial function is a perfectly acceptable trade-off for mathematics, but perhaps it makes it difficult to reason about programs in some cases.

I suppose the aim of the article is to point out the issue is not one of soundness, which is useful — but I wish more emphasis had been put on the fact that it doesn't solve the question of what 1/0 should do and produced arguments with regards to that.
>Clean-ish room
I also thought it ok. I'm on 13 mini. There was a brief wtf with the photos app, especially as a use it for a QR code to get a cafe discount and was fumbling at the counter to figure where they'd moved all the controls to keep us challenged.

On the other hand being able to access the phone from the laptop via mirroring is cool and there's another feature that started working which was bugging me for years which is for iphone-laptop tethering to resume automatically when you reopen the lid. Though not quite sure which os change did that. I also upgraded the laptop os.

The worst thing was with the macos laptop upgrade it mucked up all the python stuff and they've put in some new weird abstractions to deal with.
"Presumption about reliability of computers"

Anyone else get the sense that these were laws written without any input whatsoever from people who actually have working experience in complex systems?

I'm convinced that no moral software engineer would ever suggest a conviction on the presumption that the system is correct. At minimum you'd have to investigate.
Exactly. At least Google gives you an "Find image source" button that restricts the result to exact matches. If the Yandex artificial stupidity decides you actually want some different image you don't get a choice. IME the Yandex image index also seems much smaller than Google's.

OTOH Yandex still gives your direct image links and is better at showing you the largest versions of an image (although too often that's just a blurry upscale).
Are you looking for things that enhance Electron, e.g. JavaScript libraries, or are you also looking for other tools like Electron?

If you also look for the later, game engines like Godot might also be worth a consideration. With it you got a lot of flexibility to build what you want while also making the coding part slightly easier.
theplanet.com anyone?
Oh yeah definitely, and Averroes and the other medieval Islamic scholars as well. Absolute intellectual giants.
PydanticAI Agent: Framework to Use Pydantic with LLMs
Statistics only has power when aggregating large numbers of events.
I think the hallmark of a low code solution is that you don't have to worry about build systems, project setup or deployment. Those barriers hinder software engineers and laymen alike.
> What we need is a better framework for punishing bad software

So like engineering licensing and insurance?
Show HN: BraidTry – Virtual Wedding Hairstyle Try-On
Those miles would have never been done all on road so that comparison falls really short. People wouldn't drive coast to coast multiple times a year on business trips, just as they do the same with flying.

But an analogy with hours travelled via plane/car/train/bus would be interesting
Spiral out and keep going?
I wonder if you could solve the PageRank problem by backpropagating negative scores for known bad sites. Then if someone sells out all they end up doing is ruining their own reputation.
I'll plead ignorance here, and ask for clemency on the grounds that modern coinages like "conurbation" may be exempt, and also that there seem to be notable exceptions to this rule, like this example I've thrown together[0] :

"con"+"iacio" (also "jacio")
=> "conicio" (also "coicio" also "conjicio")

(Also "coinstar" is a trademark of those spare change gobblers you find after the register at Walmart.)

[0] https://www.perseus.tufts.edu/hopper/text?doc=Perseus:text:1...
It can once you point it out in the training data, hence we cannot know if it understands anything unless we can __prove__ that it wasn't in the training set (which we can't)
> so unless he is porting to a non POSIX platform

Very likely gmake works on non-posix platforms. Whether there is a requirement that the jobserver also works there I don't know.

It also needs to work on non-linux platforms. So a portable solution (or multiple non-portable ones) is needed.
Very neat — been looking for something like this! I've just signed up. Feels great to be part of this little social space!

Just a few questions:

1. Have you thought about adding an API? I can see myself submitting things to this site more if I could somehow integrate it with VSCode so that I can create a new post after having pushed a commit.

2. Have you also thought about adding a comments system, much like we have here on HN? I think that could be useful to allow people to ask questions about projects others are working on. I can see this site almost being like Show HN, but without the expectation that projects are in a finished state. Just wondering what your take is on that though!

3. Would it be useful to have some sort of categorisation functionality (like hashtags)? That way, smaller communities around specific niches (such as game dev, frontend, systems dev) can form and would allow you to see more posts that you're interested in.

These are just a few ideas I have — don't feel that you're obliged to take them onboard as I understand that there might be a certain direction you want to take this site!
Hey, I wrote this article. Just wanted to really thank you for saying that. I also felt like "why didn't anyone tell me this" so I wanted to share it :-)
It is partially on the countries where one cannot just slap engineering on their job title as they feel like.

Where signing off contracts does have some implications beyond "it works on my computer".
ye gods, can we come up with a "law" to describe appealing to the halting problem?

Just because there are unanswered questions that doesn't mean we can't have bare minimum codified standards.

Furthermore, standards aren't invalidated just because practitioners disagree with them. Plenty of <insert engineer type>s disagree with the standards body of their respective field, they still follow the standards out of fear of prosecution or simply as a path of least resistance and when those standards are found to be defective, they (generally) evolve.
If printing to pdf looked better and if it could do footnotes then this would go a long way before actually needing to switch to latex!
> Like how they learn biology.

How do they learn biology?
> Just how low can government and politicians get.

As low as it takes for a profit!
For want of a "real" H&J algorithm, and having problematic lines identified as "overfull boxes" which need to be fixed.
If it had only sent one person to jail we would never have know about it.

I am pretty sure more dependable systems send the odd person to jail - there have been many cases where someone was lucky not to be convicted.
Dolphin Progress Release 2412
Rails / Django / etc. are already low code in the eyes of a Go / Rust / etc. developer. No need to stretch the concept, really.
Yes, that is exactly part of being a Professional Software Engineer entails, and why there are universities assessed by Enginnering Order, and professional exams.

Lets stop glueing "engineering" to any job title where someone knows how to write a bunch of code lines.
> setting a precedent when it’s convenient is not the same thing as writing a law

In the UK, they're pretty much the same thing. You need a new case or a statute law to overturn a precedent.
Couple of points:

- I think taking interest on a (full-recourse) loan is a form of fraud. Or rather, it is to fraud what robbery is to larceny. I also think it produces, in practice, ownership in a share of a person, such that it can be usefully compared with slavery. I think I can make good arguments in support of this. But I don't think people who argue otherwise are dumb, or arguing from self-interest; I just think they haven't fully thought through it. You might extend the same leeway to someone widely acknowledge as one of the greatest minds in history.

- Please let me know of any anti-slavery arguments from that period you're aware of.

- Whether acknowledged or not, all anti-slavery arguments use Aristotelian concepts (as will any attempt at rational discourse, or any attempt at discussion of morals).
The point is that you gradually get better at it. And by gradually I mean exponentially. If you start with a problem at then end of the book, it'll be very difficult.
A drop in the bucket compared to the $30 billion
i've met countless people who aren't capable of watching a movie, they just sit there looking at their phone the whole time then claim the movie was stupid and/or boring and that they "didn't get it". if you ask them what a good movie is, they say something they liked from before they became phone addicts because they literally haven't watched a movie since.

i also personally struggle a bit with older movies (80s/early 90s) because they tend to have a slower pace and i instinctively want to start multitasking every time there's a lull in the action. i actually watched die hard for the first time last night and found it kinda slow and boring despite it being one of the most iconic action movies of all time.

there may or may not be a scientific study to suggest it can happen (although i assume there is) but based on my own experiences i am 100% certain that it is happening.
> I would go as far as to argue that category theory is the kind of math that is particularly well suited for the minds of programmers. That’s because category theory — rather than dealing with particulars — deals with structure. It deals with the kind of structure that makes programs composable.

I would argue this shows that Bartosz Milewski has no idea what programmers actually do. Programming is all about the particulars. Programmers are the ones who have to think about and ask "but what if the person's last name in their country of birth includes characters which our OCR system can't reliably discriminate" or "but what if an attacker sends us a small UDP packet with a spoofed source IP, will we send a lot of data to that IP and spam them?".

Programming is very, very rarely about abstract structure. We programmers are the ones who have to handle of the myriad nitty gritty details of abstract ideals, not the other way around. Sure, sometimes a nice abstract library can solve certain simple recurring problems. But that is a minute minority of all programming work. And if you don't enjoy getting your hands dirty and finding out how many pixels actually fit on the screen, or what exactly happens to bit 15 of the output register when bits 5 and 7 of the control register are set and the input signal is larger than 1024, then you won't last long in the profession.
I think historically the law was introduced to make it harder for people to contest things like speed camera based speeding tickets.
If you have even tiny a bit of experience incorporating in business-friendly jurisdictions (US, UAE, UK, etc) and you're asking yourself the very same question that is the title of that article, there is a simple way to find out.

Try to run a venture startup in Germany.
Exactly. I have used the site:reddit.com filter too but it's at best a hack that will only work until SEO scammers game reddit instead - and that's probably already well under way.

What is really needed is a search that lets me filter to results where the author doesn't profit from me seeing the result. Filtering for websites without advertising might be good enough. Not something Google will ever provide due to conflicting interests.
Thankfully not every country out there has such liberties with "enginnering" titles, but yeah that is a problem.
Yea, sadly they've gone full enterprise over the past few years. Once upon a time they were a small scrappy software company with both a price list and order form right on their website as well as a free Home license which let you use FME for 'play' and training at home. Now it's all "cloud hosted", "contact our sales team" and "dynamic subscription prices, tailored to your needs". Still it's a fantastic pieces of software once you manage to buy it.

For what it's worth I seem to recall base licenses started at roughly $3500 per user for the desktop version of their software last time they had a price list.
> The article cites “mechanical systems” as being infallible, and reading that language, it reads to me as some archaic legislation that never got updated for computer software.

Apparently the law was introduced along with speed cameras, as they were continually being challenged in court.
It doesn’t even need to be a diamond to have dependency problems. Suppose I have two dependencies, A and B. Dependency A also depends on B. Now I have two copies of B, one from my submodule and one from A’s submodule, and there’s no guarantee that these are compatible versions.
> State can be persisted (e.g., to storage, database or event log) between messages. If an actor crashes, it can recover its state on another node and resume processing.

And that's the part I never managed to solve, personally. The state of actors tend to look "a lot like" your domain objects, but you don't want to store it until the very end.

Do you have a data-model for each actor to store their own snapshots ? When do you snapshot ? When do you sync with the "ground truth" ? Do you have different tech for each kind of state (eg "term storage" for actors, then relational db for ground truth ?)
I agree that it is hideously complicated (to anyone saying “just use Rook,” I’ll counter that if you haven’t read through Ceph’s docs in full, you’re deluding yourself that you know how to run it), but given that CERN uses it at massive scale, I think it’s definitely prod-ready.
UH is famous at least in the high temperature superconductivity world.
> So here is a problem with the article: the author
> believes that what he calls "bicamerality" is unique to
> LISPs, and that it also requires some S-expr/JSON/XML-
> like syntax.

I didn't find that assumption anywhere in the article. My reading is that all interpreters and compilers, for any language, are built to implement two non-intersecting sets of requirements, namely to "read" the language (build an AST) and to "parse" the language (check if the AST is semantically meaningful). Therefore, all language implementations require Tokenization, Reading and Parsing steps, but not all interpreters and compilers are structured in a way that cleanly separates the latter two of these three sets of concerns (or "chambers"), and (therefore) not all languages give the programmer access to the results of the intermediate steps. Java obviously has an AST, but a Java program, unlike a LISP program, can't use macros to modify its own AST. The programmer has no access to what the compiler "read" and can't modify it.
Nearest Neighbors: Solidarity, startups and convenience