skysight-inc/HackerNews huggingface dataset:
The way I think of invariants is in less formal terms, but which I find helpful on a day-to-day basis. Often, we write code that manipulates state. It can be difficult to reason about code that manipulates state if we can't narrow down the possible states an object or struct can be in during execution.

Invariants in our code or design can help narrow down this space of possible states by ensuring that certain combinations are impossible.

For instance, assume I have an object that contains an array of integers and a boolean called `hasNegatives` which should be true if and only if the array contains at least one negative integer. If the boolean can be updated or set independent of the array, then the object can't really guarantee that the array and `hasNegatives` will always be "in sync" so to speak.

If your code promises to maintain that invariant (by, for instance, making `hasNegatives` read only and privately updating it when the setter for the array is called to match what's inside the array) then when using this object or seeing an instance of it elsewhere in the code you can happily use it with confidence knowing that the field is always correct with respect to the array within.

Obviously, this is a simplified example, but when applied to an object with many fields, knowing that only certain valid combinations are possible can radically simplify the rest of your code that interacts with that object.
IMHO, rust is more explicit memory management than manual memory management. You don't have to juggle individual calls to malloc and free, but of course there is the borrow checker and you also have to be explicit about things like taking a reference to something versus cloning it.

Thanks to all that, nobody's yet managed to demonstrate a GUI library that really feels like it belongs (in terms of code architecture, but also look & feel).
Very little imho. All cars are becoming a nightmare to repair and are getting filled with more compute than anyone should need. Thus, I think they all sort of suck post 2018. I don't like carrying a smartphone and I certainly don't want to drive one.

In theory, EVs aren't overburdened with emissions standards and aren't really road-trip machines (can't put a marine gas tank in the trunk to increase range...) so they shouldn't be any more complicated than a small mobile robot or electric skateboard. Installing a back-up camera and OBD2 port off the bus at the factory doesn't require a small server farm and LTE connection.

All the other comments seem like people getting stoked about new thing is new and ohhh shiny automagic feature with dubious productivity benefit over time.

If people really wanted dependable, then I'd suggest something that a standard human can comprehend and wrench on (even if the failure rate per mile is a bit higher). Perhaps even something that can be fixed with parts created in a garage. If they wanted to minimize environmental footprint too, they can always buy a good steel frame cargo bicycle and durable weatherproof clothing.

I do get the speed and handling angle, however consider the age old question. Is it more fun to drive fast car slow, or slow car fast?
And Americans go to Mexico for healthcare, I'm not aware of the reverse, I guess that means Mexico has the best healthcare in the world.
Did "Manga Guide" make a mobile GPU book?

I can't say I'm personally too interested in mobile GPUs. I know they're a very different architecture than Desktop GPUs and have some important optimizations with regards to memory bandwidth. (Desktop GPUs can just run higher-power RAM for more bandwidth, IIRC Mobile GPUs need to rely upon optimizations that Desktop GPUs simply don't care about yet). EDIT: Oh wow, now that I'm done reading the .pdf, I think they did a good job explaining this in comic-book form.

I can assume though that video game programmers who optimize for specifically mobile-GPUs can get a graphical advantage over their competitors though. So even if its not my cup of tea, its probably very useful to others.

----------

On the "Manga Guide" perspective: these books are a lot of fun and I feel like they're a good introduction. As a comic-book format, they are very quick to read.

Its hit-and-miss though. "Manga Guide to Linear Algebra" is awful and uninspired. Skip, just not worth your time.

But "Manga Guide to SQL" is great. I think the story about the Princess trying to organize Apples in her kingdom (and thinking about customers, businesses, etc. etc.) very naturally teaches SQL. So much of SQL and Databases are about learning a hypothetical business, that a grand story about a Fairy, a princess, a kingdom losing money that needs more organization (etc. etc.) really helps out.

Knowing that Customer's Address and how it can conflict with other customers in 1st or 2nd normal form, but how 3rd normal form fixes the possible conflict (etc. etc.) solidifies SQL ideas and theories with a story.

I think that's the key. Some subjects (and authors) are able to properly weave a story into the explanation. A subject like Linear Algebra probably can't have any story weaved in, so they kind of failed at that. SQL does, and I think a "Mobile GPU as a factory / tour of the factory comic book style" could make sense.
https://archive.ph/12wAN
avif still has patents I think?
I think most of SV is pretty crypto disillusioned at this point.

It feels as though the only people into it in SV in 2023 are the people shilling it, which are not that profitable of a cohort after all.
> using phrases is so much nicer and better in every way.

Except for with me. I find phrases much more difficult to remember and use than passwords, personally. Although in either case, I'll need to have the ones I don't use daily somewhere where I can look them up, because there's no chance I'll remember them.
Started a company to build chip testers. Didn't go anywhere, but I had a ton of fun doing the hardware and software. One specific example is writing a Linux driver to interact with your IP block running on the FPGA. Got to see what happens on the other side of the kernel.

https://www.geminicomplex.com/
It sounds like they are saying - we increase prices so that less people use the app so we can service all the people who do.

It is only a misleading statement if you put words in uber's mouth beyond what they say. I don't see anything here suggesting they increase prices to increase supply instead of decreasing demand.
> You probably use it every time you get on an airplane already.

False. More importantly, however, this is an example of the "you're already doing it so it's not a big deal" fallacy.
(WarpStream founder) No WarpStream has partitions internally and provides the same ordering guarantees Kafka does at the partition level. We're just saying that we think for most streaming applications this is not a great programming model, and we think there is an opportunity to do something better (but we haven't done that yet).
Not really, no. Linux isn't going to run on a chip with 48k of memory which doesn't even have an MMU, and doing disk identification is pretty pointless when your "disk" is 256k on on-chip flash - or a hardsoldered 2M SPI chip if you are really lucky.
What’s It Like to Have an High IQ?
I just cut a walking trail through a stand of trees on our property, and I'm in the process of putting in a deer fence so my dog can run around and chase squirrels in those same trees without terrorizing the neighbours, he's still learning his manners and he needs to run off leash like ten times a day.

