skysight-inc/HackerNews huggingface dataset:
Fundamentally, you can't trust what worked on a developer's machine and you need a centralized system (the CI) to validate your build. So if the author is right, this will likely comes with the development taking place closer to the CI than the CI taking place closer to the development.
Lets steelman it. I think he makes it clearer in the next sentence:

> Why or how could a professor have an apparatus and plan and staff in place to deal with the challenges of fame?

To solve the problems of fame you need an entourage of people to
advise, organise your life, talk to media etc.
if just do not append core, the curse of lisp will go back...
They didn't make bold claims though (at least in a way that we humans can understand).

However, "c will never be able to be passed" is a very bold claim. IMO we can leave room for exploration by saying "c can't be passed with our current model of physics due to relativity, in the context of what we refer to as spacetime", which would still be correct, yet leave the door open for any future discoveries.
https://john-millikin.com/json-is-not-a-yaml-subset
Damn that sounds so cool to watch
They law part is not true, according to the website they provide almost all of the German laws. The site is also linked from the ministry of justice itself, so it is definitely legit: https://www.bmj.de/DE/Service/GesetzeInternet/GesetzeInterne...
They even have an RSS feed when laws are updated: https://www.gesetze-im-internet.de/aktuDienst.html (Funnily enough, they also say IE 6 does not support the RSS feed)
mmmh, no? AC Milan is the older (1899), Inter seccessed from it in 1908.
I read the book "Destination disaster" years ago and its pretty chilling how callous the company was to get the plane out the door.
This is comparing apples to pears, as the saying goes.

Only the free app was deemed anticompetitive. All the data is available:
Geoservers: https://maps.dwd.de/geoserver/web/ (weather and warnings) https://cdc.dwd.de/geoserver/web/ (climate infomarmation) https://www.dwd.de/DE/leistungen/geodienste/geodienste.html (Overview)

You are also free to embed all the information from the website (maps, etc.) and there is also the raw data server: https://opendata.dwd.de/
Judith Jarvis Thomson: A Defense of Abortion (1971)
I had a freshman year calc professor who also loved to label lots of concepts as “trivial.” It became a meme in my friend group. Unfortunately for my GPA, it was extremely nontrivial for me — I was only saved by a (nontrivial) amount of eleventh hour effort to absolutely smash the final.
No, it's not even true. I really went to Tailscale to see an alternative to AWS suite. Turned out to be a sort of managed Wireguard instead.
Except that 6D mathematics, and even physics, is routine. Mathematicians and physicists solve problems in more dimensions that that without breaking step these days, and in fact have done for generations at this point. A lot of things like that, which non-specialists think are spooky and weird and unknown, are actually old hat.
Dynamic Resolutions in Application Streaming
Here's a shadertoy that simulates the behavior: https://www.shadertoy.com/view/fs3yRl
There are bad teams, departments, companies where people end up there for various reasons (great money, great new role, level and so on) and they might miss some context on why and how bad the situation is until they go there again for various reasons (they are hired as the new team lead so they haven’t selected the team members, they didn’t meet all the team when hiring, department has some weird team dynamics, team might be good but the rest of the department or company is incompetent, there is a problematic team member that made the previous lead leave, there is a problematic team lead with whom you need to collaborate and made the previous team lead leave and so on).

Any and more of these can make a person with good potential go down to their team/department level until they decide to just leave. So that’s what i am saying, it goes both ways for the team leader; great if the team/company is competent, not so great or even bad if the team/company is not.
"I see them all the time, ergo they must have spent a shitload of money on it ergo they make tons of money ergo they must be good. I trust them."
Just a comment on design: I really like the "stacked cards" effect on mobile. Cool and not gimmicky.
From a sibling: json can’t have the header for yaml versions, so 1.2 arguably doesn’t solve this.

If you force 1.2 without the header I suppose it works, but breaks compatibility?
That’s why you use branches though. You can break the CI on your own branch as much as you want, it’s nobody’s business. But a broken CI on a dev branch MUST prevent merging to a release branch.

