skysight-inc/HackerNews huggingface dataset:
I think what most people were hoping for was a tech company of FAANG relevance for Europe which is representative of some of the values and lifestyle directions that Europeans are so proud of here.

You have to admit, if you told someone in 1923 that 100 years from now, by far the most relevant technology companies will all American or Asian, they’d be a bit surprised.
If it's generational, ZGC Junior would be more appropriate. ZGC II, maybe.

(SCNR)
Blame no one. The frivolity business means nothing. They are luxury companies making luxury goods at the corresponding very high level of quality and with the know how to market it properly. As they say, if it was easy, everyone would be doing it. For a community constantly bragging about its cleverness, HN can be surprisingly narrow minded and immature sometimes.

France has its fair share of large industrial companies by the way.
That's not the case in the latest versions of powershell.
The list has some USA companies whose valuations are inflated by "meme stock" behavior too.
modal popups

* obscure everything behind it
* distract the viewer
* require dismissal to proceed

I think modal popups for any reason is bad. It's always better to use a new page which can be deep linked and avoided if it contains content irrelevant to the viewer's interests.
WSJ: Secret History of AI and a Hint of What's Next
Thank you! Unfortunately it hasn’t been updated in a while and is very flaky on M1 Macs. Recognises some keys and not others - unfortunately not the one I need in this instance.
> Not a fan of enormously big companies, but at least the U.S. has the likes of Amazon, Tesla, and Microsoft offering much utility.

Tesla is (in)famously overvalued. Their market cap is higher than most other car manufacturers (pumping out many times more vehicles than Tesla is), most of whom have caught up on EVs (is Toyota the only big manufacturer still lagging on EVs? I think they are). It's purely the brand of their CEO which is of course floundering because he's incapable of keeping his mouth shut and first comer advantage, and both of those are disappearing fast.

Microsoft, Apple, Amazon, Google have real utility, true, and they're huge, all across the world.

> What a sore lack of innovation

That's the wrong way of looking at things IMO. Just because the biggest companies are old and in non-tech niches doesn't mean there's no innovation. You can't seriously claim that companies such as VW Group, Stellantis, Airbus don't innovate? Let alone the smaller star/scale-ups (just a few French examples: BackMarket, Doctolib, Ornikar). There's plenty of innovation, it just isn't what's best valued and highest earning. A French innovating startup first has to capture the French market, then expand to neighbouring countries (of course that means legal and translating challenges at the very least) to be able to become big enough for those huge valuations. An American one is starting with a much bigger market to be able to capture, so of course a French innovator will be lagging in terms of global market share and valuation; that doesn't make them any less innovative though.

As a small example, Doctolib have practically revolutionised doctor's appointments in France and are exporting the model to other countries. Innovating in the healthcare space is very difficult due to a variety of reasons (highly sensitive data, lots of incumbents, doctors don't necessarily want to have any tech involved any more than necessary) but they did it with great tech.
Christianity has been promising an afterlife like that for thousands of years.
>life

No impact

>society

You get to see the northern lights

>tech

For a G4 storm, there may be some HF radio blackouts and power grid errors.

https://www.swpc.noaa.gov/noaa-scales-explanation
Nessus is not "antimalware"

It is a network scanner
I think it's too early to say, I think we need to see how well they perform a year or so from now.
Yeah, those are yaks I'm not ready to shave. And I do mostly stick to voice messages on the go. But some people are allergic, so I do try to use voice-to-text then. I'm pretty sure the Ubuntu package for input method googlepinyin is entirely offline so I'm not too concerned. More just disappointed with how far behind opensource options are - when these things have been around for a decade+ and are described in textbook by this point
Building on this: it's also a great way for everyone more broadly to see what direction the industry is taking.

Every conference this year will probably be touched by talks talking about AI. If there's a year to go, it's probably this one.
America is the land of hustling and exploitation…it’s just the best place to grow a business. They suck up the talented entrepreneurs from all over the world because of this.