This is already by far the coolest thing I've ever done, and I haven't even started with the light show.
Zoom launches an asynchronous video tool for the meeting-averse
>At Zoom, we do not use customer audio, video, and chat to train our generative AI models without customer consent.

What is the mechanism you use for "customer consent"?

IIUC, you have a pop-up at call initiation for which you either provide "consent," or drop the call, with no option to deny consent and continue.

If that's correct, then your definition of "customer consent" doesn't comport with the broadly understood idea of consent. Rather, it's closer to "if you enter my store, you consent to spending at least USD$20. If you don't actually spend that much on our offerings, we will charge the balance as a fee," than to true consent.

That's not to say that Zoom shouldn't have the right to require such consent to use their service, but based on my understanding, the mechanism for obtaining such consent is coercive and exploitative.
Let me guess, she's black...

Aaaand sure enough, she's black. Facial recognition is kinda crap for anyone who isn't white (and probably male). A problem from training sets and building the models, no doubt.

Blindly trusting facial recognition is a really, really bad idea for the near and mid-term future.
Correct - you can interact with it from any Ethereum wallet, and mint/redeem it within the PayPal app.
Immediately after seeing ChatGPT, I felt that evolving programs in an OODA loop was going to be a big deal, so it's great to see someone iterating on the concept.

I hope they try it with QuickCheck / property-based testing.
I see - this also explains the tiny consumer group / topic-partition limit of the free plan, then...
Shoes. I've made plenty of clothes, bags, and other sewing things. But shoes is a cut above.

I also documented the process on this 'Shoes from scratch'series on YouTube: https://youtube.com/playlist?list=PL1gv5yv3DoZNdz-LJFykg6mMf...
Wow I love the idea, thanks for making this and congrats on the launch.

