skysight-inc/HackerNews huggingface dataset:
I would look at:

1. Building blocks. Your core is GPT-4 level intelligence, similar to a transistor. Other things can be built around that. RAG. Functions. Agents. Building blocks lead to bigger ones. Other forms of blocks. Multimodal. Try out Suno and Midjourney if you haven't. Building blocks are composed of smaller blocks, and as engineers, this is where your salaries are made.

2. Amdahl's & the subsequent Gustafson's Law. More resources will have diminishing gains, until they hit a point where they unlock new uses. GPUs and cloud are a cool side effect from the computing revolution, and they solve all kinds of problems they were never invented for. You'll see LLMs slow down in problem solving then suddenly someone figures out how to build self-3D printing machines or something.

3. Old, uncool paradigms. Procedural generation is incredibly good at controlling quality. LLMs are like play doh, and proc gen gives it a skeleton. Evolutionary programming goes the other way. You can give an agent a problem to solve, and now it's able to figure out paths or branch agents on the way there.

4. Combos with existing blocks. LLM agents + crypto wallet leads to agent ecosystems. Multimodal vision/hearing can also be combined with all kinds of things. LLMs will be available to all apps, and it'll be cheaper than TTS was. RAG will make search cheaper, not enough to threaten Google, but you can quickly search interview questions or emergency medical treatments.

I'd say don't spend too much effort predicting. But play with new blocks as they form - several will be unimportant, some will matter. Two blocks together could be amazing. Brush up on the old paradigms that are no longer taught in average universities.
The headline buries the lede!

> Treescope is an interactive HTML pretty-printer and N-dimensional array ("tensor") visualizer designed for machine learning and neural networks research in IPython notebooks

