skysight-inc/HackerNews huggingface dataset:
I did read the article. At least the 3 paragraphs the web server chose to show to my user agent. I believe my statement is consistent with these 3 paragraphs. There is no information about how accessing public media from a public server and doing some computation on it is illegal under copyright as it is currently. Many cases by authors have already been thrown out re: training of non-book LLM on book contents.

Indeed, if we take the US government's established behavior re: computer analysis, it doesn't even count as looking at something (like NSA spy records) unless a human looks at it. Computers can compute however much they want on data. It only matters when humans are shown the otherwise illegally gathered (or copyrighted) data directly.

If there are more than 3 paragraphs for your user agent perhaps you can scrape it and post it here as a reply.
Nice. Combine this with Georgia’s online portal to cancel a voters registration[1] which only requires a name, dob, county, and last four of ssn and you have disenfranchisement at scale!

[1] https://sos.ga.gov/page/voter-registration-cancellation
Speaking as a highly introverted guy, I realised long ago that I would be limiting myself hugely if I didn't learn to get along, communicate effectively, and yes, influence other people.

Soft skills are completely worth acquiring, especially if they don't come naturally to you. You don't have to make them your career focus, but rejecting them will definitely limit how awesomely you can apply your unique value.
It's supposed to take a couple of minutes.

Please file a bug report so this can be tracked down.

https://github.com/racket/rhombus
Well, not every construct in C can have safety issue. Saying that every line in C may be the source of memory safety issues is as accurate as saying that every line of Rust may be a source of memory safety issues, because it could make use of unsafe.

There is another issue: Unsafe code in Rust could violate assumptions that could cause other code in Rust to be unsafe. So it needs more care to write than regular C.

But I agree that it still a huge net benefit with respect to memory safety, but let's not exaggerate.
summary: do some sort of breadth-first, remember "premature optimization is the root of all evil"
What other stuff comes to mind?
A cross-platform pie menu: https://github.com/kando-menu/kando

I haven't used it, but the readme seems very nice. It might be more focused on app launching.
Why? You can set firefox to delete literally everything when you exit. I never understood the attraction of firefox focus.
KANs can be modeled as just another activation architecture in normal MLPs, which is of course not surprising, since they are very flexible. I made a chart of different types of architectures here: https://x.com/thomasahle/status/1796902311765434694

Curiously KANs are not very efficient when implemented with normal matrix multiplications in Pytorch, say. But with a custom cuda kernel, or using torch.compile they can be very fast: https://x.com/thomasahle/status/1798408687981297844
I find it odd the fervor with which rural people react against superfluous regulations. I get it that they're ridiculous, asinine, and sometimes even onerous. But the regulations aren't targeted at them, and rural freedom involves being away from the enforcement matrix and maintaining a can-do attitude, no?

Can't buy a new gas powered chainsaw in a store or have it shipped directly to you? Buy used, keep old gear going with new parts, or make a trip out of state for you and your handful of well-known neighbors. The suburbs outright banning the use of gas equipment will mean lots on the used market, too.

Maybe I'm just biased against gas chainsaws since my childhood is full of memories waiting foreeeverrrr to get a chainsaw started. Meanwhile electric is just sitting there always ready to go. I'd feel differently if I were a professional arborist cutting down 40 inch trees, but I, and most other people, are not.

Also, that image captioned "visit from the fun police" is a bit off the mark. I don't like disclaimer labels everywhere either, but this one is at least defensible. Loaders generally use flexible hoses, which can burst suddenly and then the unsupported bucket/load just drops. If you are under it or on it, you will be injured. Hydraulic equipment meant for safety critical situations uses things like pilot operated check/counterbalance valves right on the cylinders.
This is great because it is an entirely new way to teach programming that is tied to the web for beginners.

For those who started with basic and grew from there, the journey seems to have been critical to start with basic to have so many aha’s so early in learning a skill.
You seem to think of writing simple programs used only by myself (and people I have a relationship with, and people who want to have a relationship with me) as some sort of special situation that doesn't require "good engineering practices." I think of it as the most basic situation of all.

