skysight-inc/HackerNews huggingface dataset:
I think we might be talking about different things, because some of the issues you've mentioned are not examples of price controls or direct market intervention. UBI, for example, is a post-market transfer payment that is certainly a "cleaner" way to redistribute wealth than to futz with individual price signals. (I don't actually support UBI, but not for reasons relevant to this discussion.)

> the market itself is Pareto inefficient unless you labor under the axiom that the market price is the "correct" price

This mischaracterizes my original argument. I don't think anyone who is serious believes that real-world markets establish optimal prices. Perfection isn't relevant: the question is whether markets perform better than government planning, and fortunately we don't have to speculate on that question. Resoundingly, the historical record shows that central planning reduces the total amount of wealth available to be distributed.

> Why [are market distortions] a bad thing?

An example might be useful. Consider when California capped retail electricity prices in 2000. Even though this was far from a competitive market to begin with, the result was predictable: shortages. The price caps reduced utilities' incentive to expand production, and simultaneously increased consumers' incentive to use electricity. (There were other factors involved in this debacle, but the price caps were a key feature.)

> This chain goes all the way back to digging out the raw materials from the earth. Your entire "complex" network of calculations is done there. Why can it not be done elsewhere?

I think you have to broaden your field of view on this a bit to appreciate the problem. You're only considering the perspective of a single supplier in a single market, in isolation. In reality, there is a complex equilibrium that results not only from the forces acting inside a market, but also from the forces exerted by other markets.

Suppose you're a pencil manufacturer. Of course you can calculate some output price for your pencils that reflects costs + some profit margin. However, we don't know if that output price will incentivize good pencil-purchasing behavior. Perhaps you're the only seller of pencils worldwide, and the price is too low. In this case, people who don't really value pencils buy them anyway, and your inventory is depleted. Now, pencils are sitting unused in random drawers, while there are art classes that have to be canceled because the students can't get the supplies they need. (You've mentioned a need to control distribution, but haven't suggested a way for these distributive decisions to be made.)

Consider also that graphite is an input price. How much should that cost? It's useful for making pencils, but it's also used in nuclear reactors and lithium-ion batteries. If the Department of Homeland Prices is going to choose a good price for graphite, they're going to need to decide how many pencils the world needs, how many nuclear reactors, and how many lithium-ion batteries. Of course, those items feed into other items...
Because a user sitting in the United States could be served copyrighted content by GitLab. It would likely even come from one of GitLab's servers in the US. In that hypothetical instance, GitLab is in clear violation under US law.

In theory GitLab could decide to ignore the DMCA, as you suggest, but that would mean removing all US servers, firing all US staff and cancelling all contracts with US customers (including those that GitLab has with the US government itself). Even in that instance, you would just move the copyright lawsuit to Dutch courts.
From what I gather, this project started out as an implementation of a code-interpreter using a local LLM. Basically your instructions are used to write code by the LLM, which is then executed. The idea is that it can be much more powerful having access to your native systems shell instead of only sandboxed python.

In the meantime, it seems that also models with vision capability have been added, that can be used to access GUI based applications, not only the shell.

It's a very exciting concept that lives in a space where open source software should have a significant advantage due to its transparency. (Or would you give a black box device access to everything on your computer?).

It also seems to one of several emerging projects that try to sketch out a path for ideas of how LLMs could change the way we interact with computers.
>"hard but not so hard as to be impossible" goals at any level is really more of an art than a science

back then a woman in USSR army, a low level commander, when I asked about how she manages to maintain her authority in those conditions explained to me that you do have to run your soldiers hard, yet giving impossible to complete order is the fastest and surest way to lose respect of your soldiers and as result to lose real authority over them, and to walk that fine line the key thing is to truely know your stuff (they were some very technical radar service department).

I do live by her words - the fist thing I determine about my superiors is whether they know the stuff, and thus how much respect, if any, I should give to them and to their orders :)
Just for funsies, let's assume foul play.

There's a happy way to look at it, and an unhappy way. The unhappy way is that whoever Epsteined him has enough juice/skill/perseverance to wipe the tapes between the moment of recording and a courtroom. The happy way is that the cops aren't releasing it because it looks an awful lot like a goddamn murder scene, with all sorts of weird details, 1) apparently the guy wasn't depressed, 2) packing bags - and leaving them behind - seems a bit peculiar on your way to shoot yourself, 3) that third-party nugget about "if something happens to me . .", and 4) a gazillion dollars and who knows what else worth of motive.

But things being what they are, the most likely scenario is that the poor guy was just too tired to keep cranking for nothing, wife's gone, only to head home to his ma like he's thirteen years old. Nothing to show for fifty something years of honest work and advocacy, so he punches his dance card. That doesn't fit, in my brain, because of how focused he's been on this, but people are fuckin' complicated, and shit sucks. There but for God go etc etc etc.
Related from a few weeks ago:

