skysight-inc/HackerNews huggingface dataset:
Its mind-bogging amount of work to write correct algebraic types that make sense for most JSON and YAML config files. Pretty much every property is optional, but not really as some combinations are allowed while others not. If you are lucky there might be a JSON Schema with `oneof`s you can automatically map to unions, if not there will just be documentation (e.g. Concourse YAML). Sometimes there will even be two algebraic datatypes encoded in one object, so you would need 2 -> 1 value mapping (or 4 union tags for the possible combinations, whatever suits your fancy)

Since jsonnet is side-effect free, types are somewhat less needed. You can instead execute your code, which will generate values and which can report arbitrary runtime errors (all the way to the language server, even)

(Types would still be awesome for writing funcitons, though)
I'm going to the inverse of whatever these guys do and call it Frequency.
I have no hate for TikTok, I'm sure it's useful for many. But I tend to get quickly bored of echo-chambers (HN included sometimes), where if I like some content, doesn't mean I just want to see content like that.

I need to "reset" my history of YouTube sometimes after I "spend" watching 3-4 videos of some topic, and now my YouTube is overrun with just content related to that, instead of different topics.

TikTok is guilty of the same, where after using it for a week or two, I basically see no other content than content related to a couple of videos I watched longer than others.

I liked how the internet was before, where I stumbled upon content wildly different from each other, and could acquire new tastes, instead of just being served what the algorithm have decided I should surely forever like.
No, no, no, no, no and also... no.

and before you whine about taxis, it only takes a half second to open the app. If you need a ding on your phone you should probably walk home.
That's exactly what I'm waiting for, either with Copilot X, or GPT4 32k API access.
Isn’t that offloaded to the underlying hardware?

Presumably they have sufficient control at that level for their current lineup, but I’m not sure what it means for aftermarket disks and external disks.
Well, you can lift state (x, y, dx, dy) to input as the "solution" does it (has (time) as input) and call it stateless as well. Lift window width and height and you won't have a bug with jumps on resize as a bonus.

As another bonus you can make it non-linear, ie. having some basic non-linear physics.
China is a betrayal to open internet. And West's BigTech oligopoly. TikTok ban would be a tiny fix for both. Maybe a good starting step...?
Debugging Phoenix LiveView with open_browser/2
Don't be dense. If you pay $5 per conversion, and earn $10 per conversion, you make $5 profit as an ad buyer. What happens if you have 2 conversions? 3? 20? You make more profit.

Alternatively think about the flipside, how in the world could you possibly think having a lower conversion rate is good for the ad buyer? A 0% rate?
> and evolved to a interactive UI library.

It didn't, not really. We've bolted interactive UI on top, and it's held there by spit, out-of-date duct tape, and wasted lives

> Most added features solve real problems.

They are very ad-hoc post-factum solutions to a subset of real problems that solve those problems very poorly.

You can't escape the fact that the core of the system is made to display a single page of static text. To actually solve and evolve that you need to actually rethink things from scratch. That's why UI is slowly but surely escaping into Canvas and WebGL.
How is Apple Music playback on Amazon Echo devices? Does Apple have anything as nice as Spotify Connect?

My current setup is that I have an Echo Dot connected by the line out to my A/V receiver, with the microphone turned off. With Spotify Connect the Spotify on my computer or phone can tell the Spotify on the Dot to play a song, album, or playlist. The Spotify on the Dot then streams that music from Spotify. I can turn the computer or phone off and the music keeps playing. Spotify on my computer or phone will show what is playing on the Dot and let me control it.

This works really well. (In fact, it works way better than Amazon Music from my computer or phone works with the Dot. I just finished a 90 day free trial of Amazon Music and one of the reasons I did not subscribe was how poorly Amazon Music works with Echo devices. Spotify completely blows Amazon out of the water there).

What I really like with this is that once I start playback the computer or phone no longer needs to be involved.

