skysight-inc/HackerNews huggingface dataset:
Compiler optimizers are designed from a “win in the average” mindset - so whether a particular optimization succeeds or not is really not something the user ought to rely on. If you’re relying on it then you’re playing with fire. (I say that as someone who has played with this particular kind of fire. Sometimes I’m ok, other times I get burned.)

A great example of when winning in the average works is register allocation. It’s fine there because the cost of any particular variable getting spilled is so low. So, all that matters is that most variables are in registers most of the time. If spill heuristics change for the better, it usually means some of your variables that previously got spilled now are in registers while others that were in registers are now spilled - and the compiler writer declares victory if this is a speedup in some overall average of large benchmarks. Similar thinking plays out in stuff like common subexpression elimination or basically any strength reduction. (In fact, most of those optimizations have the peculiar property that you’ll always be able to craft a program that shows the optimization to be a bad idea; we do them anyway because on average they are a speedup.)

In my view, if a compiler optimization is so critical that users rely on it reliably “hitting” then what you really want is for that optimization to be something guaranteed by the language using syntax or types. The way tail calls work in functional languages comes to mind. Also, the way value types work in C#, Rust, C++, etc - you’re guaranteed that passing them around won’t call into the allocator. Basically, relying on the compiler to deliver an optimization whose speedup from hitting is enormous (like order of magnitude, as in the escape analysis to remove GC allocations case) and whose probability of hitting is not 100% is sort of a language design bug.

This is sort of what the article is saying, I guess. But for example on the issue of the optimizer definitely removing a GC allocation: the best design there is for the GC’d language to have a notion of value types that don’t involve allocation at all. C# has that, Java doesn’t.
I discovered this growing up when lying in bed at night. I'd always feel like there was light coming under the door. Then I'd look directly at it and it was pitch black to me. I'd look to the side and the light would seemingly come back. Only years later did I discover the cause you described.
you must be new to People.

don't worry, the shock wears off eventually.
No! Even if the stack is horrible, it is likely (perhaps because of that very fact) that it teaches you a lot about how/why a good stack is built. Heck, I started programming on a mainframe (in 2004) and I wouldn't choose to do that now but there were interesting perspectives and lessons to be gained from that.
Well, but as far as I can tell there is no legitimate character created by replacing complete(了) by child(子) in 烹. It does not matter what "story" it tries to tell, if someone writes "boild eggs" I'm not going to conjure up a hypothetical German etymology that might have led to "boild" that later got borrowed into English; I will understand it as a typo of "boiled".
> in concrete terms of actual people in terms of attracting a contemporary following (and not distant, historical, and academic respect), boldness has usually trumped humility

I don't think that's true: Confucious, Jesus, George Washington, Lincoln, MLK ... Eisenhower, every president before Trump, the New England culture of looking down on ostentation and displays of wealth, .... I read a New Yorker article several years ago about a culture of Wall Street leaders in the 1980s who purposely wore cheap watches, had homes with low fences, etc.
the dragonruby game engine looks similar.

https://dragonruby.itch.io/dragonruby-gtk
> Cybersecurity experts claim TfL’s software may have not been up to scratch, with some public-facing systems coded to be compatible with long-defunct browsers such as Internet Explorer 6.

This is rubbish, public-facing websites being compatible with defunct browsers is not indicative of any security issue
>"Can the Education System Solve the Problem..."

I think the question is rather: should it? Is there a real benefit for average Joe to memorize insane amount and complexity (at least to my untrained eye) of such characters? I think my brain would just explode. I'd rather use my memory for something more creative.
I haven't seen any pedos or far-right extremists. Quite the contrary really
(For the benefit of other readers: these people are talking about invisible spam comments in this thread, which are hidden unless you are an HN user and have opted-in to seeing moderated content on HN).
Locutus (now Freenet) is more of a communication than a storage medium. It's focused more on allowing people to build decentralized tools like group chat[1] for realtime communication than be a content distribution network like bittorrent.