The most foundational engineering practice of all: tailor interventions to the context.
> Like the laser printer?

Sure. Whatever works.-

But I meant one that is systematically and systemically and widely used.-
Lots of oil rigs work off-grid, and refineries have historically also operated off grid, though nowadays they buy or sell electricity as needed, depending on load and price.

What oil actually depends on is a transportation network, and aside from trains and pipelines, that's pretty flexible too.
Thank you. I hope I fixed it.
I recently flew SLC-CLT and CLT-SLC, and both flights were DL2070.
Don't limit your imagination to households, although that's also a problem. What about apartments that receive all their ballots at the same time, or congregate living shelters, etc. etc.? It's not that hard to conceive of collecting tens or even hundreds of ballots if you have the right access to mail.

The state should eliminate this problem by requiring everyone to vote in person on election day with voter ID using a secret ballot.
What about cards with higher memory bandwidth, like Groq’s LPUs? Would that help with data branching?
Certain artists have methods to authenticate their work. In general, I wouldn't trust ebay. Fakes abound, coins, art, any high value collectables. Consider this interesting story from earlier this year: https://nypost.com/2024/02/21/us-news/brian-walshe-sentenced...

If you want original art, especially from an artist as popular as Warhol, it's best to go through galleries or art auctions. You don't have to be in NY or LA, Paris or London, etc. You probably have some places in driving distance. Most ship, too. These places have actual reputations on the line and can't hide behind ebay or just open up shop with a different name.
It's neither of those. The trade-off is that features like this are often used against users, preventing them from actually controlling their own machines. Under those circumstances, bugs in the "security" of the machine are a mixed bag: malware can exploit them to break out, but users can exploit them to get full control over the machine that they own. This has happened with Android phones, for instance, allowing people to root phones and/or replace the ROM with a community version that gets security patches not available in the stock ROM, which is probably a net security improvement even with the bootloader left vulnerable.

So it's really hard to call it a good thing or a bad thing; it's a trade.
How are these two comparable?

Nvidia has tons of other products, and they have been delivering AI accelators for many years now. Groq on the other hand is basically a gamble at this point.
If you'll pardon an extremely naive question:

Is this trying to prove things about Python code, or is it a Python interface to Z3, or something else?
It's off-the-cuff, but you shouldn't be surprised if that's what the surcharge comes out to be. Chinese manufacturers can do things American ones can't, like ignore ARM licensing fees and abuse employees that are effectively political prisoners. Even if you pay the American workers minimum wage, you're still paying orders-of-magnitude more for the same product.
Measured boot > trust chain through signature verification:

With measured boot, components in the boot chain tell some trusted component (e.g. a TPM, possibly in FW) about all of their input and only if the hashes at the end match, $something is accessible (in most cases a secret key for data decryption).

1. More flexibility (with TPM e.g. you can "seal" a secret against different parts independently)

2. No need for PKI, which gets very complex once revocations are involved (have fun looking at the "Secure Boot" DBX lists and the shim SBAT mechanism)

3. More freedom: The system still boots if the measurements don't match, you just don't get access to secrets. You're free to seal your own secrets against your new measurements and whoever did the last sealing has no access anymore. (Unlike on PCs where the Microsoft trust is in most cases not removable).
What do you mean by reasonably secure system? Secure against commercially motivated attackers issuing profitable attacks that, these days, routinely payout 10-50 M$? Such security would need to be adequate to protect against 10 M$ budgets, or teams with a resource budget of 10-30 skilled people for a year (10-30 person-years). If that is not the minimum standard, then I do not see how it can be claimed to be a reasonably secure system if commonplace, expected threats with incentive to execute indefinitely are not stopped.

If that is the standard, what do you mean by capable of producing such systems? Do you mean that large commercial software developers (i.e. Google, Microsoft, Amazon, etc.) have the existing knowledge and capability to develop and deploy such systems without fundamentally throwing out and redesigning their systems from scratch? If so, then that is untrue.