If you allow devs to push directly on release branch, thus breaking the CI, you’re absolutely doing it wrong.
$400k salary is ridic, especially for the time.
How can I get summa dat
You’re a complete beast and I absolutely adore the origin story. Thank you.
Moving Beyond Mimicry in Artificial Intelligence
Do you know https://grep.app? :)
Unionization can be hijacked by employers, history knows of such occurrences. Plus Amazon and Google have been caught up (in the recent times nonetheless) of hiring paid saboteurs to impede people from unionizing.

My job is not to do underground mafia wars. If the employers want to fight dirty I'll just move to someplace else. Eventually they'll be stuck with the people who are OK with being slaves -- but won't be creative or efficient.

I wish them luck. They are hurting themselves, not me or the other worthy programmers.

Unpopular opinion: unionization is like democracy: people think it works but in reality there are a lot of shady deals under the table and the system hasn't worked as it is supposed to, for a long long time.
It's a mystery to me why people won't start using properly designed configuration languages, like Dhall (https://dhall-lang.org/) or Cue (https://cuelang.org/). Even using csexps (https://en.wikipedia.org/wiki/Canonical_S-expressions) would be progress.
It does, because modern allocators do a lot of house keeping on top of the system heaps, e.g. to quickly reuse identically-sized memory chunks that were just freed.
Huh, this would explain why some of my gmail redirects have seemingly died.
> Software engineers have been tricked...

I think of this when managers come up with different requirements during the project. If the requirements seem to make the product better, I'm all for it. I like to work this way and they pat me on the head for being "agile". But I always end up kicking myself when they ask why the project is taking longer. I fall for it almost every time because I like to tinker.
How would DALL-E 2 be more effective than plain old photoshop in that case?
They have to pay a fine, but it appears to be structured in a way that gives them time to pay the fine with the interest/investment income from their I’ll gotten gains.
Yes IndyMac was a disaster, the disaster. Do you have examples of all the times insurance was pulled? I think that would be the most useful for these discussions

Fdic’s brokering behavior was a reaction that’s been very successful
Does he mean the one when Chamberlain convinced Czech Republic to give its larger army to Germany, it's superior tank factories, concede territory to both Germany and Poland, to rescind the security guarantees the SSSR gave to Czechia ?

And then "pikachu" face when Hitler proceeded to invade Czechia with the same tanks they were given 2 years earlier, as did Poland, then second "pikachu face" when the Reich and SSSR did the same to Poland a minute later ?

That 1937 moment of titanic hypocritical behaviour ?

Englishmen really always love to play the Great Game, no matter the century...
Physics is absolutely crammed with person names, though. Maxwell’s equations, Newtown’s laws, Boltzmann distributions, Heisenberg’s uncertainty principle, Einstein’s summation convention, Green’s formula, Lagrangian, Hamiltonian, etc etc etc. Not that I think it’s a problem.
I’m in mid of one of those exact death spirals. Finalizing a launch date before even knowing full well what the scope is. Yeah there is a general fuzzy idea of what the end goal is but that’s not what requirements are. A well defined requirement takes too much time to arrive on especially if multiple stakeholders involved, that people trivializing it really get to me.
How about "correctness" as a goal? The idea being that it's harder to miss something out or get something wrong if it has to be checked multiple times by different people as part of the process.
He can replace minify and sed with Hugo and now everything is well maintained instead of custom.

He even uses make instead of any of the reinvented square wheels used in JS!
OpenBSD Webzine: Issue #10
Is it really a problem though?
> Oracle is the principal sponsor of Red Bull racing.

Huh I would have thought the principal sponsor of Red Bull racing would be... Red Bull? Isn't that point of a naming sponsorship?
Given that the potential disgruntled admin already has access to nukes, this seems useless.
Maybe some of these developers are just, you know… busy.
This is nothing new in terms of rhetorics from the UK-US axis of self-righteous world-view and sub-section of history they like to quote. Now that they induced the conflict and were able to dominate the information space (as they prepared for it for long two decades) they want to capitalize. One thing that everyone seems to agree is that this is not about UA or RU anymore, this is war between ideologies (East/West - whatever the elites understand by this and plan to impose and enforce over docile populace).

Both ideologies are as of now just different sides of the same coin. Both, east or west vision of the future are utterly authoritarian, full-spectrum control over population (through digital fin-tech), and dominance in economic-military matters over neighbors. Cooperation will be fragile and shallow. The rhetoric is on both side in absolutes, with no recognition of their own actions playing any role in other's reactions. It appears the western elites especially are in the mode of perpetual escalation, finding anything to use as a vector of provocation or humiliation.

As long as there is no peace talks, no speeches for peace, self-restraint and reason, I see no hope. I know of no elite, no politicians or a political party in EU or US that wants peace. NB! Of cause practical state and economic matters have to be solved through appropriate diplomatic channels, Im not advocating infant's view of peace here, but the practical one. One, that takes years to establish even when peace speeches are delivered daily. Instead, we are pumped for war, more encompassing war, more of a total war. A kind of war that nobody (civilians) want on either side of the proverbial barricade.
Maximum cynism has been reached, mission accomplished
This design style bothers me to no end.

https://ux.stackexchange.com/questions/67891/what-is-the-rea...
Difference is that the prefabricated construction techniques actually do tackle the entire build, and allow time consuming bits like foundations, roofs, plumbing/wiring and kitchen/bathroom fitting to be done in parallel (it just doesn't scale particularly well to individual homes built on lots where on-site time isn't a major issue; city centre hotels are a different story)

This just tackles the low rise exterior wall bit - usually a fairly quick and uncomplicated bit of the build with a lot of options - and more specifically replaces the quick and basic technique of pouring concrete between wooden boards with highly sophisticated machinery and tight tolerances. The one thing it does do very well is permit complex shapes that basic poured concrete casting or off-the-shelf cladding can't achieve - but sculpted forms in concrete is a pretty small niche in residential construction, and much more of a high end architect request than a baseline for building homes efficiently
In my area the biggest cost is the land.
A pattern I've seen a few times (can't recall examples right now, sorry) is to sell the business and then when the business fails, or turns bad, start a new business to compete.

