skysight-inc/HackerNews huggingface dataset:
> But the concept is just a little bit over 30 years old. So don't expect it shows up in most mainstream languages before the end of the next 20 years, and don't expect it to come to the C languages ever.

Any specific results/papers from (refinement) type theory you hope/expect to see implemented in the next 20 years?
Which is also the newer translation[1]. For quite a while couldn't be sold in the US as book/ebook due to licensing issues, only as an audiobook (which is how I enjoyed it).

1: https://english.lem.pl/works/novels/solaris/196-a-new-transl...
Laughable take. When there was only IE6 people complained. Now that there is more than one people complain that they have to test their stuff more and wish to go back to one browser to rule them all. You don't like testing? How hard can it be to test on the top 3-4 browsers? Maybe it's not wasted dev time, it's called work? Maybe software industry isn't for you... Sidenote: Why so many snowflakes on HN? Too much entitlement or is it the easy money? In what job is it considered acceptable to not test on half the devices in the world?
It performs no reasoning, and instead predicts the next token

If we had a nickel for every misguided repetition of this non sequitur we'd have another $10. GPT-4 is far beyond markov chain predictions and Eliza. While technically Eliza, GPT-4 and Photoshop operate on the same principles of assembly instructions, and GPT-4 indeed does token predictions, this says nothing about the inner architecture and reasoning capabilities. GPT-4 internally is a functionally complete state machine, or would be on an unlimited token stream.
LWN.net | Full-time and freelance writers | REMOTE (USA)

LWN.net has been covering the Linux and free-software communities since 1998; we are looking for writers to join our effort. Details can be found at https://lwn.net/Articles/895695/.
They are very aggressively doing just what you describe, too. It's not an either-or type of scenario.
https://smritibookstall.com/products/details/atomic-habits-b...
https://smritibookstall.com/products/details/think-like-a-mo...
https://smritibookstall.com/products/details/zero-to-one-1
https://smritibookstall.com/products/details/the-secret-engl...
SEEKING WORK | Europe | Remote

Freelance Sr. Engineer with Kubernetes/DevOps/Golang Focus

Location: Berlin, Germany
Remote: yes
Current preferences:
Kubernetes, Golang, Kubernetes Operators, Ci/CD, Containers and automating everything
Languages: German (Native), English (Fluent)
LinkedIn: https://www.linkedin.com/in/johannes-h%C3%B6lzel
Github: https://github.com/jhoelzel

Hi, I'm Johannes, a tech specialist with a focus on Kubernetes. I have been working in the industry since 2003 and have extensive experience building and managing large-scale systems using Kubernetes, with a focus on Amazon AWS, Microsoft Azure, and bare-metal deployments.

In addition to my technical skills, I also have a background in psychology which gives me unique insights on team leadership and communication. I have a proven track record of leading and creating successful international teams.

I'm currently offering my services as a freelancer and would be happy to discuss potential opportunities involving Kubernetes. If you're looking for someone with seniority and experience in the field, please feel free to reach out. I have a wealth of experience with Amazon AWS, Microsoft Azure, and bare-metal Kubernetes and am confident in my abilities.

You can read some articles I wrote:

https://www.hoelzel.it

or contact me on my linkedin:

https://www.linkedin.com/in/johannes-h%C3%B6lzel

or see some of my work on Github:

https://github.com/jhoelzel
> I will however, take chrome and user choice every single day over Safari's monopolistic crap.

That's the problem, though: more and more as time goes on, Chrome isn't user choice. Sites that only work with or only perform as expected under Chrome are becoming more and more common. It's becoming a monopoly too, but enforced by developers rather than a platform owner (though this is muddy with how Google gives Chrome performance advantages in Youtube, Docs, etc), and I'm not sure it's really any better.
Yeah, I explicitly LD_PRELOAD libeatmydata for a few things, like my web browser and before running a software upgrade. So much junk being overwritten multiple times, manpages regenerated, init ramdisks regenerated, over and over again in a single update pass.
>it pleadingly tries to stop you from using Firefox