If you merely mean that there exists or has existed such capability somewhere and that it could be reinvented or relearned with appropriate incentives, then that is true. However, that would require fundamentally redesigning basically every commercial software system and has a time horizon of years to decades even with the incentives properly aligned and having a iron will to reject insecure software systems despite the complaints by their producers which has not worked so far.
Wonderful yes, not so sure if absurd makes sense?

Basic is a very capable beginners language to learn enough concepts.

Many developers had their first experiences of magic as kids with something like Basic.
See also: Opie addon in World of Warcraft.

Does not feel intuitive with mouse (too slow) but keybinds / touch, sure.
If medicare increases payouts then the payoff to this sort of behavior only increases.
I'd like to see this run back to back with those recent Apple commercials.
Flight numbers are already recycled (sometimes on the same day). The proposal is just changing the recycling frequency.
Me too!

https://github.com/akkartik/mu

https://github.com/akkartik/mu1

https://akkartik.name/post/tracing-tests
Again, you should read the article. There's an archive link posted if you don't want to hit the subscribewall.
The perfect tool to analyse charts and plan trades
Something to be said for code that can be understood due to its simplicity even if it’s verbose, which can be good for people new to the code base.
Track Keeps Banning Drug Cheats. It Worries That Other Sports Are Not.
If that was supposed to be the case it's been fucked up since they first gave 19.0.0.0/8 to a car company in 1988, or when IPv4 was originally designed with such a small address range.
In London I often see people thanking the driver. At least outside of rush hour & outside zone 1
Something like 45 % of BTC energy consumption comes from coal, a rather impressive carcinogen.
I was simply pointing to the general concept.

I suspect that there are simple, single-colour, single-level clip-on lights.

Or, you know, conventional room lighting / reading lights.
https://archive.ph/Ff06y
Transparent pricing/competition is not going to move the needle. The overwhelming majority of costs come from a small percentage of people (80% of costs from 20% of people) whose overall medical spending is so high that they are far beyond any notion of shopping. Those people are well beyond their OOP Max and not even responsible for the costs anymore, and have serious conditions where any incentive to shop is basically non-existent anyway.

We also have gobs of data showing that people associate price with quality and often don't want to be price-conscious consumers in the first place (the classic "if your kid gets cancer are you going to the cheapest cancer treatment center, or looking for the best?" You will pay the same 10k OOP max either way). The types of health care that could be price-sensitive are a tiny percentage of overall spending.
MSAccess is a tragedy, imo. Right-up until, say, Access 2007, it was a simple (in a good way!) RAD platform following those zombie 4GL predecessors, but it’s been left to stagnate without any real effort to modernise it, and it’s clear from how Microsoft’s been downplaying Access that it’s a product they’d really rather not have to support, but they know if they do kill it then it would weaken on-prem Office’s moat and everyone will probably just rush to Google Firebase.

Most of Access’ problem is how it’s inseparable from both VBA and COM. While Microsoft has tried to make COM sexy again with WinRT and C++/CX, VBA is quite senile now. Microsoft has killed VBA in Outlook, killed VBScript in Windows Server, and is now trying to kill VBA in Excel too. MS is pitching modern JS as a successor (which I’m not too mad about…) but I just don’t see how JS could unseat the sheer volume of Access VBA out there. Especially as “Office JS” is intentionally kneecapped for things like local computer files and Win32 so it has feature parity on web vs mobile app vs desktop - it’s going to be awful.
Shut off like a petcock.
It will soon be forgotten and people will still think apple cares about privacy.
Nice work.

Some things that I think work well for SMT solvers:

1. Bounded model checking for source code.

2. Finding solutions to constraint problems.

3. Design rule checking for hardware layout and logic gates.