We're also planning a decentralized reputation system based on the concept of "web of trust" that should do at least as good a job of ensuring users aren't exposed to unwanted content like spam or worse.

[1] https://github.com/freenet/river
Big list of open-source compilers (2019)
Looks like you tried the game a long time ago. There is totally a way to automate building with the Blueprint Designer which basically allows you save blueprints of full buildings (or building parts or whatever you want) and to build them in one click.
No country has a carceral state quite like the US, but the quality of life difference between drugs in a given state that are legal and ones that aren't is stark. I've experienced this by traveling places with restrictive but different drug regimes. Stuff on a drug schedule your best case is get a doctor to prescribe it and in the US overpay for it severely because this chokepoint is the only place that can legally sell. Compare to buying any OTC drug, and the difference is obvious. There is no ID process, there is competition to provide better quality at a lower price. There is no way you can fuck up and get yourself or someone else arrested for having drugs you/they're not supposed to. And every illegal drug is still available somewhere, it's just worse and more dangerous
Nonprofits do why no for profits too?
Hi Mihai! This is impressive work!

Are you aware of any other computational maths problems where a sufficiently motivated amateur could make an improvement on the state of the art?
AI powered search engine for memes
Hey HN,

I’ve built The Meme Co, an AI-powered meme search engine to help you find the perfect meme effortlessly.

just launched an iOS Beta: https://testflight.apple.com/join/MhmpR7HV

Would love some feedback!

Thanks,

Drew
I use Freetube on Wayland with 0 issues.
However you measure it, finding investments for $4 trillion will not be hard.
It seems interesting, I've seen this before, but i'm lost. How do I get it, does it incorporate with the OG internet or what?
Don't think I'm not screaming this question to the heavens, between sobs, for approx. every other received eBay package of used electronics.

I suspect it's a more common household item the seller happens to have on hand, and/or they're trying to mask/neutralize an odor (marijuana, tobacco, pets, garage/basement odors, etc.).

For professional resellers not operating out of their home, they might still be trying to get rid of odors in items they source, and maybe it's a lot worse since Covid WFH. (Also, I've heard of e-cyclers needing to use precautions for roaches and bed bugs.)
Such a drag having to slog through the intro.
I mean technically you could just do a "screen recording" of your laptop playing the video, why isn't there anything "automating" that?
Airliners want cheap and efficient planes that don't require retraining their staff.

The name Airbus is disturbingly apt.
These are just characteristics of high intelligence. You would have always felt out of place with society.
...why? Between facial recognition, RFID tagging of individual items in stores, digital app tracking of purchase history and specific location in stores (yes, they absolutely do this, through running apps plus your WiFi MAC address, though this has gotten harder in recent years), facial recognition, and credit card number purchase correlation... dynamic pricing for individual customers in retail stores is absolutely the goal. Or at least a goal.