I actually have never experienced this. What I HAVE seen is that if you accidentally open a not-firefox browser, it asks whether you want to make it the default.
Not as bad as I expected. The main thing is to not eat super spicy stuff on an empty stomach.
Metaverse was a last ditch effort when ad market was killed by anti tracking initiatives.

I don't know why Meta exists at this point other than the momentum of a large business with loads of assets and meaningful no product.
Tim Cook finally learned why he's building the metaverse and why people love using VR so much
What if you don't have a Mac?
did you put your prototype on a small boat and test it out in the water?
Foremost, thanks for choosing a business friendly license. I know that statement is going to ruffle feathers, but I'm still grateful. I'm also grateful for you choosing postgresql

You will want to strongly consider pinning a node version since it's a huge list of possible values that can go there: https://github.com/reprohq/repro/blob/main/apps/api-server/D... (it certainly looks like `node:18` is the correct one based on https://github.com/reprohq/repro/blob/main/.tool-versions#L1 )

Also, please don't hard-code AWS credential configurations like this; if you're using the AWS sdk it automatically supports a wide range of credential discovery mechanisms, which certainly includes those famous env-vars, but by not hard-coding that it allows the server to work correctly in a lot more diverse configurations (EKS, IMDSv2, AWS_PROFILE, etc): https://github.com/reprohq/repro/blob/main/apps/api-server/s...
> People do not drop their cars for ebikes just because a multinational dropped one on the sidewalk.

I own a car. About 2 years ago I bought a an escooter and since then I almost never used the car, even in winter (with snow and below 0°C cold).

I was hoping that car users would at least try a rental ebike/escooter, see how easy it is to ride anywhere, park anywhere, and then buy and start using their own.

It didn't happen. It seems there is some very important reason they prefer cars, despite how much it costs and how difficult it is to find a parking spot. I really don't know what that reason is. Someone please enlighten me!
Not having to labor is attractive to someone who has a solid foundation of accumulated wealth - at least a house with a garden in a first world country inherited from parents.

For the rest of us skilled labor was (and still is for a while) a means to accumulate some wealth, get an own place to live, move to a different country we want to live in, get some things like travelling an hobbies that are not strictly necessary, but pleasant to have. If labor doesn't serve this purpose any more, it's unlikely that something else will, not in our lifetime at least
This isn't indicative of the quality of his work; it's indicative that the standardized form of the research paper has so much low-information boilerplate that it's semi-automatable. If anything, I applaud attempts to automate it (only slightly less than I applaud attempts to do away with it via a new structure for these papers).

Complaining about this is like complaining about the fact that people use IDEs to manage the imports in their Java class files. Ideally, you'd stop using a crap language that makes you wrap three lines of actual implementation in 50 lines of imports, declarations, and redundant-to-the-code comments to make doxygen (and a linter) happy, but if the institutional model prevents that... By all means use a good IDE to do half the work for you.
Yes, I think a lot of stories about Apple cutting production are really about reversions to the mean after big surges.

This happened back with the iPhone 6 big-screen upgrade cycle as well. So many people bought the iPhone 6 series for the new design and larger screens that the following iPhone 6S was portrayed as a sales flop, despite it selling better than the gen before the iPhone 6.
Hey, this looks amazing!

I couldn’t find any information about pricing? This is going to be a free tool?
Galaxie 500's cover is better than both

https://www.youtube.com/watch?v=92Nkrav2-Aw
This output to me sounds a lot like a contemporary "lots of complicated dramatic notes"-style of composer imposing that specific style on snippets that loosely resemble bird calls. It doesn't sound like birds at all. Maybe I'm just not smart enough for this stuff. Or maybe the composer has a particularly dramatic imagination and is using the birds just as a starting point.
You have exactly the same home/work setup I have, and I have the same opinion. My 13 inch M1 kicks the crap out of my work 16 inch Intel MBP in every meaningful way that isn't screen size. And even then, I prefer the much more portable smaller laptop anyway. Quieter, faster, incredible battery life. I'm not-so-secretly hoping my 16 inch MBP will croak so I can get it replaced with M1/M2/whatever.
Unscientific implies there is no reasonable experiment to be able to evaluate a hypothesis. Generally, it is very much possible to conduct scientific experiments on innovations, and even LLMs can be tested to a degree by comparative evaluation and other techniques which OpenAI has used. What can not be tested, and therefore is not scientific as I see it, is a broad and analogical train of argument which tries to understand the development of AI through something like natural selection. There may be some value in trying to think of things this way, but to my mind, that kind of argument should not be made in an academic paper.
Then one could also argue that no NATO country has ever fought off Russia.