From the comments I read I can tell the receiving devs can easily become grumpy if things are not as they want to the semi-colon.

A few ideas to solve that problem.

1. Have an internal team of experienced devs who make CRs and onboard the team of juniors on a new projects. From my experience, after a couple mistakes or misfit code, juniors adapt themselves, learn and end-up doing perfectly well.

2. When you submit a PR, submit a process with it (in a readme of some sort) with instructions on how the receiving devs should proceed with the PR. If they are not happy with it, maybe they can just say "not happy with it" and you take on yourself to figure out why. That sort of instructions. The last thing you want is them complaining they spend more time on it than simply coding it.

Im pretty sure the management of the human interface here is key because the only way this can work is if you've got off-the-charts feedbacks. You need processes for that (you probably do already).
When I was 18 years old in high school, I found the video online of Mercury beating heart: https://www.youtube.com/watch?v=m6631u7d4E0

Being young I thought I had discovered free energy, so I set about making this. I carefully setup an experiment in the school fume cupboard, and then experimented with different container radius until I was able to setup an oscillating standing wave. I then put styrofoam that had magnitized nails on the surface, held in place by copper coils wrapped around plastic hollowed out pens, and the vertical motion of the floating styrofoam magnetized nails induced a small current in the coils.

My chemistry teacher then spent a good few days explaining to me why the chemical reaction runs out eventually and how the laws of conservation of energy worked. It was an amazing learning experience and sparked a lifelong interest in chemistry.
> the global south

Care to elaborate what you mean by "the global south"?

EDIT: Downvoted for asking a question? Did all the StackOverflow mods come to HN?
I know what area you're talking about - I had my party sneak around that area and come in through the side. I had made some dialog choices earlier where the rest of the goblin area wasn't hostile to my party.

Also, I forgot about plain old jumping for the first ~15 hours of play. I was so stumped about a route I was supposed to take until I put on my glasses and _really_ scrutinized the action bar.

I gave my rogue an amulet that lets him use Misty Step; it's been an absolute game changer for my rogue stealth archer.
If you institute that rule, every tabloid in the US will immediately feed pictures of people being separated from their dogs. You will have a lynch mob on your hands in five minutes flat and anyone who supports you will have the same.

It's a complete non-starter politically.
Well the bettor losses are income to the book so they could be taxed there. The interesting thing there is if the book and the bettor are taxed at different rates.

I know in some lotteries and sweepstakes they tax the pool, and so the winnings are tax free to the winner and the taxman invisibly still gets his cut.
My siblings and I replaced my parents' rickety exterior stairs. It was super gratifying to make their house safer and save them thousands of dollars while having fun.
I disabled c states on my 13900K because it was chirping/squealing at low idle which irks me. Was hoping for that modern low tdp idle.
You should mention that it is heavily french biased.
I have a theory that hardware vendors are making Christmas tree-inspired products trying to segment the market between gamers and professionals.

Gaming hardware is typically pretty good in terms of performance/dollar. However, similar computers without all these LEDs marketed as workstations are more profitable for the manufacturers.
Accelerate SF: an AI hackathon to build solutions for public sector challenges
SpaceX's 5-step Engineering Process
well... it is, but mostly for economic reasons. Contract army is the privilege of the very richest countries, and in most favorable conditions, too. To me, the idea to be obligated to go and die in some random place like Vietnam on the other side of the planet is obscene. But no society seems to escape this to a certain extent. Except... a few ultra-privileged ones, in peaceful times.
He's so smart George. Simply using the law of averages...
Ham Radio Enthusiasts vs. High-Frequency Traders: A Battle for the Airwaves
(WarpStream founder) Exactly, and we designed WarpStream's storage system to minimize the number of object storage API calls it has to make while still maintaining relatively low latency (P99 of ~1s end-to-end)
Is the plan to eventually open source this and provide paid support?
The high, and redundant, cost of failure in cancer drug development
This is interesting. I'd love to see benchmarks to have a sense of what to expect.
I enthusiastically support this list
This comment confuses me. What exactly was the half baked effort to hypnotize the global south? Raiding Worldcoin?
Let's say this morning you force someone into a shelter bed, euthanizing their dog and throwing away their tent and other bulky property in the process. What are you going to do tomorrow morning? Is that bed now reserved for them going forward? Or can they lose access to it? If it's the latter then you've taken someone who has almost no stability in their life and removed whatever scraps of it they had left, then tossed them back into the street. You've accomplished absolutely nothing in this scenario, except make it even less likely that person will ever find their way back into a stable living situation.
This is an opinion piece, not an article. Still, citing some sources would have helped.