This has many advantages but also disadvantages, such as individuals and businesses being sociopathic in the pursuit of profit.
I've always been hearing that solar flares and the resulting geomagnetic storms pose danger to hard drives and electronics. Is there any truth to it?

Recently I've been building a server room, and naturally a question of EM insulation came up. If I were to protect my servers from this, I needed to wrap the room in a grounded mesh with holes of λ in diameter. What wavelengths am I protecting against? I couldn't find an answer online, perhaps because there isn't a mechanism which could flip bits or otherwise cause potential difference across my electronics, after a coronal ejecta reaches Earth. I can imagine how charged solar wind can interact with our atmosphere and cause voltage on long stretches of cable like telegraph or electricity lines, and consumers have surge protectors for this in multiple parts of the grid.

Is there something that I've missed?
it is not anyone's claim that the existence of C cves means it is impossible to write correct C

the point that is being made (obliquely) is that manual memory management is not possible for human beings to do effectively at scale

at scale means across a broad demographic of programmers, working on a broad set of programs

if you wanted performant and portable then C was all you had for a long time, and there is a lot of good software written in C, but that does not mean that it is a good tool in perpetuity

strcpy and pointer arithmetic are basically not possible to get right

we need to move beyond this very low level of abstraction
I agree, though will add that the GDPR does not require active rejection of tracking. Rather, outside of some narrowly defined use cases, tracking is only permitted when there is explicit consent from the user. If you ignore the GDPR banner, or block it with a filter, the website does not have your explicit permission and is not legally allowed to track you under the GDPR.
To me, it's unclear what the best solution is here. Other languages solve this differently with tradeoffs, e.g. Java defaults to threads silently dying when an exception isn't caught. Your program will continue to run, but it's probably in some undefined state at that point. There are mechanisms for propagating exceptions elsewhere, but they have to be explicitly set up (like in Go). You can set a default uncaught exception handler, but that's effectively a global variable with all the subsequent "fun", and the uncaught exception handler has to know how to clean up and restore state if the exception was thrown from anywhere, which seems generally difficult to do correctly.
Happens all the time. 35k avg according to Glassdoor. But furthermore, even if it were 55-60k, that’s about half of what you could expect in the US.

https://www.glassdoor.com/Salaries/london-entry-level-softwa...
That’s how Apple became great: following trends and executing them better.
Yeah, it's a pretty clear market failure in my book. I still find the whole saga pretty mystifying.
I mean, I'm not saying you're exactly wrong, but I just tried and it took me like 30 seconds to go back a year on a channel that released like 2-3 videos a day.

It's certainly not the most convenient UX, but, you know, first world problems and everything. The greatest store of knowledge almost-instantly availalbe at our fingertips, these minor UX quips are small-potatoes IMHO.

And for sure I don't think the statement "the only way to interact is via the algorithm" is accurate, when what stands between us and finding old videos is to wait a few extra seconds. That's a really strong statement compared to the reality.
Imperial borders still shape politics in Poland and Romania (2018)
https://archive.is/bg5Rd

https://archive.today/bg5Rd
Actually the reverse.

Run DISM first, then SFC.

https://support.microsoft.com/en-us/topic/use-the-system-fil...

If you are running Windows 10, Windows 8.1 or Windows 8, first run the inbox Deployment Image Servicing and Management (DISM) tool prior to running the System File Checker. (If you are running Windows 7 or Windows Vista, skip to Step 3.)
> Blame France, with its four most valuable companies being in the frivolity business

What? What about Airbus (not fully French of course), Stellantis, Renault, Faurecia, OVH, Scaleway, STMicro, Doctolib? Just because what markets valuate luxury goods the most doesn't invalidate the existence and innovation of other sectors.
In addition to lock-free queues, I think another important lock-free primitive is a cell where writing a value drops previous values, even if they haven't been read, used for eg. time of day, volume levels passed from an audio thread to a GUI VU meter, and the like. Implementations include word-sized relaxed atomics (bigger tears), SPSC triple buffers (doesn't generalize to >2 threads), or other days structures I don't understand as well, like RCU or hazard pointers.
> Next one finds oneself rebuilding things, that a normal web browser has had at the ready for decades, only because the whole website was forced into a web app approach and there is a separate router and all that stuff. At that point using a traditional web framework that simply renders HTML on the server would have been a better choice, but of course it is not hyped like NextJS is. It is not fashionable!