Obviously companies try to tie past owners hands to avoid future competition, but it still happens sometimes.
Like fixing a recently discovered severe security issues affecting a large number of repositories?

That would be terrible indeed. But it might happen. Good to have a powerful tool at hand in that case.
>Definitely not now or anywhere in near future. But just imagine that there might be something out that even the smartests of the smartests couldn't have imagined until now.

Yes, sure, that's always possible but it's not reasonable to take that and then say "therefore maybe X". Maybe fairies. It's not a way to get to any particular conclusion.
With embedded development it's entirely fine to iterate fast and throw away work, until the product is shipped. And in certain applications it is fine even after it is shipped.
I use the current search to answer stuff like “what projects are using GitHub actions” by searching for the action yamls and look forward to this new tool working better.
We actually call it manual, I called it standard because that what I feel americans call them
Submitter here.

Sorry about that.

I generally don't enable javascript unless I'm forced to do so. As such, I didn't see the incredibly annoying overlay you mentioned.
I was negative in my deleted comment, but watched the video anyway (I remember skimming through it back in 2019).

It answers my question only tangentially, because it doesn’t touch state management per se. The key point was, what’s the fuss about React SM and why it must be explicit in it. The video basically says that it is a nonsense which may and should be avoided. I agree, and so still don’t get what ggp is talking about.
Here's a list of companies that work on sustainability where you can work as a software developer:

https://github.com/pogopaule/awesome-sustainability-jobs
The idea that partners are not a means to an end is the last bitter pill to swallow before learning to love yourself.
Naturally, the first step for AI mathematics would be generating proofs of theorems that humans have already deemed interesting, rather than the AI generating entirely new research directions all by itself.