> Many homeless prefer to live on the streets where they can freely use drugs

Says who? When I was there what I saw was (majorly) people with untreated mental health issues.

> San Francisco’s homeless epidemic is a result in large part of the familiar problems of drug addiction and mental illness.

Again, according to whom? If half of the issue is mental illness, why is this the only mention, while drugs are mentioned several times?

> Localities can’t use the threat of jail to induce addicts to receive treatment.

That's because putting someone in jail for stealing less than $950 worth of goods is bonkers. The problem is when the only response localities have for addicts is the threat of jail.
This is amazing! Last time I checked (which admittedly was a while ago), MIT Press' website was pretty disorganized so it would have been difficult to find all of this.
"PayPal USD is issued by Paxos Trust Company, a fully licensed limited purpose trust company subject to regulatory oversight by the New York State Department of Financial Services. In June 2022, PayPal was issued a BitLicense by NYDFS after previously obtaining a conditional BitLicense."

Can we throw some smoke in this press release? Yes
Umbra Space Releases Highest Resolution Commercial Satellite Image
The 32bit is a standard 'IEEE Standard 1754-1994'. The 64 bit implementation was released by SPARC International but its not a standard.

As far as I know without joining SPARC International you are not allowed to commercially use SPARC 64bit commercially.

There might be open implementations, but that doesn't mean you can be sued for using the architecture.
company competing with kafka says kafka is dead, is that accurate?
Hardware video encoding is a poor example as it is typically lower quality than software for a given bitrate
Show HN: UPiano, a Piano in Your Terminal
Hello HN!

This is a Python app I've built for fun, while learning the Textual library, it's a piano/synthesizer app that you can play with the keyboard + mouse.

You can see a demo video of it here: https://www.youtube.com/watch?v=0VXit110PcA

You need to install FluidSynth before using it: https://www.fluidsynth.org/

It uses the Python bindings pyFluidSynth library: https://github.com/nwhitehead/pyfluidsynth
And the General User GS soundfont: http://www.schristiancollins.com/generaluser.php

If you try it out, i'd love to hear if you think it's cool, and if you have ideas on what could make it even cooler. =)
> but they do exist.

And here's the crux of it, isn't it? Unless it's accessible and enabled by default, it might as well not exist from the PoV of the end user.

Windows' restore points happen automatically before updates or driver updates. Then you're prompted automatically to restore if Windows fails to boot after an update.

As usual Linux has all the pieces but no desire to create UX to go with it.
Which is a shame because ZFS with automatic snapshotting daily or before major events combined with a simple UI that can run in the preboot environment would be a game changer and make Windows look like a toy.
They'd be more like the guy who sees a girl at a bar who he works with, roofies her, takes her home, and then doesn't do anything to her but makes sure she knows that he *could* have, isn't he such a nice guy?
No matter how much we learn, the percentage that we know of the relevant total declines year over year. Focus on learning how to find specific answers without having to take on the burden of learning it all, and learning the deep truths that cannot help but be true. And on how to design systems that protect you from having to learn a lot, but let you keep a small number of things in mind, while you focus on solving your specific problem.
It's a reasonably common concept: https://en.m.wikipedia.org/wiki/Global_North_and_Global_Sout...
Depends on your definition of "reasonable".
Possibly, but the OP is probably measuring the equivalent of back-to-back series diodes, which would be very symmetrical (if built on the same process). With soldering though, I’m sure they are not equivalent. As the other poster said, they need Ohmic contacts.
I feel zero obligation to make the title of an article or presentation strictly dry and factual. (Though often I do go with more straightforward titles when it makes sense.) And I'm fine with you not reading or listening to it.
It's also a problem of lower signal to noise ratio: darker faces reflect less light and it's harder to extract data on key facial features like eyebrows. No amount of training or fine tuning is going to make an f-22 easier to detect than an f-16 for the same reason.
Is it just me that's wary of "connecting my codebase" to an AI? Well, connecting it to anything actually.
> so it’s really easy to go 90 without noticing if you’re expecting engine noise to hint you’re going fast

