skysight-inc/HackerNews huggingface dataset:
Well, I'm thrilled by something in the neighbourhood, but your widespread adoption there is more a "well known in small circles" kind of thing: instead of selling shovels to the gold miners, the target of demosceners+analysts sounds like selling paint brushes to the garret-dwelling artists?

For me, I guess the killer checklist item is "[X] Programming in this language is an adequate punishment for inventing it".

For this putative APL-kith, I'd guess the combination of "[X] You require the compiler to be present at runtime [X] You require the language runtime to be present at compile-time" would be killer; after all wirth-style compilers, these days, can run out of L1$. However, does sufficient staging run into the "fewer than 100 programmers un-algoled* enough" problem?

(could relative popularity of the square bracket language be because phykers display formulae in order to convey insights, but for imkers the calculations are their own point?)

* on the "[X] Rejection of orthodox systems programming without justification" front, what might be to algol-inspired programming as Thistlethwaite's algorithm is to plain old cube solving? https://news.ycombinator.com/item?id=42426716 instead of reducing the group operators as one proceeds, one would reduce the dynamism as the loops nested... (one of the things I find impressive about the rpython JIT is that it roughly manages to implicitly do that reduction!)
> having to hive their fleets in two with slower and faster buses is unlikely to go well

They already do this though. I don't know about Amsterdam, but in Limburg the buses are electric for in-city routes and gas for the longer routes between cities and countries.
I don’t think that’s contrary, rather both are usually true. You have to get lucky but also be in a position to take advantage when you do.
Is there a relation between the "single axiom for boolean algebra"
that Wolfram claims to have discovered and the fact that you can express all boolean operations with just NAND?
> Reasonable people are objecting to copyright law violation, for the simple reason that it disincentivizes further knowledge creation.

how?
Great work!

From the README:

> is designed to be easily extensible

Can you elaborate a little on that?
And I thought the years I had to use Amazon Chime was bad….
Assassin's Creed Shadows delayed again
I mean that it is sort of a rhetorical sleight of hand to say that real numbers 'exist'. Integers for instance exist, in that they count things and label the cardinalities of sets. And rational numbers exist because they label the ratios of cardinalities. Negatives are the difference. Etc.

But for any particular real it is much more tenuous. You can't produce any physical system that demonstrates almost all real numbers in any way. Some of them obey equations so you can talk about 'the solution to this equation', which is real enough. But most of them are inaccessible, even in principle, and I think the only reason people default to thinking they have the same existence as like, integers, is because we're taught them early enough that we don't question it.
I haven't had the chance to work on any MMU-less devices, but I don't quite follow your remark about wasting a page. Crashing is just the default behaviour in the absence of a mapping and consumes no resources.
That's 32.5 megabits/sec, not MB/s. It uses the 802.11ah standard.

https://www.morsemicro.com/products/

https://en.wikipedia.org/wiki/IEEE_802.11ah
> This seems to be just you being confused over the concept of a uniform distribution.

Try and follow the example again.

The distribution is all rationals 1-9 and all numbers 9-10.

Sampling uniformly such that each distance is equally likely across the line gives at least a 90% chance of choosing a rational.

Sampling uniform by elements of the set gives a 0% chance of choosing a rational.

The problem with the latter is that even though you’re claiming to be randomly sampling the _line_ you are never going to sample the first 90% of the line length because you are instead sampling the _distribution of set elements_.

You are NOT more likely to throw a dart that lands in 9+ just because you have magically introduced an infinitely tense series of irrationals in that range.
Great points. But have we considered (or perhaps blindly trusted) what the lying, stealing, cheating dictator has to say about this?
IANAL either but if I were you, I’d start here: https://www.vanta.com/products/hipaa or look for competitors.

And perhaps look at Stripe Atlas for getting my corporate ducks in a row to start with. https://stripe.com/atlas

Wading into that to get oriented, you would then be better equipped to have at least a baseline. A corporate attorney would be the next step to verify what you’re doing.