In Mongolia, a killer winter is ravaging herds and a way of life

https://news.ycombinator.com/item?id=39624223
“democracy is the worst form of government – except for all the others that have been tried", I believe, you know who said (or could google).

So, if you will invent something really better, I will respect.
https://archive.is/cwZuQ
I've so far only read Consider Phlebas, and while it's an interesting dystopia where humans have no purpose, and machines could do everything (if allowed), it's not an actual interesting story.

It's like he had the idea for the dystopia, with the main character fighting against the machines. And then tried to write a story around it. The central idea is interesting I guess, but the story built around it is not.

It doesn't help that the fight is futile, the machines as described are so powerful humanity doesn't stand a chance, so what kind of story can you make?

Maybe the later books are better.
Great work and finally I could take that step of bringing all the pictures together locally.
When I send photos to an android user, I just use a different method. it really is not a big deal.
So you have a devcontainer running on your local machine, and you start up a service inside it and want to access it from outside?
I run a pretty substantial platform where I implemented structured logging to SQLite databases. Each log event is stored as a JSON object in a row. A separate database is kept for each day. Daily log files are about 35GB, so that's quite a lot of data to go through is you want to look for something specific. Being able to index on specific fields, as well as express searches as SQL queries is a real game changer IMO.
For the same reason US sites must comply with EU regulations.
They function differently, but in terms of what gets communities to actually form and stick around, I think they're very similar:

- Making a new space for your community is trivial for anyone; it can be done in seconds with a few clicks and all you have to do is choose a name.

- Many people already have an account, so you don't need to convince everyone to sign up for a new platform. (Which scales with the platform's size, like all network effects.)

- Communities have their own space they can adjust to their liking, rather than being a vague cluster of nodes with a similar interest like in other social networks.

- Owners of those spaces have a lot of leeway to run things as they see fit.

Personally, I don't like the growing trend of every community being a Discord server that is going to collect dust in the corner of my chat window unless I commit to keeping up with it every day, but I understand why it's happening. Discord is an adequate social hub for any project or hobby group with a very low barrier to entry, which is more important than the actual functionality being the best IMO.
Former locksmith here. That is called "to flipper" a door. (Guess that is where the flipperzero name comes from)

However you can only flipper doors that are held closed by the latch bolt. If the lock deadbolt is engaged, you cannot flipper it, because the deadbolt will not budge when manipulated by a card or piece of plastic.

Technically a lock without an engaged deadbolt is not really "locked" but "closed". That being said, an unbelievable amount of people believe their doors are locked when in fact they are closed.
Looks good but having to download, then sign up just to see the pricing is infuriating.
Still up here: https://git.suyu.dev/suyu/suyu

Fuck Nintendo
Moreover, they can be elected too. Great minds think alike.
Linux comes with Python included. (Python is the new BASIC, and explicitly designed to be so.)
Just want to clarify that OpenAI does not train on the query code and schema info we send via API. It's equivalent to using https://chat.openai.com/ setting "Improve the model for everyone" (previously "Chat history & training") to off in Data Controls.
At least in Mongolia, Cyrillic is dominant and usage of the traditional script is marginal, though there are efforts to bring it back.

Most users of traditional Mongolian script are in China, where websites are in Chinese by default and Mongolian form elements are rare. They do exist though, and it would be nice if the search bar of this bookstore https://mn.dayangds.com/ could be vertical like everything else.
It will biodegrade just laying around anywhere, with not even a backyard composter, 1000x sooner than all the normal plastics.

Some other things can even go faster and easier, but you can use pla without feeling guilty of anything.

It doesn't do the world any good to make anyone wary of such a huge improvement.
IMO the issue is that people get tricked into doing stuff like this. Elderly people seem even more vulnerable.
> The Dutch government basically tried to completely neo-liberate our housing market.

So are the regulatory costs related to building new housing very low compared to someplace like Texas or Florida, then? If so, and if there’s clearly a lot of demand, why aren’t small Dutch businesses cashing in on the opportunity by building units at a rapid clip like their counterparts in Texas are?

For example, look at what Austin has done in a decade: https://x.com/documentingatx/status/1764631328723460247
This document seems antique, judging from the referenced talks and CMake versions
"Today's universities are as corrupt as the medieval Catholic Church. The Reformation is underway," said Peter Thiel.

“This year’s class understands the importance of the present moment. They reject the well-worn paths of red tape, digital distractions, and self-censorship,” said Alex Handy, director of the Thiel Fellowship. “By refusing to sit idle while others succumb to conformity’s paralysis, they’re positioned to finally deliver on the future.”