Your arguments are not related to Next or server-side-rendering frameworks at all, you arguments are related to static websites vs SPAs (client or server rendered). Although you have some valid points it has been proven that devs rather just use the more powerful approach even if they don't need to. The two ways of building apps (static vs SPA) are just too different and there is more job market for SPAs so even things that don't need to be SPAs end up as SPAs.

On top of the FOMO of maybe you might need some dynamism in your pages in the future, it just makes sense to go as SPA from the start.
It's called research. Someone has to do the R&D afterward to implement it concretely.
Our Journey from SaaS to OSS: Monoliths vs. Microservices
Same experience. All I wanted to teach was intro to C. I took the class online. The professor’s whiteboard was MS paint. He didn’t have a Wacom or touch screen with a pen, he used the mouse. You could not tell what he was writing 80% of the time.
Lectures were supposed to be 90min but they were 3h long because the guy would not stop rambling about random stuff. The classes were really bad. No one was getting anything. The assignments were very ambiguous yet strictly graded.

I already knew C and all the content of the class, so students started reaching out to me for help, the ones that cared at least.

The failure rate of the class was something like 70%… for an intro class. Madness.
So I decided I wanted to help and maybe I could teach this a few hours a week. But no, they want someone with a PhD and it pays 38k (full time). No wonder they can only get people like that professor to teach that. You have to be either nuts or very passionate, in this case I got the first one.

That’s not to say all of them are like that, my algebra professor was the best one I’ve ever had.
Ember Global Electricity Review 2023
What does this have anything to do with kings or queens? Pretty much none of the EU countries' royalty have any cultural significance anymore. On the other hand, you have the US where the billionaires rule the earth and get to do whatever the fucking feel like. Those are the real grifters.
> Identity is not equivalent to equivalence

When talking about identity/equivalence of types in the context of homotopy type theory, yes. This is literally what the univalence axiom states.

Auggierose, I'm curious about your thoughts on how we can provide more rigor to LLMs when it comes to large-scale program transformations and proof synthesis. Given the complexity and versatility of these systems, what kind of foundational framework do you believe would enable GPT and similar models to synthesize and execute proofs rigorously? How can we ensure that they are both reliable and adaptable while dealing with various mathematical and logical domains?

More importantly, how whould this relate to NLP tasks such as: alright, the story is good, but can you rewrite it in the style of Auggierose ?
True, but in very limited quantities.
It's weird how different my experience is, simply from spanking the algorithm every time it shows me something clickbaity that I haven't already seen.

I actively use the 'not interested' every time the recommendation algorithm tries to show me something where I don't already know what it is. I pretty much only want to see recommended videos I've already watched :)

It takes some patience to get this going, but it seems to work. Any time I see anything novel, it will get excited for a while until I settle it down and tell it I hate all its ideas. Usually I don't have to tell it never to show channels, though if it's obvious enough I will. Eventually it's back to old faves again :)
What a pity!
Seems like a clickbait article to draw views, someone complaining when they use functions in a wasteful way, isn't "people are abandoning Vercel!!".

What kind of function workloads would trigger TBs of data transfers?

Images? Video? Why would you push that through a function when you can put a domain on S3 directly.
Mostly meant it the latter way, but now that you mention it, the first understanding works too :-)
It's undeniable that he's achieved amazing things with telsa and spaceX, but he's constantly undermining himself with his public statements.
So expect one as a stocking stuffer from the significant other?

—edit—

Mavis Beacon Teaches… umm, got nothing.