Certainly it’s an interesting problem to think about how one would formalize the notion of interesting/important mathematics. But it’s not necessary to solve that problem in order for AI to start having a big impact on how mathematics is done.
It's utter nonsense. It's typical HN, a long winded extremely confident post about something that the commenter clearly doesn't understand half as well as they think they do.
I like these. They’re really solid choices IMHO.

I’ve leaned on Ruby Metapramming in the past.

Polished Ruby is just excellent. Really in depth in right places and full of good advice.

Same for Sustainable Rails.

I’ve not read Rebuilding Rails but based on the others I’m going to add it to my list for the future.
The third option is that they are adding features to a laid product. I already pay a lot for enterprise GitHub and the search is really bad. This will help me not leave GitHub and motivate more people to signup and use it.
Marx didn’t propose a new system of government though, Marx proposed a theory of history (“history as class struggle”) in which the inevitable outcome was communism.
Sure, the mitigation isn't perfect. But I think the wider point is that as usual, the Australian government have implemented a shit scheme, full of obvious and rookie mistakes, when they should have just used a well known open standard.

Spelling out the very simple flaw is a means of underlining how poor this system is.
Comment doesn't say there are, or was it edited?
Apparently the technique works at close to standard temperature and pressure. Considering that the Sabatier process can be run off water and electricity, and desalination can be done with sunlight, we have all the puzzle pieces for converting seawater to methanol via solar power. The chemical byproduct is oxygen, itself very a very useful element though difficult to compress and store. Even if the byproduct O2 is released to the atmosphere this looks very promising.
I realize that I probably contribute in overloading the term actor.

This "thing" is partially influenced by actor pattern. The other influences are entity component system and Alan Kay's original of OOP.
Related: all the VPN companies paying big consulting firms for “no log” audits. Example: https://www.tomsguide.com/news/independent-audit-confirms-no...
Presumaly they put conduits in for wiring to outlets and lights, you can run ethernet or fibre with them.
For reference, €1 is currently worth US$1.04, i.e. they're basically at parity.
Another generic rule that is worth following is to not depend on software or services self labeled as alpha, beta, or any other pre-release.
I think the author of the post you're replying likely understands category theory terminology and is arguing that the article misuses it and is incoherent.

Functional programming theory has relied heavily on category theory ever since functional programs needed to do IO (around the late 90s), so it's fairly common for programmers to understand some basic category theory these days. After all, many things in programming aren't mathematical functions, so if programmers want invariants, then they do indeed need more mathematical objects than lambda calculus supplies.

A better attack on functional programmers would be that they cargo cult category theory - but I don't think the article author is in a position to make that argument.
I didn't say that this project in particular was a vanity project. Just that when someone comes to you with a project and says "I'm going to solve our problems by using this new programming language that I'm in the process of inventing", then some skepticism is not unwarranted.

In hindsight, this particular one may be the best thing since sliced bread. But that's survivorship bias.
There is still no date but it's getting really close. You can track the progress here:

https://github.com/ethereum/pm/blob/master/Merge/mainnet-rea...

Notably, there is only 2 testnet merges left to do. Ethereum has 3 testnets to try things out. One testnet has already merge and is running on PoS (Ropsten testnet). The merge was a success although it allowed to uncover some minor issues. The next one, called Sepolia, is happening this week. After that, there is only one other testnet merge to occur, likely in August. If all that goes well a date will be set.

Ethereum does have a way to force the death of PoW. The Ethereum protocol has always built-in the so-called "difficulty bomb". The difficulty bomb is simply a target date in the future when the mining difficulty starts rising exponentially. Making finding new blocks exponentially harder until the chain freezes to a halt. Its death is always coded-in, so to speak. The difficulty bomb needs to be delayed periodically so Ethereum can keep working. Last month the difficulty bomb was pushed a few months to occur in September. If all testing goes well, the merge will be triggered in September aligned with the difficulty bomb which will cause the death of PoW Ethereum.