This is.. a bit extreme and hyperbolic. I would guess this is what happens when you insulate yourself with sycophants who constantly reinforce a particular world-view and go more and more extreme with it.
Do you know if there’s a way to do per directory aliases with Mise? Every time I see a tool for directory environment, that’s the one feature in really hoping for
Nice. Python (and I guess Perl before that) had these eons ago, but nice to see browser & JVM APIs catching up.
What’s your tech stack? Find someone who’s highly respected in that stack’s community to pay to mentor your devs.

It’ll be expensive, but that’s simply the cost of having all juniors that you have to eat. That or eat the cost of bad quality software and constant failure to deliver.
CMake <= 2.8
You're the third person who mentioned this, so we'll be sure to add pricing to our landing page... Sorry about that!
> 8GB of RAM [...] late-90s-era experience

Not even close.
That has more to do with (poor) performance, not syntax. At it's core, R's source code written in C is still very badly optimized and not performant at all.
Is that a surprise to anybody?

Well, the developers use a distributed VCS so they can still work on the project, exchange patches, etc. only with less publicity, which is a good thing when you work on legally dubious stuff.
Having such specific limits is exactly the point of PICO-8 though. If I wanted a variety of options, I’d be using a more traditional engine or library.
This wiki article is pretty tame explanation https://en.m.wikipedia.org/wiki/Project_2025
I don't have any experience with Synopsys's system here, and I don't want to fill out a contact form to download their whitepaper, but I have some experience with information flow tracking.

> Any simulator capable of security verification must be able to apply taints and track their propagation through the RTL design. The simulator must have an “algebra” to model how taints propagate through all types of RTL code constructs and design elements. Finally, taints must check for security vulnerabilities while not modifying the design behavior.

This paragraph is hiding some real difficulties and limitations with information flow tracking models.

Generating completely precise (i.e. no false negatives, no false positives) taint propagation logic is an NP-hard problem[0] that is intractable for practical circuits (at least for gate-level IFT, probably also for RTL-level IFT). Thus a more relaxed approach (called the 'Constructive Approach' in the above-cited paper) is generally used, which introduces many false-positives, reducing the SnR for real information flows along with the utility of taint propagation modeling.

To make matters worse, SAT queries on these already-imprecise GLIFT models might take weeks or months, if they ever terminate. There are some attempts at optimizing or simplifying the GLIFT models to be more tractable[1][2], but realistically you're still probably left with simulation and/or dynamic taint tracking.

Don't get me wrong, simulation with IFT models could be very useful and help catch lots of bugs, but I'm skeptical of calling it "verifying hardware security", especially when even an unobtainable perfectly precise GLIFT model leaves open the possibility of information flows due to analog physical design effects beyond the scope of the model (e.g. RowHammer).

[0]: https://cseweb.ucsd.edu/~kastner/papers/tifs12-complexity_gl...

[1]: http://kastner.ucsd.edu/wp-content/uploads/2013/08/admin/icc...

[2]: https://kastner.ucsd.edu/wp-content/uploads/2013/08/admin/da...
> I would guess this is what happens when you insulate yourself with sycophants who constantly reinforce a particular world-view and go more and more extreme with it.

Are you sure you're not describing the universities?

https://www.thefire.org/news/harvard-gets-worst-score-ever-f...
I couldn't buy the audio relaying wolf packs either, but enjoyed the other aspects of his fiction.
It's all relative.

I speak to my Greek friends and family, mostly outside of tech, and the sentiment isn't yet as positive as the macro numbers in articles like this indicate.

As a diaspora Greek, it's positive news, but it seems this all hasn't "trickled down" to citizens' day to day lives as much. It does give some hope for those who left for economic reasons, and there are even groups out there to encourage a return to restore the brain drain of the 2010s.

That being said the elder population would probably be grumpy no matter how much things improved.
Suicide by dang.

Get yourself banned somehow. You’ll still be able to lurk, but that’s not nearly as addictive and time-consuming as writing comments and compulsively refreshing your threads page.
Congrats, invite me to the party please.
Isn't that how the DMCA works, there's no need for Nintendo's lawyers to do any threatening apart from a DMCA form letter - if it's filled out enough to be intelligeble, the recipient (Gitlab) has to abide and then there's a theoretically a challenge process available for the target (that is very stacked against the target), and in practice no penalties for illegitimate DMCA requests.
Depends on what are you interested in eg if you enjoy genealogy I'd suggest going for Gramps https://github.com/gramps-project/gramps .

Maybe share more info on what you like so we can suggest something you might enjoy?
Which defeats the purpose, because then your pseudonym is legally tied to your IRL identity in a way that may, depending on jurisdiction, be public or semi-public record.
I'm half Greek, so obviously a little bias. But would love to see a more thriving tech scene in Athens. It's a cool city, with great night-life, great restaurants, and stunning places nearby, not yet super gentrified and obviously also has some archaeological sites. But it's not just 2000 years old history (yes, it's partly also pretty run-down, bureaucracy is a night-mare, etc.)