I know that there is an Apple Music app for Echo that lets Apple Music be a source for Echo, so that I could say "Play Foo on Apple Music" and Alexa would use Apple Music do do that, but I don't want to choose my music by voice. I want to do the choosing on my Mac or phone/tablet.
There's nothing particularly smart about these urinals: the screens are meant to show ads, but usually only show reminders (accompanied by a godawful jingle) about how you can use part of the EUR 0.50 you just spent on entry towards a purchase in the adjacent shop.

(These setups showed up all over Europe years ago, with gas stations outsourcing their toilet facilities to companies taking care of cleaning and maintenance. Payment is collected on entry, which gives the customer a ticket, which entitles them to 30-cent-or-so discount on coffee or whatever. Advertising is supposed to make this all work. It does not seem to have been a very successful model, with many facilities being in a state of disrepair as shown in these pictures)
Mark Hamill lends ‘Star Wars’ voice to Ukrainian air-raid app
Exactly, they can buy their own bonds back at a discount using a portion of the money they borrowed.
Yes. Also storing each individual state can be seen as caching there is a place for both of course.

Each derived state is a pain and has to be maintained but might be essential.
Interesting observation.

Is FAANG laying off employees in Sweden as well?

Do you think most of the Swedish engineers working for FAANG would be replaced by GPT4 soon?

Are you planning of doing it in your startup as well?

Should the employees be worried?
For some reason auto scroll (middle mouse scroll) just breaks on this site which is rather annoying, it just seems to always want to scroll horizontally. Does anyone have an idea why this happens?

Edit: After having a look it seems to be because of the use of `overflow: auto` which seems to default to `overflow: scroll` on Firefox.
Previous discussion:

https://news.ycombinator.com/item?id=34686094
I've never seen googlemaps.google.com?
Not having children isn't going to solve the climate crisis because the effect are at a very long term. Children have a very small carbon footprint, they only have a significant footprint when they're adults so we're talking 20 years from now.

We have to reduce emissions right now, not at your inexisting great-grandchildren generation.
It looks to me like something a junior developer would do. It's not pure brute force
One benefit of the summary bots on Reddit is that people who don't read the article, but read the summary, tend to reply to the summary. I can mostly ignore those comments as they tend to be lower quality. Unfortunately, the people who only read the headline tend to top post (with their comments being lowest quality).
You don’t know GP’s contributions so it’s pointless to compare your own changes to GP’s. This is fatalistic thinking and ultimately boils down to focusing on the known negative and ignoring the unknown positive.
>Why would anyone want to listen to it then? what would be the point? The acoustic equivalent of a screensaver?

Isn't that exactly how music is consumed nowadays by most people? They put something when driving, cooking, doing homework, etc. It's used mainly for mood/focus and they're not exactly paying close attention to it the same way one would to a audiobook of, say, an abstract algebra textbook. Especially considering how cheap and easy it is to steam music nowadays. I suspect focused, attentive listening only makes up a small minority of the total streams.
For what it’s worth, I’ve been trying to verify the claim from Microsoft and OpenAI that we would get more software in the future when the price of software would decrease. In other words, they claim that there is a supply problem for software and not a demand problem.

So far, I find it a pretty extreme statement, but it appears true here in the Netherlands. Most employees that I talk to at various industries can immediately point out one or two things which they would like to see automated. In most cases, software would replace data transfers which now occur via spreadsheets or paper.
Nah, volume sales & the ability to bin. A100 would be a much more expensive product if they couldn't sell defective chips as consumer GPUs. Pretty sure that the R&D cost of the workstation cards means that those cards are technically sold at a loss with Nvidia knowing that consumer sales will make up for it.
People don't realise how ridiculously asymmetric the relationship between China and the rest of the world is.

Spin up a cloud VM in China now. Go do it. Try.

I can, literally in minutes, go create a virtual machine hosting a web site in some random middle eastern country I probably would not visit because they're anti... everything. Anti-female, anti-christian, anti-gay, anti-freedom, anti everything I hold dear.