Minnestar.org hosts networking events that may be useful for finding people in the intersection of tech, healthcare, and law. Attend and get some face time to find people who may want to help. Lots of corporate centers in Minneapolis (assuming you’re in or near the twin cities), including healthcare. Depending on financial considerations, you may be able to find on ramps to grants, investors, or donors to fund compliance. Not sure on that though, but it’s possible.

Good luck!
> I’m not sure why you’re having such a reaction to a pretty mundane observation that military funding on technology gets further and faster than the civilians can

Because it is just plain wrong. And it glorifies military spending and war. Just because the military complex has so much money that their spare change dwarfs many other sources of research funding doesn't mean it is money that couldn't have been used much more efficiently if it was spent wisely from the start.

And about the plain wrong part:

> You have WW2 to thank for nuclear technology,

The fundamental research was done before the war by the international scientific community, and in particular people from Germany and Italy. The hard part done during the Manhattan project was to develop the industrial processes to produce enough fissile material to make the bombs, but making the bombs from that was fairly trivial.

> lasers

Were first created in 1961.

> the space race.

It has been argued that the reason we stopped going to the moon and beyond is that the rush during the Cold War made it too expensive to continue. A more paced development would have been sustainable and would have gone much further.

> Even QM takes on military funding to take it from niche curiosity to applied research and real world impact.

Why do you think so?

In the end, imagine a world where even a fraction of all the money spent on military was spent on research directly instead.
A transparent view to an 8-year old bootstrapped startup
I can’t tell if this is a bad joke?

300Mbps supports a 4-person household all streaming 4k YouTube content simultaneously. Or two households streaming 4k Netflix content.

A lot of people still have 50Mbps or less speeds on their fixed broadband line and they’re streaming content just fine!
Here's a meta question about this article: let's try to estimate how many people on earth, say within the next 5 years will ever read the entire article in all of its gory details?

These days, an LLM will, perhaps.

An make it palatable to puny humans.
Why reason in hypotheticals?

Microsoft has been crucial into bringing compute in people's homes, the evolution of video gaming, the internet etc.

They fluked a lot, they used their advantageous position like most companies try to, but assuming that we would have gotten better alternatives is not a given.

Also, in hindsight was IBM wrong to bet on Microsoft? They sure have done multi hundred billions $ together.
Windows PC, secure and available everywhere
Hearty agreement. One of the best books I've read.
Is there a OCR toolkit or a ML Model which is able to reliable extract tables from invoices?
Calling someone selfish because he chose to devote his efforts to one of his spinoff projects and not wherever you think he should devote his future time/efforts to goes beyond entitlement. It's even worse coming from an anonymous drive by shit poster who doesn't care to learn anything about the projects and people they're more than happy to pass judgement and false commentary on.

Apparently this tweet qualifies as "Crying on X":

> Linux Foundation Announces the Launch of "Supporters of Chromium-Based Browsers"
> 1) Huh

Where he's asking why would the Linux Foundation throw their support behind further entrenching a Monopolistic browser? A browser that even the US Govt wants to break-up Google given the monopolistic control they have over it and the Web. The motivations of the initiative are clear in the announcement which says is being funded by Google, Meta, Microsoft, and Opera - i.e. mega tech corps that benefit from Chromium. So the question is really asking why is the Linux Foundation throwing their brand behind further entrenching a monopoly controlled technology at the expense of supporting more diversity in OSS browser engines? You're really cherry picking with this, I'm sure Andreas had done many unfavorable things, but asking why the Linux Foundation is involved in a counter intuitive initiative isn't one of them.

> I know it's all about the money, he should have stayed working at Apple.

Great more false confidence and proclamations of what someone's life is about, apparently in addition to working on projects you want, he should also work for employers you want to as well.

> who already displayed signs of betrayal to his community.
> The SerenityOS community was fractured, all because of his selfish ambitions.

