skysight-inc/HackerNews huggingface dataset:
The Erlang term format is straightforward, but if you want to set up another node in another language you need to correctly implement/emulate process linking, binaries, and some other stuff too, it's not just a matter of writing a socket to accept and emit Erlang terms.

It's not impossibly large but it's not something one does on a lark either; if there isn't support in your language already it's hard to justify this over any of the many, many message busses supported by both Erlang and other languages that don't have so many requirements.
But Zionists have AIPAC and its equivalent in Europe and Australia.
This is very troubling.

From the article: the fact that someone who has high security clearance and possesses protected technology, yet may have regular contact with an enemy of the state, is pretty outrageous to me
They have repeatedly attempted to sell small phones. They don't sell in significant numbers, unfortunately.
You can't carry a packet knife with a blade length over 2.5" into any US federal buildings: https://www.law.cornell.edu/uscode/text/18/930
Interesting tidbit, the Battleships puzzle is NP-complete (http://www.mountainvistasoft.com/docs/BattleshipsAsDecidabil...) - there's no known solver algorithm that can do it in polynomial time, as the size of the puzzles / boards expand.
IIUC, Claude's "Computer Use" is roughly a remote desktop, which is a superset of a remote shell. I don't think I'm proposing anything with a greater risk than already exists.
Would it make more sense to properly tax those negative externalities instead of having some authority just picking one use case as "bad"?
Agreed, but they're not being tossed out into nature the same way these disposable vapes are.
Automata_theory.svg
Indeed, can't wait to see teachers, firefighters, and other state and federal employees going to prison as their pension funds get invested in corporations committing crimes.
I've bookmarked your blog and will follow along to see what kind of solution you come up with in the end :)
Vernor Vinge - Marooned in Realtime
What are straws for anyway?
I figured any disposable vape would have its batteries glued in. How straightforward a task is it to remove the battery? What do the batteries generally look like?
Or it's just simply going to make purchases and flight bookings based on paid boosts from online stores and airlines. They will simply say that it's making a holistic assessment, not simply based on the final price but the overall reputability etc. It's to avoid fraud and to streamline experience based on personalized machine learning algorithm result yadda yadda.

I mean, what really are ads and dark tactics (like those observed on accommodation booking websites)? They are ways to influence purchasing decisions.

If the decision is offloaded to AI, then logically ways to sway the AI decision will be developed. Such as backroom deals, hidden prompts and rules governing the assessment of the AI in making choices.
San Francisco billboards call out tech firms for not paying for open source
Windows became big because it was the successor of MS-DOS, the OS for the IBM PC, which architecture became popular because of cheap clones.

This wouldn’t happen with Atari or Amiga.
He's not talking about generating images, he's talking about classifying existing ones.
Photo manipulation is another example.

You can see the wisdom of how Apple is approaching this. In particular, to be on device whenever possible so as not to be dependent on network bandwidth, and to tie features to new hardware (to drive sales).
> in Europe everything is illegal unless the government legislates to say you can.

That doesn't seem accurate. I'm guessing you haven't lived in a country where that's much closer to reality?
There are certainly legitimate concerns about the influence of Amazon and other large corporations, but the solution is not so simple as what you suggest. Corporations are associations of people, so you are advocating for civil rights for individuals up until they associate with others and act or speak collectively. That would be radically detrimental to the meaning of civil rights.
I non-disposable ones to keep cold and acidic drinks from washing over my sensitive teeth.
The city of Sao Paolo would like a word: https://timesofindia.indiatimes.com/travel/destinations/sao-...
(if `sizeof(char *)` != `sizeof(int)` it will be detected as an illegal memory access, since at a minimum every word is tagged whether it's a pointer or not. Otherwise ...)

That's really an aliasing problem, not specific to arrays. The tricky part about tagging memory with a full type is that a lot of code, even in standards, relies on aliasing that's supposed to be forbidden.

Still, even if the `sort` isn't detected (due to the user insisting on permissiveness rather than adding annotations), it would still detect any attempt to use `s` afterward.

As for a limited array-specific solution ... I can't think of one that would handle all variants of `sort((int *)&s[0], (int *)&s[1])`. And do we want to forbid `sort(&s.arr[0], (int *)&s.s)`?
Those stats are wrong in another way - everything is about tradeoffs. If the AI is really good I can pay a price to use it - the price depends on how good it is. If the AI is really good I can ignore some privacy concerns - not all but some (indeed in order to work it probably must ignore some privacy concerns)
Hey folks CEO of Determinate Systems, and the author of the blog post. I'd be glad to answer questions about the post and what we're doing!
Greenland to get new international airport at Nuuk
Gift link: https://www.wsj.com/science/space-astronomy/boeing-explores-...
Yes, this would be the consequence. People would stop investing in these companies, knowing the consequence.

The flip a switch send people to jail fantasy, is silly handwaving.
Found here:

https://en.wikipedia.org/wiki/Automata_theory

Related:

https://en.wikipedia.org/wiki/Chomsky_hierarchy

https://en.wikipedia.org/wiki/Formal_grammar

https://en.wikipedia.org/wiki/Context-free_grammar

https://en.wikipedia.org/wiki/Parsing
Looks like Firefox is lagging behind. It understands the url but there doesn't seem to be a way to create it from the UI. Chromium has "Copy link to highlight" in the right click/context menu but Firefox 131.0.3 doesn't. There is an add-on though: https://addons.mozilla.org/en-US/firefox/addon/link-to-text-...
How would an additional tax address this? Paying more would hardly reduce usage, and definitely won't incentivize users to dispose of vape pens more responsibly.
You forgot antisocial.
I'm surprised you've not heard of the author (Sean Baxter). He's pretty well known among people who are interested in c++ standards proposals.

He single handedly wrote his own C++ front-end and then proceeded to implement a butt load of extensions which other members of the committees poo-pood as being to hard to implement in the compiler.

Every couple of weeks he implements something new. He's a real joy to follow.
I think it’s at least partly cost reduction. Push everything to the phone so people have to pay more for phones and they pay less for infra. Win-win.

Otherwise why don’t they let older devices use their server-side private LLM setup?
Ah, I see. I was assuming you meant the 4-momentum. Though I'm not sure this doesn't come out to the same thing.
Where Web Components Shine
You are very close. CT is about structure, not which problem this structure solves. Compilers are closest in what i can think of in this regard: They don't resolve one problem domain, but many. Which one you apply it on is up to you.

One tool for one job is a simple rule you can adapt as a systems architect allowing you to build clear structure for the problem domain you come across. esbuild comes to mind as an example - the job was solved before, but keeping one purpose in mind and writing it from scratch solves the problem WAAAY faster.

So no, no problem is solved inside the domain of product software development, but outside of it, you as a developer can (if you want and for speed) derive any structure from the absurd function instead of combining foreign frameworks.
A bottle of wine by mass is ballpark 50% glass and 50% wine. A one liter glass jar of olives around 300 grams of glass.

So it's not merely packaging cost but also about convenience of shipping it around.

That said we still manage to ship both of those all over the world despite the unfavorable mass and relative sensitivity of their packaging.

The jar of olives however have plastic liner in the jar lid, so you're not escaping plastics anyway. The solution as I see it is to use the right plastics in the right way and ensure proper disposal of the waste.
https://lwn.net/Articles/978010/ says there'll be a glibc tunable
Control Loops and Rice Cookers
I often wonder about carpet or seats and couches. Also made of all manner of synthetic fabrics. Even besides the effects of living in the same space flame retardants slowly gas off over the decades, we rarely deep clean any of this, so when we sit down a cloud of craps wafts up into our lungs.

I prefer noncarpets, but hard seating of course not.
No, it's fine if I have to pay (but I said as much in my initial post, didn't I?).

A kotlin project paid my bills for a long time, so I am totally fine investing 200bucks/year.

But I don't want to use IdeaVim anymore, I want the real deal NeoVim, configured how I love it!
Doesn't it also block any fan you've got? Probably a good thing you can't close it.
mseal digresses from prior memory protection schemes on Linux because it is a syscall tailored specifically for exploit mitigation against remote attackers seeking code execution rather than potentially local ones looking to exfiltrate sensitive secrets in-memory.

If a remote attacker can change the local environment then they must have already broken into your system.
Here is Ben Recht’s response: https://www.argmin.net/p/toward-a-transformative-hermeneutic...
I don't think that prevents a programme to encourage responsible disposal. A $5 deposit on these vapes would get people to return them, and they could be recycled en masse even if it does cost more.
Fake IT worker schemes expand beyond North Korea
Still I'm glad Mr. Newport has a comments section on his youtube videos. He doesn't always explain things that clearly.
How is it different? The first amendment right, im guessing, extends to the employees making the union-busting speech. Can you mandate that an employee listen to safety training, where non-compliance means having your contractural employment terminated?

To the other absurd arguments about "give me your wallet" as comparable free speech, come on. These are people demanding pay from an employer but wanting to play by different rules not mandated by the US Govt, not somebody out there tilling their own field seeking racketeering protection from an ogre.
Brazil reaches $23B settlement with mining firms over environmental disaster
Only long enough to disperse a particular mind virus.

STEM degrees and 20+ years in Eng; hardware then software

This community isn’t really peddling anything that hasn’t been done before; just like the story mode politics and economics often complained about

What’s that? You have a new state manager or a machine and some math euphemisms that translate cleanly to other math objects known for a century? WOW!

…There’s no beating physics and it doesn’t care humans exist. No matter how much symbolism we write down to represent it, it’s not imbuing us with magic powers. We just meat suits like everyone else. Get over yourselves; this a momentary social bubble that will vanish like all the ones they say came before

Really look forward to ML generation of new math built on the same old axioms so we can light a bunch of PhDs hanging on walls on fire
These comments on that video perfectly capture my reaction:

> This is FUD. Who or what speeds up to 55 mph to enter a rotary? How is it that the posted limit and presumably map data indicates 55mp seconds before the rotary? What do you expect FSD which is training on humans using vision and the maps to do? I saw a dinky little rotary sign AT the rotary. I'd slam on the brakes or have an accident too.

> Why would the car come to a stop? I don't see a stop sign, and most roundabouts are yield and I don't see another car blocking your way. Why enter a roundabout at 55? You are wrong, not the car or FSD. You don't know the correct way to drive a roundabout.

FSD mimics human behavior. If you are speeding into a roundabout at 55 mph, you are the one in the wrong, not FSD. It's honestly kind of incredible the ridiculous lengths people go to try to discredit FSD.
Are you trying to control outlaws with laws? Good luck.
At least here, kids vaping is basically normal and it's really bad
It is still nascent according to this https://rubinobservatory.org/news/multi-messenger-astro
You can override the mseal call wrapper but not the syscall itself.

This is an interesting thought so I looked it up and this is how (all?) preload syscall overrides work. You override the wrapper but not the syscalls itself so if you’re doing direct syscalls I don’t think that can be overridden. Technically you could override the syscall function itself maybe?
When I was a kid, there was a black market for trading cards, candy, cigarettes, and blunts in school. Schools are a lot like prisons, where the poorer kids needed a hustle to eat. Some kids were making tons of money selling to other kids in school. Mostly legal stuff, but some illegal. Usually they had an older brother to supply them with stuff they couldn't get on their own.
Feels like a feature Google could make by using the same data they use for traffic monitoring. They know where the train shaped mass of people is.
I don't think you get to charge anyone else with assinine.

If a tool does not perform as designed, all users of the tool have an interest in knowing that, and working towards correcting that.

It doesn't matter that there are both good and bad users.
as a former record holder (1m18s, 2015) it's been fascinating to see this number go down over the years
Because "AI" is used in lots of consumer-facing marketing
If AI makes some 'thing' look easy, then that 'thing' starts to look cheap.
This concept muddies the waters, and as a society we should be keen to identify concepts that do just that.

It’s simple enough to draw the line at registered organizations. These entities after all are afforded distinct legal privileges.
Topology, dynamics, and control of a muscle-architected soft arm
There's a fundamental tension between what customers want and what providers want.

Providers want to drip feed and charge for 'improvements' indefinitely.

AI is the next drip feed.
I think so but the practical issues are:

Tax is one big pool of money and I doubt the money will be used to fix the issues created.

A similar idea, carbon taxes and carbon credits trading seemed politically dead at least in my country even though it is a fantastic idea.

Edit: what might work is a 5-10 British pound ransom, released on return of the disposible to a recycling centre. Give the used devices free to a reclaiming merchant that operates out of the same country.
AI’s appeal depends a lot on the features. Battery is important for me (more than being anorexically thin), but I would love an AI that could screen my calls like a smart voice mail that asks questions.

Also, being able to talk to my mailbox asking questions about subjects mentioned in my e-mails would be a huge time saver.

Imagine a purely local Microsoft Recall-like thing that could answer questions about things you saw, or that read the news articles you went over quickly and answer complicated questions about them much later, at a time you just started to regret not having bookmarked it for future reading.
Meta: the mseal() prototype in the article needs some editing, it is not syntacticallly correct as shown now. The first argument is shown as

unsigned start addr

But should probably be

unsigned long start_addr
I can imagine a tax so high that it's effectively a ban, and a tax half that size that might be a compromise between black and white ban/no ban
There are a lot of different phones. People don't buy Sony as much as Samsung.
This begs the question: why do you use disposables, then, and will apparently only stop when they are banned if you think they are so bad?
Determining whether something is useful because it’s the only way that a problem can be solved is quite a high bar.

We could say the same about computers in general.

Admittedly even with a less stringent criteria I don’t have any examples. So I understand your point
That sentiment originated in discussions of English common law, where it was being contrasted with European legal codes.
It depends. Leaching from cold water passing through a pipe for a few seconds is a lot different from a water bottle that might be in a backpack or warm car most of a day.
My pet theory is that nicotine itself isn't particularly addictive to adults.

I think the combination of additives in cigs is what makes them so hard to quit. I have quit various forms of pure nicotine with no withdrawals over the years, and treat it a bit like caffeine -- a stimulant that I use for a few months at a time before cycling off.

The only time I've _ever_ desperately craved a nicotine product was after 2-3 days of smoking cigarettes. When getting on a near-day-long flight, the whole time back I was thinking "wow, it would be great to have a cigarette right now" every 5-10 minutes.

But agreed on lung health with vaping. Also, my whole upper respiratory tract was in shambles. My throat was so dry, and it made me get sick constantly.
Probably not LD_PRELOAD. It would need to be an imported function in order for LD_PRELOAD to have any effect. A raw syscall would not be interceptable that way.

Discussion about intercepting linux syscalls: https://stackoverflow.com/questions/69859/how-could-i-interc...

But building your own patched kernel that pretends that mseal works would be the simplest way to "disable" that feature. Programs that use mseal could still do sanity checks to see if mseal actually works or not. Then a compromised kernel would need secret ways to disable mseal after it has been applied, to stop the apps from checking for a non-functional mseal.
For THC, they're cheap and convenient. They allow someone to try vaping without buying what people might think is an expensive "real" vape. Even though reusable vapes with 510 cartridges don't really cost much more, lots of people don't know that.

I tried a couple, once I found a strain/mix that seemed to work with my nerve and back pain, I bought a reusable vape and use cartridges now.
Even camera improvements are overblown. My usage and photo quality did not improve much since ~iPhone 6. Taking decent travel photos, selfies, etc - I was happy with the results 10 years ago.

Technically, I understand the difference in the technology, I just don't know who needs that vs who gets excited about new features for a brief moment.
Customer development = learn and land customers
As far as I can tell this is totally unrelated to the concept of monad in mathematics or programming.
I was surprised to see swift support in the blog entry for 1.0. That’s exciting! Every other CRDT I’ve seen doesn’t support (or has very unfinished support for swift, making it really hard to use them in native iOS programming.

I was wondering though, is there any kind of transfer mechanism built into this, what yjs calls “providers”? I mean a built in way to communicate between clients. Or is that on the developer to come up with?
Convert GitHub repositories into AI-friendly formats
That may be, but the max strength in the US is 2.5x that of the UK.
https://www.youtube.com/watch?v=N65DpT2nqEI <--- BigClive scavenging cells from vapes. (Basically where I got the idea from)

The cells are generally just "push fit", maybe with some kapton tape or foam to give them a snug fit. As for taking the vapes apart, A pair of pliers and some brute force is typically all that is needed to get them apart.

Cell shape is either cylindrical or rectangular, depends on the vapes shape really. You get the knack of remembering/guessing what the shape will be just by looking at the vape.
It is really not useful at all in software engineering except possibly in some very niche case.
This fix allows me to run the OpenAI CLIP model in less than a second per image in the browser, whereas before it was taking 30+ seconds, making interactivity possible.
What makes a Polaroid any more "real" than an iPhone picture to you? Can any photo truly be real? (Deleuze has some interesting thoughts on the matter)
> assuming all allocations had invalid pages at the end of the allocation & no 2 allocations share a page

This assumption doesn't hold for real world systems -- most allocations are small, so heap allocators typically support a minimum allocation size of 16 bytes. Requiring each allocation to have its own page would be a 256x memory overhead for these small allocations (assuming 4k pages, and even worse as systems are moving to 16k or 64k page size). Not to mention destroying your TLB.

Also, guard pages only solve the problem if the program tries to access the entire array (like when sorting or reading a string). For other types of out-of-bounds array access where an attacker can control the index accessed, they can just pass in an index high enough to jump over the guard page. You can "fix" this with probing, but at that point just bounds-checking is much simpler and more performant.
Tell HN: Chrome latest version (130.0.6) on macOS does not display Google icons
Google material icons do not display ...
https://fonts.google.com/icons?icon.set=Material+Icons&icon.style=Two+tone
It should be also noted that the iron supplements contain reduced Fe(II) ions, and not the oxidized Fe(III) ions that have been identified as cancer causes by this study.

The Fe(II) ions are soluble in water and they may also be found in natural water, but the Fe(III) ions normally form insoluble precipitates that would not have any effect even if they would pass through the intestine.

The Fe(III) ions that have been identified as harmful are those that are bound to organic molecules, e.g. proteins like hemoglobin, so that they are prevented from forming insoluble minerals.
Yes, but "if you form an union I'll fire you" is a kind that is explicitly forbidden.

It doesn't matter if the speech is named after a real person or not.
They can. It just that no one wants to buy them.
The Amish are also overall happier. Maybe that contributes to the longer life?
How does it make it easy?

That’s like saying to understand object oriented programming one just needs to study Plat’s theory of forms.
It's very similar in regards to treating the increase in compute power consumption as a signal of "growth".
Making a consumer electronics device with the intent of it entering the regular waste stream? Fairly sure that was already illegal under WEEE, but the enforcement of that is so loose it's meaningless.
I manage that by using a vacuum to clean my lint filter but folding seems to release a lot of dust so I do that next to an air filter.
> Guaranteed compatible. I've seen seemingly standard carts not work with certain pens which can be very frustrating.

The carts with longer mouthpieces just fit in my battery/pen, but yeah the cartridges need to be a standard length too.

> The standard 510 thread cartridge kinda sucks. I'm not sure if it's a design flaw or a lot of bad manufacturers but they tend to leak and develop blockages.

Blockages are an annoyance, yeah. I wonder if a "double-wide cart" would flow more easily?
Reading this on a phone that was mostly made in China brings some interesting insight to all of this.

At least we paid for the phone.
Universal optimality of Dijkstra via beyond-worst-case heaps
Wat? Disposibles have rechargable batteries?
Depends whether the program calls into libc or inlines the syscalls, I imagine. Though you could use other mechanisms like secccomp.