But I can create a virtual machine there, right now, no problems.

China? Hah... no.

That would require paperwork, in person, in chinese, paid for in renminbi, from a Chinese bank.

I'd have to get a chinese id, and submit it to a police station to get an authorisation number, which I would then have to display on every page of that web server.

Chinese companies can spin up whatever they want in any country they please.

Every other country has to sign up to Chinese censorship laws to publish anything at all on that side of the Great Firewall.
Not sure how widespread this is. I regularly screenshare with people and about 40% of the time the other person's Chrome browser has a big red or yellow Update Now button in the nav. No audio or video problems.
I wouldn't worry. It's code output is 50% garbage. I'm not in fear of my job. All the hypsters assuming this will destroy lawyers, accountants, doctors etc clearly don't understand correctness isn't something they can just tag on to a prediction machine.
I feel your anguish, but I think you're being defeatist.

There will still be a source of income in fixing the AI generated code. It won't be as fun though.
Finally! The UI is quite cluttered! I still hope that we’ll get a lightweight version in the future as well
We’ll all be prompt engineers just tweaking code the bot spits out to meet requirements.
Notes does something like this for some reason. The quotes that are used in the Notes app that are then copy pasted into other apps like Terminal or a code editor are not the same as the quotes we use every day. I think some apps are smart enough to fix this by default (perhaps IntelliJ?) but otherwise it’s the source of a non-negligible amount of annoyance if you like to use Notes for whatever reason
> For people trying to run desktop BSD, I think systemd has caused some real pain. For most Linux users and sysadmins, systemd has been helpful in the way it has standardized service management.

It only standardized anything if you deny anything else exists.
I'm pointing out that you don't seem to realise how insanely resource inefficient meat is:

[1] https://ourworldindata.org/grapher/feed-required-to-produce-...
[2] https://cbey.yale.edu/our-stories/disrupting-meat

Napkin maths from the first source suggests 5kg of feed to produce a 200g steak. All while losing all but 4% of the original calories. This is of course ignoring the vast water consumption and emissions (and of course ethical problems) which are issues worth talking about in themselves.

Conclusion is quite the opposite of your original comment, it seems we could feed the world MANY times over using less land on a 'plant based' diet.
Similarities Between Hurricanes and Galaxies
I appreciate your concern about CO2 emissions and the effort you're making to reduce your own carbon footprint. It's important to be conscious of our impact on the environment. I wanted to share some of the ways I also work to reduce my carbon emissions and help address climate change.

While it's true that I have taken a number of international flights over the past decade, I am very conscious of my carbon footprint in other areas of my life. For example, I've made the choice not to have children, I don't own a car and I live a minimalist lifestyle not buying unnecessary consumer goods. These decisions significantly reduce my overall emissions.

In terms of air travel, it's worth noting that commercial flights account for about 2-3% of global carbon emissions. When we consider the per-person emissions on a commercial flight, it is generally lower than that of other forms of transportation like cars, especially when flights are near capacity.

That said, I completely understand the concern around flying, which is why I purchase carbon offsets for all my flights. This helps to balance out the emissions created by my air travel. Additionally, my professional career is dedicated to working on climate science and finding innovative technical solutions to climate change. In this way, I am actively contributing to the global effort to mitigate the impacts of climate change.

It's important to remember that while individual actions do matter, the largest contributors to climate change are industrial emissions and companies that prioritize profit over the environment. By focusing on these larger culprits and supporting policies and initiatives that hold them accountable, we can create a more significant impact on reducing emissions.
Most bank wires/ACH using USD I can belive, but you can buy/sell/trade/transfer in other currencies, which in fact, lots of parts outside of the US constantly does :) In fact, the second largest market in the world trades mostly in EUR.
Putting the Silicon in Silicon Valley
Exactly. He should have started the article with "Disclaimer: [...]".
> It can do almost everything I can do a bit better.