Generally speaking, it's usually sunny all year around, winters are mild, summers are hot, but one can spend those on an Aegean island..
It's not really a "big" pain these days, but it was definitely a problem more annoying than it should have been for much longer than it needed to be. The main problem as you can guess, is that US transfers are either fast and relatively expensive, or free/cheap and takes a few days.

Ofc in this case Musk "solves" this problem as Venmo is one of the most popular solutions, as a spinoff of Paypal. just what we needed, to turn our financial transfers into social media.

Zelle is a much better solution nearly identical to what a bank to bank transfer is, but it's not quite as prevalent.
> Open Source is about user ownership of software.

No, OSS developers retain authorship (with the exception of public domain). Only the authors can change the license and terms. Users get a license to do various things with the software/code, but they do not get ownership.
Actually yes! It could even be paid in the context of this year's Google Summer of Code:

https://github.com/borgbase/vorta

Or if you join as mentor, you will be supporting the Python Foundation.

If interested, just email the address in my HN profile.
From the article: "Pyxis Ocean reportedly saved an average of 3.3 tons of fuel each day."
I think the only reason why we have the amount of attention to security that we do in the software industry is because Internet enabled cheap automated large-scale attacks - enough so that even very low-value targets are well worth it.
1 - yes our current solution does require you to be allowed to use ChatGPT/OpenAI. Unfortunately the accuracy using smaller models (even GPT-3.5) is poor. We don't see a local model (which will be much worse than GPT-3.5) even with fine tuning being anywhere close to good enough (would also require a really large number of queries). So we are relying on GPT-4 for now.

2 - agreed the background isn't why anyone should adopt a tool, just wanted to share our story. I would add that creating a good wrapper can actually be quite challenging, need to synthesize many pieces under constraints like memory, compute, speed, accuracy.
> You cannot separate SMS messages from iMessages (to my knowledge)

You can message iCloud accounts without a phone number using only the email address
Why alphabetical and not topological?
Same here. If there's a great ELI5 explanation somewhere, please post a link. Thanks
> Forcing Apple to allow third party payments without Apple's cut would improve market opportunities for many businesses.

It would, but that is how Apple collects their commission. Where regulations where Apple has been forced to provide this separation (such as the US), they have split 3% to cover payment fees out of the commission, and put additional considerations for when leaving the app to make a payment would result in a commission and that Apple may audit that you are properly reporting commissions.

The DMA mandated that Apple decouple their commission structure from a single App Store in favor of multiple marketplaces, and they put in a 50 Eurocent core technology fee per user per year (after a margin of free installs).

> Amazon could allow the purchase of digital goods (books, movies, etc.) and put it on more equal footing with Apple itself.

Amazon does have digital purchasing of Video. Amazon added the ability to subscribe to a limited video version of Prime using in-app purchasing, and that kind of account will bill purchases using in-app purchasing.

They likely have razor thin margins for anyone who chooses to do this, but expect customers to either have existing Prime accounts or to want to upgrade from Video to the full Prime account for the other services. I suspect they did the math and think their margins on Kindle wouldn't support this.
One of the things with Greeks (in Greece) really is that they're notoriously pessimistic and depressed, unlike what people usually associate with the country. I do think though that there's a bit of a new spirit though among the younger generation which is slightly less focused on 2k year old history and a bit more realistic in the way they approach the world. But maybe that's just wishful thinking on my end
I found out well after unfortunately. And tickets were sold pretty damn fast.
Been a NixOS daily driver on Apple Silicon since I was laid off in similar unceremonious fashion. The Mac was my pitiful severance. Pitiful until NixOS. Now I would not live without it.
Well yeah.. all subway stations connect in Korea and are very useful?

The rich in expensive apartments don't use them. In fact in order to appear rich, people prefer to take taxis and their car. That's why the entire city is filled with cars even when they're incredibly slow.
Yeah but the next day is a slow foggy mess. If you keep doing it for a long time, you’ll eventually get “the fear”, which is mild agoraphobia and paranoia.
Note that according to the article you also have to specifically request your data be deleted. You can do that here:

https://help.glassdoor.com/s/privacyrequest?language=en_US
There is a cost for taking cards.

I think the argument to ban cash due to handling cost, is actually a mask for the real reason: preventing fraud by employees pocketing payments.
I remember being very negative about the Greek's long term outlook ~10 years ago. I mean, it was obvious that there will be an economic downturn for many years in basically all scenarios, but I was very worried about the political uproar, turn to populism and authoritarianism (which would further worsen the economic woes).

IIRC there was an election in ~2015 which Syriza won, back then pretty radical in its anti-austerity campaign. But after they won, they made a turnaround and more or less went along with the austerity.
Whatever runs on Pixel is not AOSP anyway.
DESFire based systems, HID iClass SE (properly installed where the reader only accepts the SE credential) are generally pretty secure.