Recently, I built a simple scheduling system using Z3. My wife is a librarian supervisor, and she's been spending hours each week creating schedules by hand. But, with a little Z3, one can enumerate the constraints and let it find a viable example. If the example doesn't work, add more constraints until it does.
America Has Too Many Laws – An excess of restrictions has taken a real toll
those 10000 tabs are not really open you know? It's just a list, it's like opening a huge file, the better editors only open a portion of the file to memory and not the whole 10 gigabyte file
> A standard version of a Champaign County contract for technology services posted publicly through a Freedom of Information Act request requires a contractor to notify the impacted county within 15 minutes of identifying a data breach.

Without a meaningful sanction for breach of clauses like this, what difference does it make?
OpenTelemetry Tracing on Spring Boot, Java Agent vs. Micrometer Tracing
I kinda like the idea of apprentice —> journeyman —> master. Especially applied to crafts, but more mechanical / technical aspects too.
> The word Hansa is Low German for “convoy”

Ah, so Lufthansa (the German flag carrier) means Air Convoy.
Unrelated to this specific plant, but it doesn't help that the government put all kinds of stipulations and pork into the CHIPS act that requires certain demographics of people hired, investments in unrelated things, etc. https://thehill.com/opinion/4517470-dei-killed-the-chips-act...

If we want to get serious about ramping up domestically produced chips for critical applications, we need to cut that crap out and focus on efficiency and quality.
21 More AWS Services They Should Cancel
Such a weird space, talking about the morals of AI scraping/learnings etc...

There is likely very few people in tech who have never pirated software/game/music.

(BBS, phreaking, warez - all got me started in the 80s 90s etc)

The thing is that the scraping by large capable MegaCorpo results in massive profits for them, though those took massive resources.

My only opinion on anything AI WRT data/scraping etc -- is I need a [DELETE_ME] button.

Personally, I think there should be an AIDIDIA

A.I. Digital Identity Data Independence Act.

The ability to remove my data from any company that may profit from it. - Not the hand-waving BS that is the current "opt out" -- Since AI can scrape me so easily, I should be able to wipe my-vectors just as easily.

Surely everyone just say "oh but is anon/normalized etc." Nope. Its not. Never has been.

I should be able to ask any model/system/service that I am interacting with and paying for exactly what it knows about me. How much its profited from me. Give me my full file. I ask AIs all the time "Give me a detailed dossier on company X include ceo, tenure, salary, spouse, (Asking for spouse is important in high profile folks because power couples often have different last names and you get surprised to see whomever else's ear/interests they carry)

--

If we are arguing that AIs cannot scrape massive public data sets - then we am I not allowed to make my self a private dataset.

I actually wrote a white paper about this back in the early 2000s - but it was large centered around portable gaming avatar/personal data... never pursued anything about it - but this is a serious issue.

EDIT: everyone got flagged while I was writing this... why?
Pretty much the entire project.
my 6 month stint at mcdonalds was pretty amazing as a sophomore in high school. it was 2 no nonsense managers and a few chill managers that corraled a bunch of teenagers and young adults that liked to get high and have fun. which we did with reckless disregard and it was AWESOME! some crazy shit went down after close in the ball pit over there lol. i got fired by my friend because me and a coworker came in after a smoking sesh in the woods to get some free food and i was supposed to be working that evening. i brushed it off and asked for some free food which we got. it was a great first job and i made several connections with people that im still friends with to this day. also, i ate so much free mcdonalds in that 6 months that i have only had it a handful of times in over 20 years since.
This is a great idea; this is what Holochain and the Holo project are doing for all of your compute, bandwidth and storage, and could quite easily be extended to specific types of compute such as GPU as well.
Before you panic:

> This issue is fixed in macOS Sonoma 14.6, iOS 16.7.9 and iPadOS 16.7.9, macOS Monterey 12.7.6, macOS Ventura 13.6.8.

Okay now you can panic. But at least if your devices are up to date, it's fixed now...
Shove some Bravo once in a while in the solution and your fungus worry is gone. If you're going with a chemical solution with fertilizer, etc, you might as well use other chemicals like fungicides and pesticides.
> Simpler designs can be made than JavaScript with HTML DOM.

