skysight-inc/HackerNews huggingface dataset:
Irrigation pipes have tiny holes which can be blocked by calcium deposit in hard water. You'll need filters, a lot of filters in order to operate them, and the filters needd to change for like every year or so, so it's not a one-time investment.
Coolest thing I've seen so far this year. Demo starts at 22:55 but the whole presentation is worth watching.
It works great for 90% of use cases, but getting that last 10% to work is really really hard so Bun (and node 22 which supports the same thing with an experimental) just throws an error in those cases. The most notable thing is `require`-ing an async ESM module from CJS, because require is a synchronous call you cant just async-ify it trivially.
> Once students can program, the best way turn them into developers is to make them build and ship something as a team.

I had a semester project like that, in a team of 7, though we didn't had the changing spec... But it was a really good learning experience
What I understand is that it's GPT 6 that just went into training, and that GPT 5 is complete and being delayed until after the U.S. election.
> - I wired together live reloading plumbing using easily using the file watcher.

Can you expand on that? I was looking for something that lets me reload JS code just yesterday, and apparently the recommended way to do it is to restart the process :D.
The shortcoming of the control scheme was that they wired the motors to respond to the controller wrong. That is, pitch was wired to yaw and vice versa. The controller just sends signals (digital values, specifically), what you do with them is up to you.

If you don’t need accurate force-feedback, just highly reliable transmission of inputs, why wouldn’t you use the final iteration of a controller that millions of players have spent billions of hours using and abusing?

It’s not even a Bluetooth controller, it’s just standard USB. The folks who were shitting on that design decision (and not the carbon fiber hull decision), have no sense of what’s common, or even possible, on a microcontroller device.
Elon won’t care, his original strategy was to use it to market/hype his companies.
You will notice 80% of ads and content are from Tesla, his other firms or cryptocurrency
(Solicitors Regulation Auth.) probing 20 solicitors and firms over PO scandal
I’m talking about small owner operated businesses. A lot of them will compete with owner absent franchises that are set up to make $30-50k per year. So the owner can draw that, plus the salary of one employee. Often that puts their salary around $100k.

$2500 is what a lot of them would be looking to spend on a firewall, switch, and AP (total) which would have a 5 year lifecycle. They’ll have one or two VMs on a single server. So it ends up being $2500 for a single “server” (VM) if they need Linux for something.

The tech industry is out of touch with the small business world and it’s getting worse.
When you think about it, farming is the perfect physical application of scaling.
A Primer on Fine-Tuning PaliGemma and VLMs
> - regex101 support for quickly defining custom formats is just awesome. Versioning support is slightly broken however, probably because regex101 changed something, so there's no easy way to update the format once you've initially imported it.

There is a `pull` sub-command and it looks like it still works. Running the following will generate a patch file with the updated regex:

lnav -m format <format-name> regex std regex101 pull

It creates a patch file since the original file might've been modified.

> - There are lots of different filtering capabilities, but there is no unified treatment of them. For example, `:hide-lines-before` and `:filter-out` are at their core the same type of operation: filtering. I should be able to pull up a list of all filters that are currently active and easily add new ones and toggle or delete existing ones.

Adding the time filters to the "Filters" panel sounds like a reasonable request. I've added https://github.com/tstack/lnav/issues/1275 to track.

> - I would expect to be able to create a new view of the data using SQL `SELECT`. A select statement is fundamentally about filtering out some rows (log lines), which feels like a filter, and selecting some particular columns (log fields) and hiding others. The latter point seems like it could be something that should be handled when https://github.com/tstack/lnav/issues/1274 is resolved.