Ukraine barely stopped the Russians, even with the massive help of NATO (both before and after the 2021 invasion). It doesn't follow at all that NATO thinks Ukr is a member. Ukr is just that - a buffer country that should not be taken by Russia. This is not meant in an offensive way, think of it as a neutral country like Switzerland or Austria.
Intuition Machines, Inc. | REMOTE worldwide | Full-Time

https://www.imachines.com/ https://www.hcaptcha.com/

Intuition Machines builds Machine Learning, Data and Security products. We create and operate massively scalable systems to tackle some of today's hardest problems. If you are interested in making a real impact in the field through leading our engineering team, we invite you to apply!

We're looking for a talented and experienced Director of Engineering (python background is a must) to oversee the success of the team and engineering projects. We work cross-functionally, with light specs, small teams, and rapid iteration. Sounds appealing? Join us and make your mark!

https://apply.workable.com/imachines/j/8295E51306/

We're also looking for Staff Engineers, SREs, Security Engineers, Python Engineers and many more, all open positions:

https://apply.workable.com/imachines/
The Tor Project’s new privacy-focused browser doesn’t use the Tor network
You'd think then, entering a bear market, you'd want to keep your best people happy by letting them WFH.

But maybe they're going the HPE route and trying to cut staff via attrition. When I was at HP in 2014, Meg closed all satellite offices and got rid of most WFH- this lead to overly cramped offices as an abundance of employees were dragged back in.

A lot of employees quit or simply took early retirement as a result.
Do they though? I see the WFH movement as a threat to the existence of my job. If the entire IT department works from home, what's stopping the company from moving it to India, Bangladesh or Pakistan? If you live in North America or Europe then I feel like you should fight against WFH, since a lot of smart people in the world would gladly do your job for half the salary.
Thanks. I might try this out for a year. Can’t be worse than my current experience of only seeing a NP for 5 minutes.
In console: { name: "ApiError", message: "Invalid Application-ID or API key", ... }
Blockchain is maybe casting too wide a net. Each implementation will have different technical details. In the ethereum space I think the highest level of technical analysis you will find is in the domain of MEV-bots.
Well, you have to understand: the current iPhone model is a perfect pinnacle of technology, so talking about someday releasing something even better would be blasphemy until they actually manage to pull it off...
Thinking "BRICS" exists is a red flag for contrarianism. China and India are literally in a shooting war at their border. The term was invented by Goldman Sachs. It's not an alliance.
There are a lot of group sports (like run clubs or pickle ball) and art classes that are open sign ups where you don't need to know anyone to join, and you can just casually meet people. They might not become friends outside of the activity, but it's an easy entry point to feeling like you're part of your community. There used to be a lot of board game meet ups like this too, but the pandemic kind of killed the scene.
The book is excellent, I also remember the exhilarating read, all the way through. It should be noted that the film isn't just any movie though - it's a rare work of art itself and was done with collaboration by Clarke and Kubrick.

It's your choice, but I think the movie does do really well and complements the book nicely. It does leave a lot out, but - that's part of the art of it.
FWIW I still have a system76 laptop from 2015 that's going strong. My wife's thinkpad is 13 years old by now - I've been able to keep it chugging by replacing the hard drive and memory.
> As technological capability increases, there will just be a point where food and everything will be handed out for free.

that's not the trend line I'm seeing.
Russia accuses Ukraine of blowing up war blogger Tatarsky, arrests woman
https://archive.is/zbYM0
That is such an odd term. As if it the birthrates could no longer change for the positive or as if it would doom countries with birthrates below 2.1 to die.
Wait till you see a week long exercise given to you
> "I read the docs" uses what is generally called the "plain form" (the name describes the form, not the meaning that calls for the form), and it expresses that the verb is stative[1], describing a fact about the subject ("I am the kind of person who reads the docs") rather than describing an event that takes place at a particular time.