I'd agree here for sure. I suppose I was thinking that if JSON (or any other basic format) was specified in and out from companies, etc; a client-side browser replacement could be about anything. I think the fact that current browsers are 100s of millions of lines of code (or whatever) get in the way of the fact that, at its core, a browser doesn't have to insanely complex.

You need a way to put info on a screen and a way to talk over the network. That's pretty much the core. Not hard to add some flavor of storage and/or scripting client-side.

I've only toyed with a bit, but I think something like the Lua Love2D tool pretty much gets you there. Or any number of approaches.

> although I think there are some problems with some file formats such as JSON, too

Curious what you think those problems are. I'm not defending it particularly and have heard a few valid critiques tossed around online but am always open for hearing how folks think about it. Personally, I'm largely surprised that anything has managed to coalesce into a general format for data.

> My Scorpion protocol/file-format specification includes such a feature called a "conversion file"; both server-side and client-side conversion are possible.

Cool, I'll go take a look for it.

Feel free to ping me at the email in my profile if you're up for kicking any ideas around.

The topic has been sitting on my mind for a long time and I'm glad to get behind anyone's even half plausible technological approach. I think our 60 years of Moore's Law makes any one of a number of approaches possible. But prob not just me plugging away here solo in my living room.
In music it has been the standard for hundreds of years that the composer of the music is not the one performing it.

And actors don't write or direct or shoot movies either.
What? The bookmark manager easily allows for tree structured saving of bookmarks with bookmark folders. Am I missing something here?
The Schiller PE Ratio hit 36.1 3 weeks ago, with an EFFR of 5.33% (!)

It's still 33.6, and the historical average is 17.1, with an average EFFR of 4.61%

And the historical average didn't even have the (slight) headwind of boomer retirement plan liquidations that we have now.

So yeah, there's a long way to go.
I understand that this is considered a vulnerability on iOS, since its security model includes isolating applications from each other.

But does macOS even attempt to sandbox applications like that? I assumed it's like Windows/Linux where traditionally applications have full access to a user's data and it only attempts to protect data of other users. On Windows/Linux attempts to introduce such isolation have seen little adoption so far. Has Apple been more successful on macOS?
mobile apps seem to be working just fine
It's a bit more challenging when the attacks are coming from hostile nation-states that covertly or overtly support the crimes.
Always appreciated seeing your "byline" on things around here and elsewhere. I'll miss you.

Good luck, to the extent that's even possible anymore.
Lightning is the only charging cable that manages to stop working after a while, plus it has some kind of DRM bs. It can rest in pieces, in many cases literally.
I’ve seen neural nets combined with decision trees. There’s a few ways to do such hybrids. One style essentially uses the accurate, GPU-trained networks to push the interpretable networks to higher accuracy.

Do any of you think that can be done cost-effectively with KAN’s? Especially using pre-trained, language models like LlaMa-3 to train the interpretable models?
Also, Bandcamp has "Bandcamp Fridays" (or similar name), where for the entire day, 100% goes to the artists.

I keep a list of music that I add to when I come across something I want to buy, then when the Bandcamp Friday comes around, buy everything on the list.
Not naive.

It is not trying to prove things about python code.

It is building facilities and theory libraries around the pre-existing z3 python interface in a manner that can be reasonably called an interactive theorem prover. Hopefully, eventually, with a lower barrier to entry (and probably lower expressivity ceiling) than pre-existing systems like Lean, Coq, Isabelle.

I am targeting applications close to my heart, like calculus, differential equations, dynamical systems, numerical calculations, software verification. It is a tall order. No promises.
While I can't comment on how truly Apple cares about privacy, a bug is not the same as an intentional decision. This seems like a weird thing to fixate on as an example of Apple not caring about privacy.
Those unsafe lines in C could be anywhere in your program. In Rust they cannot exist outside of unsafe blocks. This is not a trivial distinction! For all intents and purposes, each and every line of C must be treated as potentially unsafe.
Another alternative is the "Search Menu Items" command from raycast: https://www.raycast.com/changelog/1-20-0