There is the `:filter-expr` command (https://docs.lnav.org/en/v0.12.2/commands.html#filter-expr-e...), have you tried that?
Hi, my two cents; you claim "Although mathematicians believe their proof is correct, it is too complex to verify without computer assistance", but I'm not sure "believe" is the correct verb since the proof has been formally verified (see for instance https://github.com/coq-community/fourcolor for a formal verification in Coq).

I understand that you want to emphasize the fact that no human can understand the proof with a full overview, but I wonder whether the current sentence will not make people think mathematicians are not perfectly sure of the proof.
Seems interesting!
https://github.com/turboderp/exllama
"A more memory-efficient rewrite of the HF transformers implementation of Llama for use with quantized weights."
No, they don’t, the optimal amount of units vacant is not zero to begin with, and in fact the profit-maximizing number of vacant units is likely considerably higher than the market-optimal price.

Sellers like a market with constricted supply, it’s like nobody remembers OPEC. And with a computer program to tell them when to leave units vacant and when to raise the price, they’ve outsourced the cartel actions.

Anyway, this is another "thinking econ-101 charts are real" oopsie. Everyone likes the nice single-line supply/demand charts. But profit-maximizing often isn't the same thing as market-clearing for a variety of reasons. The whole point of the rent-cartel program was that it's better to raise 95% of rents and leave 5% of units vacant than to have 100% of units with a lower more competitive rate. But also things like the materials used to produce goods having their own price curves with prices rising as their own demands increase etc. A "market clearing" price in an efficient market leaves zero profit for producers by definition, nobody wants that, so we inherently live in some combination of inefficient market and above-clearing prices.
Very cool. I like that.
Personally, I never seen onnx used for LLM.
Google images: dark matter halo
Basically how Mastodon works. Your domain is where your account lives; if HN was an ActivityPub server, your username would be @ahmadbaracat@news.ycombinator.com
I'm under the impression they've been using the game GUI engine to drive the mobile app since 2018 or so - or at least I remember seeing things about it from way back then.
Mass surveillance is one of the few areas where the 1% generally align with the other 99%

Ideally, yes. In practice, the 1% have resources the 99% don't which allow them to minimize their exposure to mass surveillance. Whether this means carving out exemptions for their own communications or conducting their meetings in person, in private, in other jurisdictions.
It's like when we see people "do programming" in TV shows/movies and laugh at how goofy it is. I suspect most technical professions are exactly like that, we just don't realize it most of the time.
I think you are arguing about centralized vs distributed models. They both have pros and cons. I think it depends what you are optimizing for. And likely you need both especially with 8+ billion people.

For example in a centralized model the initial investment in resources is pretty high (like building a large apartment building) but the idea that over time you can manage and operate that building with common resources among the inhabitants. Hopefully over time it uses less resources than a distributed model.
Perhaps because there have been dozens of articles discussing this, the US federal court system has intervened, even the Chief Justice of the Supreme Court investigated and agreed that what was happening there was improper, and not just "judge who actually wants to do work, not avoid responsibility" like you claim without any particular substantiation.
Custom SSO, fine.

But "Sign in with..." or "Continue with..." M365 and Google gets you almost all SMB, and with Apple gets you individuals who spend money.

Add a domain check and you have the quick and dirty equivalent of SAML SSO without any touch at all.

https://id.atlassian.com/login

https://www.xsplit.com/user/auth
I use it a lot for coding, researching things...

Obviously, you still need to verify the output, but even with that in mind, it's a great productivity boost, at least for me.

I'm sure people in other industries can also find use for it.
so this "clever" drive-by comment is the extent of dealing with the actual systemic situation.. while every person reading this is benefiting from the software, and some not reading this are trading stocks on surveillance software. "go buy some stock" is the next useful comment on this? FU basically?
Never tried anything other than Open AI GPT family models and some toy LLMs, but GPT4o sucks compared to GPT4 (imho). I'll try Claude and compare.
What does that have to do with anything? “Develop” includes everything it takes to start getting paid for it.

Surely the equity is not left up for grabs for cheap by the time it is a guaranteed to earn the owner lots of money.
How extreme heat affects human health: A research roundup (2023)
The freedom of the master is not the least bit impacted by legalised slavery.
And during the UEFA Euro 2024.
Probably not. Investors are a lot more knowledgeable today, and have learnt the lessons of the original dotcom bubble. Also most of the money is going to huge companies building real powerful products, not to me too wannabes.
It's live now! Sorry for the delay.
Hey HN! At WWDC this year, Apple formally announced Swift 6 and its support for embedded development. As an iOS developer in my spare time, I’ve grown to love Swift over the past few years, and am personally excited about the advent of this frontier.

I bought a Raspberry Pi Pico W for $9 off of Amazon last week, and have been toying around with the Pico SDK and incorporating it into my Swift project.

So far I’ve learned a lot about build toolchains (and how much they suck!) but still getting my feet wet with Swift’s interoperability for C.
Assuming each state transition consumes a character (“epsilon-free NFA”), just follow the definition. Before each step, you have a list of NFA states you might be in, initially containing only the start state. During each step, go through each state on that list and enter any acceptable successors into a new one. Deduplicate and repeat.

This is (potentially super)linear in the number of states, but that doesn’t preclude it from being linear in the input length. In particular, even though it’s essentially a bad lazy implementation of standard NFA-to-DFA conversion, you’re avoiding the exponential state blowup you get in the eager version. (I say it’s a bad lazy implementation because a proper one would memoize; that, however, would bring the worst-case blowup back.) I think that, in addition to the fact that people do actually do this kind of thing in production implementations, qualifies it as a separate approach.

If your NFA does have epsilon-transitions—like, say, the NFAs obtained from the textbook Thompson regexp-to-NFA construction—you can either use a different (Glushkov) regexp-to-NFA construction[1], eliminate those transitions as a separate pass[2], or adjust the algorithm above to eliminate duplicate NFA states on the fly[3].

[1]: https://en.wikipedia.org/wiki/Glushkov%27s_construction_algo...

[2]: https://news.ycombinator.com/item?id=19272990

[3]: https://swtch.com/~rsc/regexp/regexp2.html
DM distribution is different for every single galaxy, and so can only be fit to the galaxy's rotation curve after observing it. In contrast, MOND successfully predicts rotation curves a priori using only the visible matter.
I think they are commenting on the requirements imposed on NASA with regards to where parts are made (what states), etc.
It improves you. For example, being able to handle stress better isn’t useful just in personal life but also professional.

In my experience, complete introvert, it helped me enormously with anxiety. But it did take some work, such as working through emotions that I had bottled up. If you stick to your practice then you will work through it.
I didn’t mean that — I agree that would be absurd!

I mean an autonomous device that picks a row, then does the same on the next row on the way back, then maybe unloads into a hopper and continues with the next couple of rows. And you don’t one, you have 50 or a couple of hundred of them rather than one huge combine harvester.

And if you have 50 of these platforms designed to go up and down the rows they could have been doing the planting at the beginning of the season (or desuckering your vines in spring or whatever) using a different tool, so your capex isn’t tied up in a few huge single-application devices, but amortized over a whole season. And when you have a fleet, if one fails and needs maintenance it’s no more of a big deal than when one server in a datacenter fails.
ANTONIO

Is your recycled plastic ewes and rams?

SHYLOCK

I cannot tell; I make it breed as fast
My understanding was that scalability came from the removal of memory buffers.
…I’m sorry, they rewrote react and redux for Lua? Why not just use JavaScript in the first place?? Surely it’s not a performance or security thing, this is just a silly game for 11 year olds to learn slurs. Moving to Lua because all the app devs have to use it is like the rest of the world switching to Imperial measures!

But I’m very biased against rewrites. I’m impressed they are able to pull it off at a company this size, of course — I had a glimpse into the switch from JavaScript to typescript at a big tech company, and just that was a nightmare!
>Modern homes with 1kW electrical can heat and cool themselves in the mean for the same country. In single family homes there is typically room to recharge from p.v. cars if you WFH or working in a spread area to recharge them from p.v. at work, the same model.

In a dense city most people don't even have a car.

I live in an apartment building from the 50's. With just 2 walls of our building retrofitted with insulation I now barely need any heating in winter, try that with a single family home.

>Cities demand big harbors, airports, highways

You still need them with spread, only more roads to spread everything around.
The screenshot of their bootloader (https://exectos.eu.org/images/exectos/xtldr_boot_menu.png) bears striking resemblance to GRUB, as well.
It is literally manipulating high dimensional vectors. GPT-4 embedding dimension is 12288(I think) and Llama-3 is 4096. Thousands of said high dimensional vectors come into the model and operations like +,-,x,/,exp,log, gelu etc etc are done on them and combinations of them. And during training there are literally geometric relationships created between the vectors based on concepts humans use. This isn't some pie in the sky assertion using hand wavy words, those are concrete statements that don't muddy any water.

It might be magical to you, it isn't magical to anyone actually working with these things that you can trivially change the last layer and have the outputs represent whatever you want. Get some samples, write a loss function, go to work. Suggesting they can only output words/tokens only displays a complete misunderstanding of how they work under the hood.
I no longer care about plastics recycling. I only care that they get to the dump.
Anyone else see these types of announcement posts, and it's like they already have thousands of users? Where do y'all learn about these projects so early?
I don't think history bears this out. "Science progresses one funeral at a time", as they say.
> ...the real wc works with a lot more character-sets...

This should read: the real wc works with a lot more character _encodings_
So add a cost to regular pricing as a checkbox, and let people not talk to you.
Part of the answer is that some of these services need to be scaled horizontally to be able to handle a significant number of users (e.g. tile servers, the core server), another part of the answer is architectural constraints (e.g. the core server needs to keep quite a bit of per-infrastructure data in RAM).

(Of course, it's completely possible to build a single container which runs all of the services in parallel, but then monitoring/scaling/availability/etc are more difficult to handle.)
Read the architectural description - it does mention why and how.
By ignoring it? Nobody's forcing you to read news, read tweets, or listen to every clown talk about AI. Just put your head down and solve real problems and focus on the end users and providing real value
Can you add to the FAQ at the end an answer to the question "How do I know you're not just showing me two random colors?"? It's possible this is already addressed and I missed it.
I have taught my kids ages 5 and 10 some coding in ScratchJr/Scratch/MakeCode.

I also volunteered at the school to teach kids how to build their own robot from lego, servos, and microbits.

What I have found is that most younger kids are not as drawn to coding.

It is the hands on projects that keeps them interested.

For ScratchJr I did put out a 30 minute project based course on Udemy. It has a few students here and there. But what really works is when I sit down with a class and show them live how to build a project on Scratch Jr.
Roblox uses a heavily customized version of Lua, and in it they've fixed many of the pain points of Lua and JS. One example is their Lua allows value types/copy semantics, native number types like f32 / i32, and simd. These are important if you care about tracking performance carefully which I believe they do.

They use Lua heavily in Roblox so they've got a lot of tools and expertise in it, so I assume they see a lot of benefit to further standardizing their high level language.

I'm guessing they have some tooling to auto-translate typescript into Lua to massively speed up their porting. TypeScript has a very good compiler API for doing exactly this sort of thing and I've written a decent TypeScript <-> Python translation before.
> Small companies don't need SSO

This is incorrect.
This reminds me of an anecdote from someone who worked for a large hotel(?) chain. I can't remember where I read it.

Anyway, they wrote a program that analyzed employee activity from sources including badge readers and automatically shut off lights when no one was around. Management loved it — because it, inadvertently, allowed them to surveil employees.
Yup, this coming from deaddodo, Nick Peterson.
Vacancy rates across the country are at all time lows. Im sympathetic to the collusion with realpage argument, but with vacancy rates this low Im not buying it.
Yeah, Sean Barrett has a good writeup about them and optimizing them for branch-prediction, etc

It's framed in the context of programming-language tokenization, but the principles are the same.

https://nothings.org/computer/lexing.html
This comes down to "Make Invalid States Unrepresentable"

Notably Go's choice here is instead "Make Representable States Valid". So for example in Go it's not possible for a type not to have a default value - every type must have a value you get by default, you could name this unwanted default value FUCK_OFF or DO_NOT_USE if you like, but in a larger system (where Go is supposed to thrive) you can be certain you'll find FUCK_OFF and DO_NOT_USE values in the wild.

This is one of the few things the C++ type system almost gets right. You really can say for your C++ type no, it doesn't have a default. Unfortunately exception safety means we can easily end up in a place where too bad it's in some state anyway, but if we turn off exceptions or discount them we can live without nonsensical defaults.
Except it is not. One is about price controls, which distort supply and demand.

The other is about societal harmony.

For example, price controls on medicine results in society incentivizing more efforts to be put forth toward slinging advertisements, which is obviously not a good thing.

Then you say, well put price controls on advertisements, in which case..why chase the tail when it would be far less corruptive and complex to subject everyone to the same rules via tax and welfare policy.
Can you estimate how much cargo a ship is transporting by measuring how tall it is compared to the sea? Is this something that would be feasible with a constellation of tandemSAR-like satellites?
We use RHEL at work, and even though everyone is a programmer we still have regular issues. Two different people managed to accidentally uninstall GNOME and break their entire machine by uninstalling Python2 which it apparently depends on.

You're probably thinking "well it will have said it was going to uninstall gnome - they just needed to read it!" and that is exactly why Linux will never really be ready for casual users.
My favorite TI graphing calculator story to tell was back in Algebra II class in high school, while studying polynomial expansion, I wrote a program on my TI-85 that would not only solve them, but also showed the work, so I literally only had to copy the exact output of the program and it looked exactly like I had done it by hand. I asked the teacher if using it would be cheating, and she said "If you know the material so well that you can write a program that actually shows the work, then you're going to ace the test anyway, so go ahead and use it, just don't share it with any of your friends."

The joke was on her, of course, because I didn't have any friends. :-(

Later I wrote a basic ray tracer for my TI-89. I even made it do 4x anti-aliasing by rendering the scene 4 times with the camera angle slightly moved and had a program that would rapidly move between the 4 rendered pics so that pixels that were dark for only some of the pictures would appear grey because of the screen's insanely slow response time. A basic "reflective sphere over a checkered plane" in that super low TI-89 resolution still took like 90 minutes and drained half the battery.
Claude 3.5 Sonnet for agentic coding
You're misunderstanding the dynamic. There are many SAAS companies that present a public-facing abstraction of a "sticker price", but the actual price that large customers pay has no consistent relationship with that price, because of exactly the factors you're dismissing. No enterprise procurement department will agree to pay a sticker price, and few enterprises will be satisfied with "sticker service".

Why aren't companies honest and upfront about this? Sometimes they are. Slack, for example (https://app.slack.com/plans/T02EPKPG3) is pretty straightforward: you can pay $7.25 if you're a normie company, $12.50 if you have more advanced needs, or you can request a quote if you're a giant enterprise who's going to be expensive to support. The risk is that a company which really ought to be in the "request a quote" tier ends up in a lower one and then has mismatched expectations. I've seen one case where a sticker-price-tier customer was absolutely outraged that nobody would set up a call with engineering for him.
4-bit quantization tends to come at the cost of output quality losses.
https://github.com/ggerganov/llama.cpp/issues/9
Maybe we need both?
Record your screen in QuickTime Player on Mac
That's crazy. I'm tempted to register whichCLR.com which will contain a single link to download the latest .NET runtime.
It's easy to be a MOND enthusiast without a physics PhD, it's a lot harder to be an axion or WIMP enthusiast.

"Just tweak the laws of physics, bozos!" is a really easy idea for laymen to latch on to, which is why you see so much interest in it among science enthusiasts.
I've been newly doing a lot more front-end development and I've been sort of impressed by the autocomplete. You start typing the name you want to import and it autocompletes the name and module that it comes from. That actually seems more useful to me.