Its major feature, from the readme, seems to be graphical visualisation. There's a screenshot a page or two down. It's a little more than an "Interactive HTML Pretty-Printer" which I interpreted as a HTML formatter / syntax highlighter you could interact with.
I wouldn't start paying attention until you got answers to the same questions for Spain and France.
That photo looks like the 90s though...
Zürich resident here. In this specific case the abuse is even pretty openly stated :(

> The Supreme Court’s ruling cements a decision to remove more than three-fourths of its once-standing 172 billboards from the town, keeping the remainder available for culture and sports ads.

By "culture and sports ads" they surely mean adverts by the government for its own subsidized services. Local government is a huge spender on billboard advertising around here, often for its own state run sports or events (invariably stuff that's popular with lefty civil service types like obscure dance performances).

Lately they also love to paint trains and trams in garish colors, in an open advert for diversity ideology:

https://www.bahnonline.ch/27379/mit-dem-zvv-gemeinsam-vorwae...

Die Farben und Formen des neuen visuellen Auftritts widerspiegeln die Buntheit und Diversität des gesamten ZVV-Netzes.

... and they don't seem to have a problem either with all the posters that get glued everywhere advertising May Day, Feminists for Anarchism and so on.

The idea cantonal governments have a problem with "visual pollution" is kind of absurd, really. If that's actually the motivation then step one would be to stop buying billboard space with taxpayer money, stop flooding the city with rainbows, clean up all the pro-Gaza graffiti and go entirely without any of that for a few years. Once they've proven they have the discipline to clean up the sort of visual pollution they themselves tend to like, then they might have a moral leg to stand on for banning other forms of advertising.
I was conducting 4 years ago a polling survey for a political party in Oslo nocking on doors and asking people opinion of recent or planned changes in the city. I was surprised how many car owners supported bans on parking on the streets and making bicycle lines instead. It decreased traffic jams.

Basically, people started to park in big parking garages with good connections to main roads. Surely it required more time to walk. But then one spends much less time finding a place to park. And traffic from/to small roads were a significant contribution to jams.
Lapham was the long time editor of Harper’s and more recently the founder of Lapham’s Quarterly. A really bright guy, I recommend reading or listening to some of the interviews with him.

https://www.laphamsquarterly.org/home
They mean immigration
This is a smart attack - security attention definitely wasn't there (and it's not like it's possible to guard thousands of kilometres of rail), and the disruption is massive (both for the Olympics, and regular people going in holiday by train).

It's also pretty clearly Russia's style. Islamic terrorists would have targeted people, not random infrastructure, and Russian operatives have already been caught trying such things, or after having done such things all over Europe.

I'd be very interested to see how France responds. Nuking Moscow would of course be too much, but this sort of escalation cannot be left unchecked because as we've well seen, Putin is a fucking idiot who needs to get his head kicked in or he'll just keep pushing. More Mirages for Ukraine? This list getting longer? https://www.defense.gouv.fr/en/news/french-military-equipmen...
A ban on anyone receiving Russian money from French politics (bye bye Le Pen and other Quislings)?

A couple of reports (grain of salt needed):

An FSB operative caught bragging about sabotaging the Olympics in Bulgaria: https://x.com/michaeldweiss/status/1816431778615226742

Russian arrested in Paris over sabotage plot: https://www.bbc.com/news/articles/cd1j7kg2nk0o

A bunch of FSB operatives caught in Ukraine: https://global.espreso.tv/russia-ukraine-war-fsb-agents-plan...

Previous reporting from Bellingcat on Russian operations: https://www.bellingcat.com/news/uk-and-europe/2021/04/26/how...
Alcaligenes faecalis promote reepithelialization of diabetic wounds
>I kind of feel like you can't lecture someone from a small Greek village on what life for people from small greek villages is like unless you've lived there.

I wasn't lecturing, I was using Greece as an example that would be familiar to you, but feel free to use any other country where people emigrate from to go to a high CoL country: Portugal, Spain, Italy, Romania, Bulgaria, etc.

>I don't know anyone who was poor and emigrated there (they don't speak enough foreign languages to have a hope) or that lived there for more than a few months while unable to get a job

I do. Plenty of Eastern Europeans moved to high CoL countries without knowing the language or having credentials and many found jobs, not the best jobs, but being on minimum wage in Sweden or Austria is better than being broke in Romania or Bulgaria (again, assuming you don't have a well off family to help you out and many who are in the situation of taking minimum wage jobs abroad don't, since they also come from poor or broken families unable to support them, which is why social safety nets are important to catch and help such people and prevent them from perpetuating this cycle).

>Who are these people who go be unemployed in a high CoL country?

You don't "go to be unemployed in a high CoL country", I never said that, but unemployment can find you there when you get laid off, which is why safety nets are more important than a far away family from a low CoL country who has no way of helping you out.

>Anyway, that's my opinion, and trying to correct people from other cultures that tell me my opinions on my culture cannot be right is tiring, so I'll leave it here.

Regardless of your "culture", people not having parents to help out (orphans do exist you know) or family too poor to help out, is not really something that goes against the "culture" you keep harping here. Not everyone's family, Greek culture or not, will be able to help out, hence my point of tax funded welfare social nets being important. None of what you wrote so far is an argument against that.
This appears to run within VSCode from the demo videos, as opposed to being standalone. You get everything you get there.

If you use Idea tools you're out of luck I guess.
In the multiple inheritance sense, but I wouldn't call it a descendant either. Larry "simply" scrounged around in '87 and looked at everything he could to put into his awk-but-better tool. In his own words C was a big part of that, with BCPL in the back of his mind.
I recently tried btrfs on a new USB thumb drive. I immediately got hard freezes of my main (Linux) OS while working with the USB stick.

Never again.

I eagerly await bcachefs reaching maturity!
Eh, no, that qualifier does not fix your argument, because it's not a caveat. Natural selection by definition works on which trait outcompetes the other one most frequently, it's a statistical process.

There is a reason life works on a sigmoid growth curve and not an exponential growth one.
Most people are mediocre and they're fine with it. What reason do you have to beat yourself over it?

Are you making the mistake of comparing yourself to people who doesn't really exist? Many people make the mistake of taking the best properties of several above average people, mixing it into this impossible amalgamation of a persona and then comparing themselves to that ideal. It makes it seem like everyone around you is so much better but the reality is that each of these people just do what they can and they all have things they're absolutely terrible at. And it's often stuff you take for granted; I thought that cooking was something anyone can do because it just seems so simple but then I've watched the smartest guy I know struggling with very basics of it.
I love the idea of acoustic and visual hygiene, fighting the acoustic and visual pollution. The flaw is in human nature and the attitude "but _we_ are allowed, _our_ case is different". If the enforcers will be local authorities, they will be unable to resist displaying out their message. If there is at least one CHF and one person in the promotion and marketing department, the idea will pop out. Hey look at the bright side, at least they didn't cover the tram's windows!
In Islam, err is forgiven. If you’ve done your best and there’s a bug you missed, then its forgiven, and when you discover it, just fix it.

That’s why if a scholar based with intensive research and data, has concluded that X is true. If in the end its really true, they’ll receive two rewards; when its debunked and it was actually false, they receive one reward. The sin is to be ignorant and without any research and data concluded that X is true.

Specifically for Ramadan, the guideline is to use Moon sighting. If you see a new moon, then you begin fasting. If not, then you postpone for a day before starting Ramadan. Usually there’s a committee that does this and they will announce the result. But it doesn’t prevent anyone with the ability to observe to decide when to start Ramadan.

Salah guideline is the sun, e.g the dawn prayer is when there’s thin strike of the sun on the horizon. So to calculate the prayer time you use the sun position relative to your position on earth. If there’s a bug that somehow err the prayer time to ~5 minutes. We can always observe the sun first.

So there’s always this second factor that you can use to validate the first method. Time seems off? Look at the sun. Sun not visible? Estimate with time. Both seems off? Estimate with the variables that you can observe.

“ God does not burden any soul with more than it can bear “ (Al Baqarah 286)

——-
So to answer the question, the tolerance depends on your effort on trying to reduce the err.

God knows best
would be great if there was a page showing benchmarks compared to other auto completion tools
You should know, since it's your platform: https://news.ycombinator.com/item?id=40533502
you can do asciidoctor, plantUML kroki in vscode so maybe its present mode can already be used in there like that?
For those on HN expecting "hackers" related news, this is not a cyberattack, but physical attacks on the train infrastructure.
I have had access to « » before, which led me to doing a double take when I first encountered a << on a work station with font ligatures. It was funny.

Which brings us to the philosophical question about paired characters: If we were to pick paired characters from a key set not available on everyone's keyboard, why must the paired characters even be used in real languages? Is that not actually actively detrimental when we end up needing the characters for real? Is this not why we even have escape characters to begin with?

Plus, must they be a part of anyone's real keyboard to begin with? What makes 「」any more valid than ¿? Could we not have saved ourselves a lot of mental strain if we solved it earlier on with a full set of truly uncommon characters?

I can imagine an alternate history, where some programming language in the late 70's made their editors with simple shortcuts (such as Ctrl+A for "array block") to input barely-if-ever-used yet low code character such as † or ‡, which would never be used outside of a string. And nowadays, with modern IDE's, we wouldn't even see those characters half the time. It would be syntax sugar, with blocks types stated in gutters and data types represented with colors or text.
The benefits of billboards are a zero sum game, it's absurdly easy for the benefits of a ban to outweigh them.

Here in Germany regulation of outside ads has zero novelty value, it's so much a given that I don't know anything about the history of it. And it turns out the benefits of a ban are much bigger than just more pleasant views, because the ad spend does not simply disappear. Much of it gets channeled into event sponsoring, sports clubs and the like, in short things that actually improve life for all instead of just providing some more passive income for property owners. It's a total no-brainer if there ever was one.
Scientific article 'A bright megaelectronvolt emission line in γ-ray burst GRB 221009A' on ArXiv: https://arxiv.org/abs/2303.16223
You jest, but one reason that destroying the history of the Middle East is so harmful is the constant vandalism by basically everyone against everyone else in the region since the dawn of history (and probably before). The Americans were just the latest barbarians getting in on the game. But I expect modern people to be aware of all this and not be like the bloody Assyrians.
I have met IMO competitors. They are insanely smart. I wouldn't imagine it's possible to be that smart before I started hanging in these circles. So more like 25% of 0.01% of high school students.

Time is not a very interesting dimension here, because humans don't use the same CPU as huge GPU clusters. The binary "is it able to reach a solution given enough resources?" is more interesting (for GPT/Claude the answer is a clear negative).
I find Kagi's AI summarizer[1] very helpful.

If I just want to get a general gist of an article/video, I run it through the summarizer.

For media I was only slightly interested in, reading the summary is enough. For other topics, it helps me decide if I want to invest more time in reading the whole thing.

It is also useful for helping me remember the exact contents of a video. (Say I want to share a video, but I don't remember if this is the one I want to share.)

[1]: https://kagi.com/summarizer
Run Llama 3.1 on any device. Embed Llama 3.1 in any app
Looks like a lot of people thought that if you place a single image file in the zip, you'll get a skin
For anyone unaware, this is a real thing! https://en.wikipedia.org/wiki/Chess_boxing
This is related: Why relations are better than objects https://www.cell-lang.net/relations.html
Focusing on tech or anxiety is too superficial and misses the deeper reason. The nature of parenting has completely changed. For modern parents today kids are really more like a tool for self-actualization (so is almost everything else), personal projects, rather than independent people in their own right.

That's why they're so obsessed with following them around, kids are just an extended version of the life project that is you and so every minute of the day must be spent optimizing it. It's why this phone anxiety isn't prevalent in all classes but this discussion always evolves around members of the middle class and up.

It's also I think one of the most important factors of falling birth rates that nobody ever seems to talk about. If you're obsessed with one kid every waking hour of the day nobody simply has the time to have another one.
To be fair the Ministry of Interior has warned that cyberattacks are expected too. This could be only the opening salvo of sabotages.
> The team of vets agreed that it’s been helping the wound heal well, despite the fact that the mountain lion managed to chew off the fish skin after a few days.

“He is a cat, and whether domestic or wild, they do not like things on their feet,” said Peyton, explaining that "it's fish, so it's safe for him to eat."

On the organic front, it certainly beats a "Bogota bag"!
It seems like just about any time an AI company releases such a video, they're bound to make the same mistake of not cross checking their own demo.

I don't get it. I mean, how hard can it be? These are billion dollar ventures. For god's sake, at least have an intern fact check your press releases for 15 minutes before publishing them.

On the other hand, these repeated basic mistakes certainly help in keeping expectations in check. But I doubt that's the goal of the demo...
It’s a beta. It says beta on the site. It says beta in the HN post title.
> If we want to lower cars in neighbourhoods, or want people to get rid of cars, our public transit system needs to be come a lot better first.

No, you can also start by imposing restrictions on cars.

> If public transit was a good option to get to work for people, more people would use it.

The people that live in the city center probably already use public transit because, for them, public transit is probably a faster commute. That means that the cars congesting the center are driven by people that live in the periphery or even suburbs outside of the city.

So these people will want those nasty cars out, because they actually live there, and they will vote them out.

You can never accommodate the people from the suburbs, unless they have a station right next to their door and their office and a train coming every 5 minutes, a car will always be faster. They live in someone else's municipality, so the mayors can just ignore them.

People in the periphery are more delicate, but usually they are also tired of congestions, and it's much easier to make at least minor improvements to public transit for them.

But again, you can restrict and make improvements in parallel, and the improvement will almost never be perceived as matching the restrictions anyway.
To run Meta-Llama-3.1-8B on any device and embed it in any app, you can use LlamaEdge, a lightweight Rust and WebAssembly (Wasm) stack. This setup allows you to deploy the model locally without complex dependencies or elevated permissions. First, install WasmEdge, then download the necessary model and API server files. With the server running, you can interact with the model via a browser or integrate it into your applications as an API, replacing services like OpenAI. This approach enables text generation and embedding functionalities locally, leveraging the model's capabilities efficiently
Btrfs is still unacceptably less reliable than ZFS, after _decades_ of development. This is unacceptable, IMHO. I've lost so much data due to btrfs corruption issues that I've (almost) stopped to use it completely nowadays. It's better to fight to keep the damned OpenZFS modules up to date and get an actual _reliable_ system instead of accepting the risk again.
Tried it. It would save me a lot of time, I would say!

One suggestion: The back-and-forth chat in the beginning could be improved with a more extensive interaction. So, the final prompt could be more fine-grained into a specific area/context/anything one would aim for.
I think we should be able to talk about it here. It shouldn't be a taboo subject where we fear pointing out correlation between immigration and poverty, and poverty and crime, links immigration and crime. Increase poverty and you increase crime. Increase immigration and you increase poverty. Therefore...?

So long as we're objective about this and leave tabloid mentality for Reddit and Twitter (...ok, X)
> if the sites tracking these sort of things can be believed

I really don't think they can
Sorry but have you ever developed software before? I’m sure you have. You’re just refusing to draw from your professional expertise. Rather, you’re drawing from the “uninformed member of the Apple hater peanut gallery” part of your brain.

You wouldn’t have given this a second of extra thought if it wasn’t done by a company you’ve obviously long-since decided that you hate for cultural reasons.
> Most stuff does not get reported as a crime.

Of course. The real-world numbers do not match your worldview so there must be a large dark figure of unreported cases. This is a case of your fears twisting your perception.

Take your dog example. I don't know where you live, I live in Germany. With about 10 million dogs [1] there are about 5 fatal incidents per year [2]. If the dog is not killed in the ensuing police action [3] it is often "amtlich getötet" (officially killed). The dog owner is usually criminally charged with involuntary manslaughter, because dogs going haywire is in virtually all cases a failure of the owner. There are no reported cases of bringing a dog back into circulation after a fatal incident. These are the numbers in Germany.

[1] Despite the URL the data is from 1998 to 2022. https://de.statista.com/statistik/daten/studie/157642/umfrag...
[2] https://www.zzf.de/marktdaten/heimtiere-in-deutschland
[3] https://www.ndr.de/nachrichten/niedersachsen/oldenburg_ostfr...
So finding Lean proofs can be conceptualized as a zero-sum game?

Another basic requirement is that valid moves / inference steps and the winning condition can be efficiently verified using some non-AI algorithm. Otherwise there would not be a reward signal for the reinforcement learning algorithm. This is different from answering most natural language questions, where the answer can't be checked trivially.
A lot of UK nuclear plants (all?) are on the coast but they certainly don't all have docks handy with the kind of equipment necessary to move such items. Rail actually seems a pretty good choice to me.
Switzerland isn't in the EU.

And no, banning things isn't 'lazy', its 'committed'.

Markets are often the right solution, but in many case its not about manipulating marginal prices, its about making a clear statement.

Our towns will be better, our collective living standard will go up without ads. There is not clear way how we can get a market to arbitrate this.

> "Nudge" by Richard Thaler.

That book is way, way over-rated and also just completely wrong and informed at times. Even the best example of 'Nudge' about opt-out organ donor barley hold up in the real world.

This podcast about the book is pretty good:

https://www.youtube.com/watch?v=UjArvN9cfgE

There is a Part 2 that goes into 'Nudge' being used by governments around the world.

You can find the show-notes with lots of sources they used here:

https://old.reddit.com/r/IfBooksCouldKill/comments/137g83j/i...