Ok, I’m done.
“Soylent Green” predicted our eco future
> There’s no explanation or option to report a false positive and they want you to put in credit card details to confirm your age to unlock it

Are we even sure this is vodaphone? This sounds so much like a scam pop up ad.
Really depends on how windows put that curl.exe there in the first place. WinSxS would probably detect the damage and fix it. It is kind of how MS 'fixed' DLL hell. Windows really tries to stop that sort of thing. Also depending on how it was installed you may be able to get the windows installer subsystem that controls it to just uninstall it for you. Would just depend if it s part of another bundle or not. If you want to see how there are tons of vids on how people make stripped down windows installs.

Also if you are stuck with this another way to fix it is to just run the file out of a different directory and/or rename your new one. Windows load hierarchy is local folder first, then path (which usually has system32 in there somewhere).

But if you are dead set on your chmod method yes you could use calcs to do it. Add the executable permission to false. You prob would have to do that from a decently privlaged account. You probably could also do it from active directory using a group policy.

A better way is to open a phone support ticket with MS if they are the ones installing it. Going onto their web support boards is usually basically a dead end. If you bought your PC from an OEM you can call them too then they can open a ticket with MS.
> The risk is more in the LLMs themselves, as whoever gets to control them gets to decide how people are going to experience the world. For the time being I might still double check all the answers I get from ChatGPT, but overtime the LLMs will get better and I'll get more lazy, thus making the LLMs the primary lens through which one views the world.

You've underlined the major risk these LLMs are for humanity. For a brief time in the history of human race, after information was democratized, most of us (at least educated people) had to use our own critical faculties to understand the world we live in. Now, that capacity will be outsourced to custom LLMs, most of them derived from other pre-trained with some ideological biases built-in. The informational Dark Ages of the technological era.

If they provide the tools to filter through the garbage, it'll probably be standardized in some way as an interface to the web. So just as HTML and its satellite technologies limit and standardize the representational aspect of information on the web, I think this AI-interface will severely limit the knowledge/wisdom aspect you can derive from information on the web. It's a hard thing to put my finger on, I hope you can understand what I'm saying.
Why would one have to measure per capita? The Earth isn’t measuring per capita, crap in the atmosphere is crap in the atmosphere, nature does no discerning how much of it came from one person vs a larger group.

I understand the spiritual idea of trying to measure per capita, but I think for something as severe as climate change, the only relevant metric is the absolute one.
My hypothesis that the engineering part of Europe isn't focussed on inflated numbers. People who like that are in LVMH's corner.
> Quand les poules ont les dents

See "As rare as hens' teeth". Similar to "as rare as rocking-horse shit".

My French is far from idiomatic; I hadn't come across "quand les poules ont les dents".
$ ip addr show eth0
2: eth0: <BROADCAST,MULTICAST,UP,LOWER_UP> mtu 1500 qdisc mq state UP group default qlen 1000
link/ether 00:15:5d:23:d8:89 brd ff:ff:ff:ff:ff:ff
inet 172.27.50.201/20 brd 172.27.63.255 scope global eth0
valid_lft forever preferred_lft forever
inet6 fe80::215:5dff:fe23:d889/64 scope link
valid_lft forever preferred_lft forever
$ ls /dev/eth0
ls: cannot access '/dev/eth0': No such file or directory

And besides, what would it even mean for eth0 to "be" a file? What happens when you try to read it, what happens when you write to it?
Ok. Please enlighten me then... I imagine we are all living in bubbles to a degree. What bubble do you think I'm living in?
> deploying isn't that hard with today's tooling

I would argue that deploying today is much harder in comparison to how hard it is to build software in the first place. Building a profitable MVP product is much easier than rolling out your own infra for said product

Yes deployment got a lot easier, but product development got much easier in comparison (at least until you run into scalability issues)
It's not very different, both are under law, just one is under contract law.

Of course you can own things that you can't sell anyway, you can own an extended warranty on your flatscreen television, or own non-transferrable bonds in a company.