All of the above is real. I'm not making any piece of it up, and I'm sure there's more. I've actually been part of bids to do pieces of it. (My conscience did not like this. We lost anyway, which might actually be a bad thing, because my company probably wouldn't have executed very well....)
> You need to know where to read 1-3 letters ahead to read a word and interpret it. That's not really a thing in English

It happens in a English too, where you see a chunk of letters and mis-predict which word they represent in a way which affects its meaning [0], and sometimes that will also affect pronunciation. [1]

An example from the link:

> "The complex houses married and single soldiers and their families."

A reader linearly scanning along doesn't know whether "complex" is an adjective or a noun, and then whether "houses" is a noun or a verb. I'm pretty sure all human languages have similar problems where a certain amount of look-ahead or backtracking is necessary.

For another example to highlight pronunciation changes, consider the ambiguity of:

"I saw the rhino live in the zoo."

That could mean that the rhino was doing the verb of living, in which it rhymes with "give", or it could also mean that the speaker was seeing it in-person, in which case it rhymes with "drive".

[0] https://en.wikipedia.org/wiki/Garden-path_sentence

[1] https://en.wikipedia.org/wiki/Heteronym_(linguistics)
Totally get it that budgets are tight. But making sure that stuff happens isn’t highly correlated to tech staff or manager salaries.

Unless they’re hiring inexperienced high-schoolers, it’s a failure of will and competence in management. And even that would actually be a failure of managrnent.

I’m guessing - based on historic contacts with TfL - that this failure of management is probably manifest in too many meetings and intermediate products valorised over and above culture, knowledge and tech improvements.

Avoidance of outcome-based monitoring and governance, and instead a focus on “process execution” like reorgs, agonisingly-slow checkbox actions and deckchair relocations is pretty common in low-ambition, low-performance orgs. Again, you don’t get this because you’re being cheap on security people.
Nobody is going to use this, everybody who uses the fediverse is far from someone who mindlessly consumes videos.
The Greeks and the Romans got it right; a small set of characters that can be combined to form any word. Complexity from the composition of simpler elements, not inherent. Computer interaction via keyboard makes the superior design all the more obvious. Those guys were ahead of their time. Ave imperator, morituri te salutant.
I don't think there is much reason to continue taking you seriously if this is supposed to be the sound scientific advice.
Google creating an AI agent to use your PC on your behalf
I presume you could subscribe and still use this tool? People use automation tools like this to download things that they already pay for because it saves them the effort of logging into 5 different apps depending on which walled garden it's in.
> How would that affect the inference being made here?

to me, it looks like several rows clearly don't add up in key findings table(they derive "moderate quality" conclusions from "very low quality" observations), which makes whole publication as data astrology quality.
you asked for citation of pyramid putting grains in foundation, you got it, not sure what you are complaining about now.
I agree that Chinese/Japanese has it worse, but any language where "Spelling Bee" is a thing cannot be considered phonetic in a conventional sense.
Same issue for me, but I do overeat because otherwise I cannot think.

I go to the gym extensively, and yet I struggle to just maintain my weight

I eat very healthy, I just eat too much.
We haven't launched yet but we're very[1] close, hopefully just days away as we tie up loose ends.

This[2] diagram hopefully gives a big-picture view of where Freenet fits in. You install the Freenet software (which is tiny, less than 10MB) and then you can access Freenet through your web browser just like with the world wide web. The difference is that there are no servers or datacenters, it's all decentralized.

[1] https://freenet.org/news/weekly-dev-meeting-2024-10-11/

[2] https://docs.freenet.org
Does "sugar" include high fructose corn syrup?

Because a lot of US sweetener consumption has moved away from sugar to corn, because subsidies.
EPDiy: An ESP32-based driver board for e-Paper / E-ink displays
This is neat. Congratulations on shipping!

The main thing that struck me as odd was the distinction between "Simple Static Site" and "Dynamic Web App". If I choose the latter, I am recommended stacks with backends and databases.

However, static sites can have tons of app-like interactivity. And web apps don't necessarily need a backend and a database. It seems to me that if someone knows what you are getting at here, they are probably already capable of evaluating tech stacks without your help.

If you want to separate people who need a backend from people who don't, maybe better questions to ask are "Do you need users to have an account?", "Do you need users to share data with you or each other?", or something along these lines.
You don’t have a right to the money then.
That's the top secret information equivalent of playing copyrighted music with someone near streaming on twitch so that their stream gets blocked
I think there’s personality traits at play here also- simply being introverted means you are more focused on if your ideas make sense to you, than how they will be received or what they will make other people think about you.

I think there are intelligent extroverts that just aren’t really that worried about if their opinions are correct or not except in rare cases where the consequences of being wrong would be severe.
Indeed it is. What I'm working toward is a more efficient way to do the same, that doesn't take the touted 30 man years of effort to accomplish.

I'm working on a hybrid approach between SMT solving and constructive proofs. Model checking done with an SMT solver is pretty sound. I'm actually planning a book on a scalable technique to do this with CBMC. But, the last leg of this really is understanding the compiler output.
Presumably at some point you trigger a forced client side reload to get people off old client versions?

I'm impressed you kept the measurements going long enough to track the 600-day users though!
I don't live in London, but most people I've talked to who do don't have any monthly transport pass or anything like that. They just tap in with contactless. The transport is cheap enough that if you don't travel many times per day, there is really no need. As one example - a bus journey is 1.75 GBP regardless of the distance and number of individual buses taken, as long as all initial tap-ins are within one hour.

Looking at the TfL website, people on benefits get 50% rate discounts; students get 30% off; pensioners and children get completely free travel. It's really quite a good system actually.
Thanks for sharing. I've always wanted to drive from Seattle to Boston on I-90 but the train looks fun too.
This argument is also used for Japanese, but I do not consider it valid.

This just proves that a phonetic writing is not sufficient, but it does not mean that the phonetic writing must be replaced with traditional writing.

To resolve the ambiguity of the phonetic writing, both in Chinese and in Japanese, where the ambiguity is much worse, it is enough to retain at most a couple hundred symbols to be used as semantic classifiers. It is likely that a great part of the traditional radicals would be suitable to be retained as classifiers, with perhaps a part of them omitted if redundant and a few other symbols added, if necessary.

Then the writing could be phonetic, but with classifier symbols attached to words, wherever the ambiguity makes them necessary.

This is not a new method. The oldest writing systems, like those of Egypt or Mesopotamia, also used classifier symbols (with meanings like: "a kind of human", "a kind of god", "a kind of animal", "a kind of stone", "a kind of wood", "a body part", "a kind of tool" and so on) attached to the words written phonetically, to avoid ambiguities.

If one would have to learn only 200 classifier symbols and with lower stroke counts than most symbols used now, that would be a great simplification.

Many of the Chinese characters are actually intended to be composed of two parts, a semantic classifier and a phonetic symbol, but this principle is applied too inconsistently and with too many variants, so the system can be greatly simplified by using a simple phonetic writing like Pinyin together with semantic classifiers inserted in the text only if they are necessary.
That’s a pretty good point… if I saw ‘three Ph.D. students in English at Harvard’ forget how to write ‘sneeze’, I would assume they were lunatics pretending, not that they genuinely forgot how to write the word.

Does that imply learning the advanced literary culture, that is usually associated with prestige academia, has a vastly higher threshold in Chinese than in English?

It’s pretty disturbing for language itself to be a potentially retarding force on learning.
Betting on Teslas didn't work out so well for Hertz due to expensive repairs. Rental cars take a beating, though.
Toyota did that because they saw the value of being in the US based on the then existing demand. Other manufacturers aren't getting that chance, and I'm not convinced those that banned 'em will be willing to let 'em manufacture here. Just look at how they're treating something with basically no stakes: TikTok.
I wouldn't call Numpy+Tensorflow very minimal.

There are much better introductions than this as well, the whole article feels like it was written with the help of GPT
The idea was that we don't have to ban use of the tags, but can regulate when prices are allowed to be adjusted. This is simple enough of a regulation that it stands a chance of being enacted, and additionally might actually work if written carefully. You basically just have to say that electronic price adjustment must follow the existing patterns for manual price adjustment. I think that could work out pretty well.
I'll refer you to my reply to a sibling comment. I'm hoping that I can build a more efficient means of doing similar work as with seL4, but without the 30 man year effort.

They are on the right track. But, I think there have been some improvements since their effort that can lead to more streamlined equivalence proofs.
I eat probably 12 times per day, mostly fruit with 3 main meals.
I'm always hungry, I'd love to eat even 6 times instead.

I like food, don't get me wrong, but being constantly hungry is very annoying
you're unnecessarily making huge assumptions. Some people don't want the bestaudio or mp3
The equivalent in English would be writing "ghyche" when trying to write the word, "fish". Yeah, that combination of characters/marks can make sounds equivalent to "f" "ih" and "sh" but it's so far off it's laughable.
London built several new stations in the centre of the city within the last few years, for the new Elizabeth Line.

London Bridge, a major station, was rebuilt.

Euston Station has a planned large expansion.

It's impossible to build an airport in a city centre.
On Freenet you own things cryptographically, typically by possessing a private key.

This is similar to a Bitcoin wallet although Freenet isn't a cryptocurrency, it's a general-purpose platform for building and distributing scalable decentralized services.
Sticking with GMT specifically throughout the year would have economic benefits as well by making it identical to UTC, which is in use well outside of the little European corner of the world.
Sorry not FPTP. Winner takes all re: electoral votes
Technically all Americans got bananas, because the United Fruit Company (now Chiquita) and the Standard Fruit Company (now Dole) subverted nations to ensure uninterrupted supply.
Understanding CharAt(index) in JavaScript: A Guide
Before i send something i make sure each paragraph has at least one it of green underline. The day that Word and I agree on grammar is the day i switch back to pencil and paper!
Wealth isn't taxed because most wealth, unlike income or other use taxes, are based on valuations that are extremely fragile.

Let's say you open a corner bakery that does very well. You are making $1m/year and paying the government $200k/yr in corporation taxes. That leaves $800k/yr in the biz. A perpetuity paying $800k/yr at 5% discount rate is worth $16m (obviously this is a bad proxy for the value of a risky business, but it's a starting point).