I do have to say, this is one big reason why I think those cabin noise fake engine sounds isn't entirely a bad idea. Its a useful clue to many. One doesn't need to make it very loud and obnoxious, maybe only play it near the driver or something and for sure have it be an optional thing, but the concept isn't entirely without merit.

People should be using all their senses for driving. Giving auditory feedback can be very useful!
I'm sure you can guess - pure risk aversion. Your business idea is risky enough, and they would need engineers to assess your (possibly ever-changing) DIY stack.

You see the same thing in the corporate world for in-house stuff. Your manager (and your manager's manager) don't want to hear about in-house or self-hosted things that AWS can provide.

This is totally understandable. It's a repeat of the whole "nobody ever got fired for buying IBM" mantra of computing's early decades.

It also totally sucks.
LLMs when given code mixing languages will typically execute as if it worked anyway. I have a theory this is because correct examples are the majority on the web. Since LLMs don't have the data with the feedback all the humans have seen constructing these examples, there is no way it could understand. We need to feed LLMs these types of input/error loops explicitly to improve performance or reduce iterations in this area. Otherwise it'll be stuck making many small mistakes forever. Again, this is my theory.
I helped build “The Cloud” without really knowing it lol..

I joined a 5 year electrical apprenticeship after highschool. I spent many days between 2006 and 2012 building out crazy electrical systems in these giant warehouse looking buildings in Northern Virginia, for DuPont Fabros and Digital Reality.

I had no idea exactly what the purpose of these server farms were for, but they just told us “if we build it they will come” lol.

I had always wondered who “they” was, and who was renting so much server space.

Eventually we heard that Amazon was leasing some of these buildings, but it was crazy to think that an online bookstore needed such crazy infrastructure.

Flash forward to today and these buildings are called “us-east-1” lol..
IIRC girls have higher GPA than boys, on average, and boys have higher SATs than girls, on average. It will be interesting to see how the trend to do away with standardized test considerations in admissions will play out.

Public institutions (which cannot legally discriminate on sex because of Title IX), and institutions in states where sex-based discrimination is disallowed, may see their student body shift even more female if they no longer consider standardized test scores.
Yes, I'll accept the incremental progress. I hope we can have similar solutions put in place where I live (TX).
Or have a real desktop without coding? [1]

https://github.com/lrvl/debian-i3-novnc-docker
Running Kafka is an exercise in sadomasochism. This on the other hand sounds pretty neat.
"The problem with the dig acronym isn't that it was intended to be bad"

That's because many people in tech used to think that tech bro culture wasn't bad. Tech also used to be much very excluding. Back then, if you were not part of the tech bro culture, you already knew it was distasteful, and that you were being excluded.
So you claim the right to push back but also the right to block any responders who push back on your push back? Why the asymmetry? Because you’re right and they’re wrong?

Sounds like people want to both get praise (or upvotes, depending on forum) for spouting the prevailing views (or the insular views of their bubble, whichever), but not having to deal with any inconvenient disagreements. Whatever that is, it is not a “conversation”.
> On Thursday, Worldcoin said it is planning to implement crowd-control measures and collaborate with the government before resuming work.

What does this even mean?