"Perfect" was the wrong word for what I meant, you're right. I was referring to the difference between the continuous form and the plain form, which doesn't exist in many other languages. For example, in French, "je lis les docs" can mean either "I am reading the docs" or "I read the docs (in general)". My point is, even though a native English speaker (or anyone past B1 or so) understands the difference between these two phrases, many foreign speakers actually don't, and would use them more or less interchangeably, relying on context.

Lots of grammar is like this: it helps reduce the amount of context necessary, but it's not critical to text comprehension. If you speak French while using the wrong genders for nouns, people will still understand exactly what you mean - it will just sound strange and maybe make certain complex phrases more confusing than they're used to. This happens very commonly when a language is picked up as a lingua franca by many foreign speakers.

> This is very commonly asserted, but I don't believe it's true. Here you can see a popular American sitcom making a series of jokes about tone, even though the same people who will tell you that Chinese is difficult because of its tones will also tell you that English doesn't have them

Tone exists in all human communication, but it is used very differently in tonal languages. In almost all non-tonal languages, a rising tone indicates a question, a flat tone indicates a statement, and certain other tones indicate the mood of the speaker.

But in a tonal language, particularly one with absolute tones like Mandarin Chinese, tones are more similar to vowels, consonants, or stress accent: they are an intrinsic part of words or syllables. The difference between "mā" (high tone) and "má" (rising tone) is not one of intention, they are simply two completely unrelated syllables/words (the first means "mother", the second means "numb"). There are three more words that use what would be the same syllable in a non-tonal language (transliterated as mà, falling tone, mǎ, falling then rising tone, and ma, neutral tone).

Even worse, moving from a neutral tone syllable to a high tone syllable may sound like, which to a Mandarin Chinese speaker would be equivalent to moving between a syalble using "a" to one using "e" would be interpreted as a rising tone (and thus a question) by a non-tonal language speaker.
There might be a silver lining to the slow death of commercial terrestrial radio: Doing away with the polite fiction that commercial terrestrial radio is a valid way to communicate emergency information. Even if the "local" radio stations are active and broadcasting a signal, they're often only local in a way that does not matter when it comes to emergency broadcasts:

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

> The Minot train derailment occurred just west of Minot, North Dakota, United States, on January 18, 2002, when a Canadian Pacific Railway freight train derailed, spreading ammonia gas across the city, delaying rescue operations. The cause was found to be small fatigue cracks in the rails and joint bars, not detectable by the inspection routines then enforced by Canadian Pacific.

[snip]

> Because it was the middle of the night, there were few people at local radio stations, all operated by Clear Channel with mostly automated programming. No formal emergency warnings were issued for several hours while Minot officials located station managers at home. North Dakota's public radio network, Prairie Public Broadcasting, was notified and did broadcast warnings to citizens.

Public radio succeeded. Commercial radio did not. People have been utterly resistant to learning this lesson. Maybe once commercial radio is dead they'll have no other choice.
Ok, I did double check. It is even worse.

You cannot "officially" remove any symbol versions, but it does not matter: games must become pure ELF binaries, namely MUST NOT USE main() for the following reason:

A genius at IBM(redhat/sourceware) did break for good the glibc: From glibc 2.34 __libc_start_main symbol has 2 versions, GLIBC_2.2.5 and GLIBC_2.34, it means that any game exe linked against glibc 2.34 won't load on system with glibc below 2.34, if using main().

wow... those guys are msft "grade" in planned obsolescence.
For anyone unaware, "Unknown Pleasures" is the name of the debut record (1979) from the English band "Joy Division".

The cover was a stylized visualization of a fast Fourier transform, which this is replicating.
https://www.youtube.com/@InigoQuilez/videos is what I'm talking about. It's not necessarily a from-zero introduction, but it's a nice resource.