Your gross entitlement is apparently someone else's betrayal of their previous OSS efforts, where apparently he should've spent the rest of his life being a slave to his previous OSS projects you want them to, that he's already given so much time to, but you aren't even bothered to learn anything about before passing judgement on. Everyone is entitled to their views, but yours are so misguided that you need some serious self-awareness that "Open Source is Not About You" [1] before spreading more of your toxic entitlement.

> And again: I'm not going to spend my time nor resources to support someone who already displayed signs of betrayal to his community.

No one is asking you to. But why do you think you should be entitled to what other projects, people and their communities should be doing now and in the future?

The SerenityOS project or community wouldn't exist and continues to move forward without him, receiving multiple commits a day with the latest a few minutes ago. Which is a huge accomplishment for any OSS project to continue to improve without their founder, not something anyone should be chastised for.

[1] https://gist.github.com/richhickey/1563cddea1002958f96e7ba95...
This is still how we do it in Mexico, but instead of the woods, its in a Arroyo, wedged between a mountain and a beach. Good stuff.
Ahhh sorry, I misunderstood! That’s a very kind thing to say to a stranger, thank you. Thanks as well for sharing your story (or, the story you were involved in), I enjoyed reading it.
I feel like LuaJIT probably deserves a mention here. It doesn't always get astounding performance, but it very often does, and you get all the inlining and dynamic specialization goodness that tracing JITs make cheap. And it demonstrates extremely convincingly that PyPy's difficulty with invoking native code isn't essential to tracing JIT.
>
Is there a relation between the "single axiom for boolean algebra" that Wolfram claims to have discovered and the fact that you can express all boolean operations with just NAND?

Seems to be partially answered in the article.

Search for "Is There a Better Notation?"
I may be a tad late, but typst does have a compiler you can use locally with your favorite local text editor.

https://github.com/typst/typst/releases
Somehow my WiFi's ideal radius is 9.9 meters
There's so much overlap that gender is a useless signal.

In the aggregate men are better at math, but my wife is better at it than 99.9% of men.
Related:

California's insurance is in crisis. The solution will cost homeowners a ton

https://news.ycombinator.com/item?id=42646143
An intelligent alien race, living there, will be able to catch you, don't you watch sci-fi movies? The real question is from what you can get 4.13e+19 Jouls, required to reach Alpha Centauri in about 9 years of traveler's time.
We are currently looking for a skilled Senior Quality Assurance Engineer (m/f/d) to join the Transaction & Customer Unit onsite in Hamburg or remotely within the EU.

Our Transaction & Customer team is a core component of our in-house eCommerce platform, where we drive order fulfillment and develop scalable, modular SaaS solutions for a global customer base.

What you will do

- Focus on the design, development, and execution of automated end-to-end tests
Manage and prioritize bug reports, keeping their business value in mind

- Lead regression testing, identify and resolve defects to ensure the stability of high-traffic customer interactions and transactions

- Analyze complex workflows, data flows, and database interactions to identify potential areas for improvement in test coverage and performance

- Report bugs and reproduce them throughout the complete bug cycle

- Coordinate testing efforts to ensure the delivery of quality features

- Advocate for product quality within cross-functional teams

- Contribute to ABOUT YOU’s long-term automation strategy in testing

Who you are

- 4+ years of experience in QA, testing, and debugging REST backend applications, with strong knowledge of HTTP methods, status codes, headers, and error handling

- Proficient in API validation against OpenAPI/Swagger specifications

- 4+ years of experience with JavaScript/TypeScript or other OOP languages, using frameworks like Mocha/Playwright, and GitlabCI

- 2+ years of experience working with relational and NoSQL databases, focusing on integration and data flows

- Passionate about automation and building maintainable test suites that provide continuous feedback, with strong skills in both exploratory and automated testing

- Experienced with agile methodologies

- Excellent communication skills, including fluent written and spoken English for clear collaboration

- Solid understanding of transaction systems, gateways, customer data, and large-scale database structures

- Committed to identifying and addressing issues early, ensuring high-quality customer-facing features and services