Interesting. I agree it is a relatively decent boilerplate generator, but it is quite useless for anything else I've tried. How did you measure its performance?
They ZIRPed themselves and are now in a hole that a lot of people warned them about and they kept brushing off criticism.

I am fairly sure there's only one way the Fed-created excess since the GFC will end: with another tax payer bailout.
Hi! I don't recognize your nick but thanks for the kind words in your other message, first of all. I'm curious who you are, it would be great if you dropped me a private email or social media DM to tell me! Sorry about not responding to every point, I tried to focus on those where I can reply without being too vague. I hope you understand.

First of all let's be clear, the deprecation of CentOS was already in the air when CentOS Stream was started internally. That was IIRC in 2017, anyway before the acquisition. Even before that there had been a serious effort on increasing CI and CD of RHEL. It was a prerequisite to a feasible "rolling release" distro and it naturally led to CentOS Stream. I totally agree that communication sucked there, it was not the first time Red Hat screwed up communication with the community and probably won't be the last. That's sad. On the other hand I like the way Rocky Linux and Alma developed out of CentOS Stream. In exchange for a shorter lifecycle, their developers now have a path towards contributing to RHEL, which they didn't have before.

And just like IBM is incorrectly accused of killing CentOS, the same is probably true of most internal policy changes. Internal communication was always very clear in the rare cases when policy changes were driven by IBM (no details sorry), and there have even been cases in which policy changes have been reverted (unlike CentOS ;)). Both of those things also points towards IBM _not_ being the mastermind here. I was hired when there were 3000 employes and now there's over 20000, it's normal that some policies change. At the same time we had no forced "return to office" after COVID, memo-list still exists and management recognizes their mistakes when they're pointed out.

Likewise, I am not sure what you refer to as "wanting a cheaper workforce", is it https://news.ycombinator.com/item?id=29114697? Again, not sure why you think IBM was behind it but I'd very much rather have that, than thousands of layoffs Google or Meta style. One comment in there says it all---people are not born as senior engineers and you must start somewhere. Growing junior developers to be open source project maintainers has always been Red Hat's superpower.

And while some projects have been transferred to IBM, notably storage, some projects have been transferred _from_ IBM (the main being OpenShift ACM, and part of the Java team). I have met some of the people who moved from IBM, they are amazing and they quickly embraced being part of Red Hat. And in fact, while I'm not aware of (or did not understand) what you are referring to with respect to customers, support or consulting, I know IBM did a serious effort to educate _their_ customer-facing teams about Red Hat. I mean, it's not like Red Hat pulled a NeXT-style reverse acquisition, but the executive behind the acquisition is now IBM CEO and for some time a former Red Hat CEO was IBM #2. That must mean something.

Over four years have passed since the acquisition was announced, and there has been no massive exodus out of Red Hat. The promise was that "Red Hat would still be Red Hat" and I think they kept it.
The economy only works if you have a slightly inflationary, stable, highly liquid method of conducting transactions.

Yes the govt has created a moral hazard where they can always just create more money to solve a problem, but inserting a ponzi scheme does not fix that
AlphaZero ended human interest in Chess too didn't it.
...of which 20 seconds is typing in the LUKS passphrase
In return for that china allowed the world to export its pollution and manufacturing . Those are trade-offs
> at a cost of, say, x7 the current price

Where does that estimate come from?
Is this you arguing that it‘s not buried?

Having to access something via a search incantation (or, alternatively, a ton of clicks) is not at all easily accessible. It’s buried alright.

Obviously you can find pretty much anything on macOS and iOS via search. That‘s how it‘s should be. But that doesn’t make things accessible or even just visible.
I’m not sure where you got the impression that anyone thought AML applied to gas stations. What were talking about was that in general various criminal conspiracy laws require you to have knowledge and intent, which is actually why AML is a special regulation on banks: you can’t say that you value your clients’ privacy over a law specifically obligating you to ask and report.
That avoids the need to prove intent by setting specific easily-verified requirements which force the issue.