You could argue that you can always fork Ethereum, remove the difficulty bomb, and run that instead. Which is true. Except there won't be economic value in that chain, so there won't be fee revenues to capture which means it won't be profitable to point your hash-power to this forked chain.
“Ability to read in YAML, make changes and write it out again with comments preserved.”

How are the comments preserved in the Python representation? Is it some kind of ordered dict?
Running this kind of stuff costs serious money.

Of course they must see a way to make money with it in the long term.

Like they did with GitHub itself: as a data source for CoPilot ;)
And? Exactly my point, nothing spooky about it. At first you look at it in 4d, then 5, then 6..
It's not hard for a rewrite to be shorter than the original code. (It's also not hard for the opposite thing to happen, even if you don't actually increase functionality, but that tends to be frowned upon).
>What I'm saying is that there will probably be

That doesn't follow. We can always say there's things we don't know, sure, but it's not reasonable to take that as a justification for saying "Therefore maybe X", with the implication that X is somehow likely, or therefore even possible in reality. Maybe fairies. Maybe whatever. It's not a technique that can lead you to any particular conclusion. It certainly can't tell you anything about the probability of something.
Absolutely spot on. I truly don't see why so many people miss this obvious truth.
So, back then, countries were going to extremes like retrofitting electronic typewriters with spying devices, and secretly placing them inside the offices of their enemies, so they could spy on their enemies.

Nowadays, there's no need to do anything so extreme, because everyone everywhere is already carrying a supercomputer with a camera and a microphone, 24x7, and willingly agreeing to install and share a ridiculous amount of information with random apps!
Simple solution: Make it impossible to write 「"null"」
Why would incorporeal beings even have a concept of "meat"?
If the hook can set it, the developer can set it.
There are loads of friendly and welcoming OpenSource communities.

I'm sorry you did not stumble into them, but instead in the few hostile ones. It's a pity that made you give up.

A general tip, I give to people wishing to contribute to OSS is to first watch from the sideline. Read issues, threads, subscribe to an ML etc. Then to ask. Don't just throw in PR or feature request, but ask: is this welcome? How do you work? Any particular details that you wish me to pay extra attention to (tabs, spaces, tests, documentation, design).

As a FLOSS maintainer myself, it can be very intimidating to have someone throw a PR at you that rewrites everything (it comes across as: you suck, your software sucks, but watch me fix all that), or that disregards things that I deem critical (tests, architecture) It is really hard to review it, without coming across as an arrogant bastard. And often software that I put on a back burner will require me significant effort to get back into. So merging a simple typo fix or dependency update might cost half a day, just to get the dev env back up.
There is some good incidental description of the operation of matchmakers within a mercantile community in the Ming dynasty in 三遂平妖傳 ( https://en.wikipedia.org/wiki/The_Three_Sui_Quash_the_Demons... ). In the story, a girl's father, one of the most successful merchants in the area, visits some matchmakers (who seem to operate as a pair) and commissions them to find a husband for his daughter. He gives them money every time he sees them (initially, plus every time they visit his home to mention a candidate).

There was certainly a lot of money available if you could hold the job.

(It's a humorous episode in the story. The matchmakers are overjoyed to be commissioned to find a husband for a girl widely known to be young, beautiful, intelligent, and rich. They bring back offers from a string of A-list merchant scions, which leads to frustration because the father specifically wants to marry his daughter to someone very stupid.)
Paper: Direct photo-oxidation of methane to methanol over a mono-iron hydroxyl site by An, B., Li, Z., Wang, Z. et al. Published in Nature Materials in June 2022.

Publication page: https://www.nature.com/articles/s41563-022-01279-1

Digital Object Identifier: https://dx.doi.org/10.1038/s41563-022-01279-1
Using Photoshop has a much higher skill barrier than typing a fake news headline.