Most things you own you can sell, but it's a mistake to think that ability to sell is a prereqesite to ownership, and a non-transferable licence is one of those things on the list of 'things you can own but cannot sell'.

And on the 'buy' point - Do you think you can buy a haircut, or buy a pedicure?
see here is the loophole, if you block the banner altogether they will still track you under the disguise of "legitimate interest" vs when you actually deactivated the stuff or use the "reject all" button that the better providers provide, you will, at least for the bigger publishing houses, opt out.
As the CTO and co-founder of Appsmith, I wanted to share our experience of choosing the right architecture for the product. In this blog post, I talk about our decision to go with a modular monolithic architecture, and how it benefits our users.

We initially considered a microservice-based architecture, but soon realized it would complicate on-premise deployment for our end users. We then relied on a purely monolithic architecture during our early days, but eventually encountered problems in extensibility and horizontal scaling. That’s when we reached a middle ground - the modular monolith.

I am working right now on a follow up post that will detail out the architecture itself. I hope this post is helpful for those of you who are also grappling with this decision. Please feel free to share your thoughts and experiences in the comments. Thank you!
> Deploying NextJS stuff on Vercel, while maybe dev experience friendly, is not a visitor friendly thing to do. The amount of websites, that merely show a white screen, when you don't allow arbitrary JS to run ... And of course with allowing tons of JS comes tons of tracking.

That has nothing to do with deploying on Vercel. In fact, deploying on Vercel and using NextJS _should_ allow developers to do exactly the opposite: provide javascript-enhanced [0] websites instead of javascript-only, with server-side rendering with low latency since the servers are right next to the user. It's just most developers are lazy, and for some reason the recommend practice is to do data fetching on the client, even though data fetching on the server is extremely trivial in NextJS [1][2].

Also, Vercel doesn't force you to use NextJS, in fact they hired Rich Harris which is the genius behind Rollup and Svelte. SvelteKit also allow for a hybrid javascript-enhanced approach with remix-inspired form actions [3] and hybrid data loading [4].

[0]: https://react.dev/reference/react-dom/hydrate

[1]: https://nextjs.org/docs/basic-features/data-fetching/get-ser...

[2]: https://nextjs.org/docs/basic-features/data-fetching/get-sta...

[3]: https://kit.svelte.dev/docs/form-actions

[4]: https://kit.svelte.dev/docs/load#universal-vs-server
The only "good" newsletter popup modal is on Josh Comeau's websites.
Mass might matter more than count.
It's about a) this:

UNIX has had languages with AMM since forever

and b) the fact that those languages are core parts of UNIX. It isn't just a kernel, it's also tools like bash and awk.

I think it's a decent rebuttal to people saying, e.g., "Java isn't UNIX-y because it needs a garbage collector". Which I don't think I've heard recently, but I have heard in the past.
Being able to turn an interesting property solver into a halting problem solver is not the same thing as being able to turn a halting property solver into an interesting problem solver.
It's definitely a personal preference though. I find super high contrast very harsh part 2 certain point.that being said,for linked website and with very low contrast colour they used, I sure wish they opted for a heavier font.
You can use ReVanced and choose every "patch". For example only remove shorts and keep ads etc. That way the creator still get your premium compensation
Indeed, I remember a significant degradation of service that happened when some data files were corrupted.

Each request would need to work with one or more of them. There was a cache, and the code was written to avoid a thundering herd. But in the case where the data was corrupt, an exception was thrown, and nothing was put in the cache. So the application sat dedicating multiple cores to a cycle of loading and parsing these data files then errorring out.
This is cringe.
One factor is that articles in the US set the success metrics. If market cap and total GDP matter to you then sure, US is the scoreboard leader. If things like life expectancy, health, work life balance, et al matter to you: less so.

Like others have commented I very much like the work environment in the US, and like my work. But for many, and probably most workers in the US life is very hard, especially when compared to wealthy countries.
Anything happening under the influence is not classified as a psychosis, mind you.
Teslas aren't overpriced vanity products?