> And do you think criminals come in and tell crypto exchanges that they are about to commit a crime?

Well, ignoring the fact that they are unlike a gas station in having financial regulations, consider that the disbelief and mockery in this thread might have something to do with a defense based on not knowing that your customers are using you to launder money works much better when you don’t give prosecutors written statements such as "Like come on. They are here for crime." or "we see the bad, but we close 2 eyes." showing that you did in fact have knowledge.
Poeltl: Everything to know about the NBA word-guessing game
What makes you think these flights could be replaced by zoom meetings. Why not assume that GP has spent lots of time carefully considering if they must travel or could replace.

Or maybe there are 500 zoom calls and 150 flights.

Assuming that GP is competent and smart, rather than that we are smart and they are stupid is more likely to be accurate. I don’t assume my situation is the same as others as this is unlikely to be true.
If you stop now you will get replaced by gpt. It will be years if not decades before gpt will replace the last programmer, but it won't be long before it will replace the bad programmers.
harder: a css engine in webassembly
I’ve never thought about it until SVB collapse, but I wonder how they address the risk of a liquidity crisis?

Do they hold assets other than their customer’s deposits? Are they even a bank?
If I were being paid to win chess matches I would certainly worry.
Wow, I've bookmarked the article for future reference, this is all very cool! I have been working in OpenGL recently on procedural meshes, particularly with L-Systems. My method for drawing branching structures was basically the same as the "Extruding" action the article talks about. The rotating of the splines around an axis is very clever! I am definitely going to use that.
> his is the first time I've seen it applied to programming. Programming is just a means to an end. I've never considered programming to be an industry.

C++ versus Pascal mindset. :)

> This is the first time I've seen it applied to programming. Programming is just a means to an end. I've never considered programming to be an industry.

Yes and no. It did not replace the good accountants who actually orchestrated the whole department, but it got rid of a lot of the low-level grunt work.

AI-supported coding autopilots seem to go in the same direction: The junior devs whose whole job it is to translate architectural and design specifications into excessively verbose boilerplate code will struggle to survive, but the software architects above them will find a new means through which to express the analytical thinking, process planning and understanding of complex dependencies that they're paid for.
A CLI tool to start VSCode devcontainers more easily
OP is a depressed troll.
Something I find odd is the focus on “data security” in basically all media coverage and politician statements. Is that what’s at issue, or is it the influence the CCP has over people through tik tok? Securing customer data isn’t really what’s at issue… It’s the fact that the CCP have one algorithm for its own people that pushes and popularizes science, economics, and other good subjects but for other countries like the USA it’s basically the polar opposite.

Data security is a red herring. The true danger is that the CCP and business are one and the same, the CCP is in a Cold War with the USA, and the CCP will do whatever it can to gain any advantage it.
pfft. The original discussion was fun like Christmas even though I hate this topic
Ah yes, a Bing Chat user.
I feel your pain. I also had to give up my 2017 iPhone SE, too bad. The good thing is that I managed to change the battery myself at least 3 or 4 times, effectively extending its lease. I have since then picked up an iPhone 12 mini, which is only slightly larger and I love it.
I’m reminded of a previous house move. A two-bedroom flat 20 miles from work was £125k, and one within a mile, but otherwise similar, was about £350k. I could barely afford the first one.
The idea that there's a noticeable benefit to having a sample rate higher than twice the highest frequency is the snake oil here. Many audiophiles seem to believe this but it's not supported by the mainstream understanding of digital signal processing.
Innovation isn’t entirely random. It’s like like all children have an equal probability of doing something great and productive.

Taking responsibility for climate change solution and raising smart and productive kids is probably the single most positive thing one can do.
The reddiputians are invading HN!
There are different forms of magnesium that benefit different parts of the body. In my case I take one that helps with heart palpitations.