https://www.youtube.com/watch?v=0ifChJ0nJfM is probably the the most beginner friendly.

https://thebookofshaders.com/ is another great place to start.

Good luck and enjoy!
Was MPLS Traffic Engineering Worthwhile?
The fact that corporations and businesses will utilize AI to it's maximum extent is completely deterministic. This will happen.

Whether or not humanity in aggregate will launch a delayed immune response against AI via government regulation is not predictable. Regulating addictive drugs has a certain amount of clarity in moral action but regulating technology to prevent job loss is less clear. We didn't regulate calculators for replacing humans did we?

As I said, aspects of aggregate human behavior are deterministic. But I have to emphasize the "aspects" part because there are other "aspects" that are actually not predictable.
I am a PhD student looking for a summer internship, my research area is programming languages and compilers

Location: West Lafayette IN USA
Remote: yes
Willing to relocate: no
Technologies: Java/Kotlin, Rust, C/C++, JavaScript/TypeScript (Node.js and web), Swift (iOS), Coq (formal methods)
Résumé/CV: https://jakobeha.github.io/Resume.pdf (https://jakobeha.github.io is my personal site with more info)
Email: jakobeha at gmail dot com
You forgot the stage light effect. Mysteriously Apple give a free fix/service program for the 13" models but not the 15" models. Kind of sucks if you had a 15" model that started to go bad.
I still estimate that the result of not taking action would be tens of millions more deaths (at least) and nightmarish scenarios in any sizeable city.

You say it was not a risk for many of us, but that is only the case if you don't even include immediate family.
Those w/o means have Medicaid and those with minimal means have Obamacare- you're a little out of date with that specific complaint.
120Hz ProMotion Rumored to Expand to Non-Pro iPhones in Two Years
Robots will be able to fill 30% of Dutch job market vacancies by 2030
Ok what is your evidence that bullshit jobs are being structurally eliminated in a way that is unrelated to interest rate policy?
FWIW I basically stopped eating at McD's in my 20s and 30s then we've started going again in our 40s. There's one reason: kids. McD's is incredibly kid friendly, from its ubiquity on every street corner and major tourist attraction, to the drive-thru that means you don't need to wake the kids up from their nap when you pick up food, to the online ordering app, to not having to cook, to the kid-friendly menu where it's basically guaranteed there's something they'll eat.

We rarely eat fast-casual nowadays despite being voracious consumers when we were in our early 30s. Our kids don't eat it (so we need to cook separate meals for them), and there's less infrastructure built up around making sure parents never need to go into the restaurant.

I feel like McDonald's has always served the families-with-small-kids demographic - it started in the baby boom and then massively expanded as the baby boomers were themselves having kids. To the extent that the fast food industry is seeing its customer base decline, it's probably because fewer people are having kids. It's likely that childless couples didn't eat at McDonalds in the 80s and 90s either, but being kids then, our only experience tended to be with other families that had kids.
I worked with a consultancy that was renting these yellow Google search appliances in ~2009. Google discontinued them shortly after, in true Google fashion.

Beyond marketing from being affiliated with Google, the hosted GDC brings little value, it appears.

Moreover, going with GDC feels like a huge business continuity risk.
I think people crave real world connection, not another iDevice that's strapped to your head.
you sound more like someone who doesn't know what they are talking about.
If that was the only issue, they could tile the images up into 4 or 9 images in many cases.
Japan did not have forced lock downs. And they already had plenty of recluses before. The rest of what you say is only very loosely connected to covid, if at all.

Perhaps you should put your hand up and say you are wrong?
> I feel that the majority of relationships and marriages say 60-70 years ago were happy and mutually fulfilling, but now anecdotally it seems that most people are not happy whatsoever.

It's because many women have bought into the lie that getting it all and bridging every perceived equality gap will somehow make them happy. Of course, when women are unhappy, their men are more likely to be miserable as well. Men are equally to blame for being passive and enabling these systems of inherent discontent.

https://www.theguardian.com/lifeandstyle/2016/may/18/womens-...
Show HN: Footape – Streamline YouTube Production and Collaboration in One Place