YOU ARE THE CORE OF ABOUT YOU.
We take responsibility for creating an inclusive and exceptional environment where all genders, nationalities and ethnicities feel welcomed and accepted exactly as they are. We believe that a diverse workforce essentially contributes to the ABOUT YOU culture. In order to maintain talent and diversity, we emphasize the care for physical health, mental health and overall well-being. Our values and work ethics essentially contribute to our brand mission: empower acceptance and shape an inclusive, fair and circular fashion culture.

We are looking forward to receiving your application – preferably via our online application portal! Thus, we can ensure a faster process and for you it is very easy to upload your application documents.
There's also one in this PR now :) Saying I'm going to do something is more likely to get it done than just thinking about it! https://github.com/gdm85/lc/pull/1/files

But, yes, that is the manual page I converted from (actually I grabbed it from the tarballs linked in the README - should be the same thing). My entire experience of troff would fit on the inside of a Rizla packet with some space to spare, but looking at the original I think it was using some special macro package that doesn't exist on modern systems. So I re-wrote it to use `-man` macros as best I could, but also included the original man page source for anyone that thinks they can do a better job in future.
… which is about 4MB/s
I came to recommend this as well. It's a study of the engineering and management efforts behind Apollo, and much more interesting and entertaining than that makes it sound. The section on how they developed the F-1 engines that powered the first stage of the Saturn V, including how they'd explode bombs inside the engine nozzle to be sure that it could cope with instabilities, is just one of dozens (hundreds?) of examples of how all the small pieces came together to accomplish their priorities, 'Man. Moon. Decade.'

An amazing book.
Pretty neat that they’re able to support logging into Discord now!

Nice to see that they’re making progress on getting actual complex webapps up and running in Servo. Looking forward to when I can use it as my main browser (one day!)
I don't really see why this is the case. Both Elixir and Gleam are functional languages with immutable data.

The only major difference between them is the typing and the syntax I'd say.
I think the fear-mongering here has spiraled out of control. This app seems to be a place that patients (and their caregivers read:family) can upload and share data amongst themselves.

While you might not fall directly under HIPAA laws (as I don't think you a covered entity nor a Business Associate) you definitely are aware that you will have PHI and thus you have to protect it - especially if you're saying that it's "Private" and "Secure."

I'd focus on making sure that all data is encrypted in transit and at rest and that all systems on your side are locked down. You and anybody that might have access to your database shouldn't have free access this data. I'd read through some of the HIPAA guidelines especially from the business associate side and conform to those.

Don't be scared by everyone here. Read up on the HIPAA guidelines, check out HITRUST, never take your eye off security. Keep getting better.

If you're worried, you can always consult a lawyer or even an auditor for some advice (I'm neither).
But the general population votes on who will be in congress right?

Edit: so if I vote for John Smith and then I find out he voted against this healthcare issue I care about; I will for sure not vote for him again, instead for a candidate that keeps their promises.

At least that’s how it works in my country, all the votes in congress are public, you can even listen in to most of their sittings.
Very nice release, Gleam looks like a good contender for "high-level Rust".

Small nitpick:

> One drawback of this sound type system is that converting untyped input from the outside world into data of known types requires some additional code which would not be required in unsound systems.

It isn't really consequence of its sound type system, but its runtime representation - assuming it requires type information to be safely constructed and manipulated, you really need to generate code to do so, but the compiler could instead choose to use more dynamic representation, e.g. compiling to ordinary Erlang maps / JS objects.
The story has it all. Government stupidity and shortsightedness. Nonsensical self-harming bureaucracy. A plucky, persistent, woefully underfunded Brit who eventually succeeded in spite of the state.
How to NOT get a job interview at our small startup
Xampp Is Not Secure – Announcement – Apache and MariaDB and PHP and Perl etc.
Using Matrix+CRDTs for this is a pretty cool idea! It'd take a rewrite of this app, but you could let arbitrary Matrix chat server host the entire data store, getting rid of a lot of the data security risks (as long as you make sure your e2ee approach isn't too eager to share keys).