So the government comes along and says "ok you owe us X% of this business per year". Where do you get the money for this? You can't just give the government shares. But it's a corner bakery...nobody wants to go through the headache of buying 1% in a local business. And what happens next year when business drops, and the value drops, how do you prove to the govt what it's worth? It's a minefield, and probably not legal.

I get it. People want to eat the rich. It's easier to point to other people as the problem (even if they pay 40x more proportionately in tax than someone else) instead of saying "Christ, maybe we spend too much". But the ideas to kick the can are really getting silly.
What happens if multiple migrator instances run the same migration? Imagine case when k8s or something start several instances of migrator at the same time
We export our pollution to them...
I had constant syncing problems between Infuse and Jellyfin previously. The first sync after clearing the cache would succeed, but all subsequent updates would fail with a nondescript error on the server. I managed to fix it by scanning for errors in media files by writing a script to walk the library and output ffmpeg copy errors, and either repairing or ditching the broken files. I guess it was just choking on one of them.
That would be true if they were running Wikipedia out of the goodness of their heart. Wikipedia will not leave India as they are running to mould public opinion in a specific way. There is a reason foreign orgs are trying hard to meddle in Indian politics and the public still keeps electing the same leader which is unprecedented. Some day it will become a case study as to how the whole internet (“civilized people”) in all countries was bending over backwards to be politically correct, while India was resisting the pressure to hand over their future to a “trusted group of altruists at the center of everything”.
Take Amazon's web site for instance....
The matter was, "why is that relevant".
That's not really relevant here in the USA though, Amtrak is the only game in town. Although if I had to do it in Europe I would probably buy trip insurance from an independent insurer that had a good reputation.
Unfortunately, US case law is murkier. There have been some notable convictions of people using the old Freenet to search or host CSAM. However, the digital forensics used in these cases was pretty sketchy. If someone simply caching data from downstream queries were held to the same standard, they'd also be considered guilty.

I have no doubt that there was other evidence that led to the conviction of these individuals. But, I can only go on what I know, and what I know is that the standard of digital forensics evidence in those cases was subpar.
Hardware seems to be one of those areas where there's both a race to the bottom for cost reasons on any mass-market parts used in a device (unless you entirely avoid outsourcing), and even then sometimes it just doesn't work out.