Then again, doing things this way might make data deletion and other privacy related issues quite difficult to achieve, especially if said Matrix servers are federated.
Thought this was a good read. I'm currently coming back from 8 weeks paternity and struggling to get back into the hyperfocus I had entered a couple week prior to taking the leave. I got months of work done in weeks, as mentioned in the referenced essay [0]. Hyperfocus like that is something I wish I had more control over, but I do agree that my headspace is very different after working very, very little for 8 weeks, instead spending so much of that time with my wife and kids; I find myself leaving work early right now.

[0]: https://world.hey.com/dhh/inspiration-is-perishable-f2c8652e
Ukrainian Hackers have wiped out russias internet service provider NODEX
Gift link: https://www.wsj.com/health/pharma/trump-says-world-is-free-r...
The judge's comment: "various interpretations of these disclosures render them ambiguous such that a reasonable user would expect the WAA and (s)WAA settings to control Google's collection of a user's web app and activity on products using Google's services."

This is the current problem with the web business model and terms of services.

Greedy (money gamified) execs hire deceiving lawyers to cover what they actually do with data about you as they monetize it. When you buy a product, it becomes clear over time whether it was worth it. When you get a service for free but you are the product, you never quite know what you paid and are actively misled about it.

I've seen enough sausage made that I know this is, lets say, "not just a Google problem."
Naval versions of fighters can use "jump strut" [1]. For instance the Rafale M [2] [3]. I dislike weapons, but those planes are amazing.

[1] https://www.researchgate.net/publication/257410805_Effect_Of...

[2] https://en.wikipedia.org/wiki/Dassault_Rafale#Overview

[3] https://www.alachassebordel.com/post/20-secrets-about-naval-...
Wrote this small rant realizing that the majority of job applications is fully or partially AI forged. What are we heading to?
Nice analysis, and cool to see how simple it is to get quite a satisfying effect. Also quite fun to see that the level symmetry was indeed exploited multiple ways to save space. If the author is here, they write '"@123" are the first 4 entries in the default c64 character set' but likely meant @ABC.
I was a postdoc at Land's research institute (https://en.wikipedia.org/wiki/The_Rowland_Institute_at_Harva...) in the '90s.

The place was wild. Land had been dead for a few years when I got there, but they still employed his driver. My recollection is that the driver brought in donuts once per week. The place felt like an upscale hotel with laboratories in it. And $$ was no object. Need a $40k laser? Just write the requisition.

Looks like it was fully taken over by Harvard (at the time it was only peripherally associated).

Another funny Land story... My postdoc advisor was a faculty member at another university in the 1970s and Land and his entourage were there visiting various labs. My advisor thumped Land on the chest and said that he liked his shirt. According to my advisor, Land's handlers were visibly upset, but Land appreciated being treated like a regular human.
Raise and Release
That's a good tip, thanks! I have a older i7-6700K machine around here somewhere, that could work. But no ECC ram, and no idea if it draws any less power in the end. Some setup with just two drives mirrored would likely work, but feels a bit risky having no parity drive
> There are 3 people, and there are 3 people who don't have a NULL car.

This is not what you are asking with your query: as someone else stated, NULL is meant to be "UNKNOWN", or "it could be any valid value".

So nothing is ever equal to something that can be anything, because even another NULL (i.e. unknown) value is in general different.

So in the line

SELECT name FROM people WHERE carId = NULL

the condition will always be false. Now if instead if meant to search for the rows where carId is actually unknown you have to write

SELECT name FROM people WHERE carId is NULL

And your query will return as one may expect 2.
This kind of approach feels like the modern version of BASIC + Assembly from 8 and 16 bit days.
Oil extraction might have triggered small earthquakes in Surrey
Unraveling a person behind a pseudonym and Doxing is much easier nowadays though. But I guess a self hosted blog would work just fine