skysight-inc/HackerNews huggingface dataset:
Yes! Thankyou for that. I knew about some of the flags discussed on this topic but not --topo-order.

For my new project I've already decided some months ago to use merges with --no-ff when merging in work by other people, along with a kernel style "everyone gets their own repo" model.

A lot of the discussion around Git workflow is basically noise created by the weak and hardly ever improved GitHub UI. True. They prefer building AI to building better log views on their core product. But, even much more advanced Git clients like the one in IntelliJ don't properly expose all the different ways of looking at git logs, and git has so many flags and options that it's nearly impossible to know them all. Even if one day you spend the time to read the user guide from cover to cover, newer versions will add new features and you won't see them. If the GUIs were better, I suspect all these discussions would quickly dry up.
A Quora answer from a UK based headhunter on this. He argues that if you are an engineer who wants to make money, you are best off going to Goldman Sachs.

https://qr.ae/pGP3SR

That does not say good things about the engineering culture in the UK.
Link to the mentioned Github issue:

https://github.com/microsoft/terminal/issues/10362

I think there's stuff for a PhD in there. Just not in CS.
Accident: Trans/Rhoades B732 at Honolulu ditched about 2nm out of Honolulu
You'd be surprised how many websites continue to work, even if it's a server-side-rendered (SSR)/ html-only version. But you're correct. I should have mentioned: "A majority of the websites I visit", since I haven't got a clue how many websites actually function with/ without javascript. Have you?
On macOS, LuLu: https://objective-see.com/products/lulu.html
Very unwelcome opinion around here.

We could start by stop calling software engineering to 6 months coding bootcamps, letting it for actual 5 years experience being taught correct engineering practices and respective skill assessment.

Then we can start talking about adopting what is still missing from real engineering practices into the field.

Ah, and in the process make companies liable for skipping quality control when everything goes wrong.
No, it cant. Read the damn file you linked. It’s a script that uploads release files to Sentry so it can be used while correlating crash reports, when a release is made.

And nobody in their right mind would ever send crash reports to Sentry from a CI. That’s completely nonsensical.
I always find ironic how the allegedly "communist" Chinese regime managed to create a system that basically has exploited workers for decades, in ways that are much worse than capitalistic countries. It really requires a lot of doublespeak to justify that.
It’s not about coming up with a taxonomy but you might get some ideas from this book:

Lying for Money: How Legendary Frauds Reveal the Workings of Our World
<https://www.amazon.com/Lying-Money-Legendary-Frauds-Workings...>

(Among other things the author specifically criticizes the loose use of “Ponzi Scheme”)
No article required but this smart ass suggests the best way to deal with that is work for someone else’s stupid idea until the money stops and let them worry about it.
Perhaps a more humorous illustration of the same principle:

https://www.youtube.com/watch?v=sAz_UvnUeuU
I disagree. Seeing 100% CPU but a low speed in windows task manager is a strong easy signal that you need to look at thermal issues. Taking away that information makes troubleshooting harder.
It is also ‘truth’ in that moment and adjusting it to some other value based on what the cpu could do (but isnt doing right now) only serves to obfuscate imo.
London tram station opens to public for first time in 70 years
Source? Where would they get the embryo? It doesn't look like this has been tried yet: https://en.wikipedia.org/wiki/Revival_of_the_woolly_mammoth
I grew up in suburbia, but starting in high school just rode my bike everywhere. In retrospect it's hard to believe I survived, taking the lane on 55 mph roads (around northeastern Sacramento suburbs) was really dumb, in retrospect.
That's a small rural road, not a suburban road. Based on my property taxes, if there were no other spending pulled from them, you could repave the 130 feet of road in front of my house about every third or fourth year! And that's discounting my neighbors across the street, who would presumably pay for half the road.
I wouldn't consider Factor a Forth at all. It's more of a RPN Lisp.
Like anything, this becomes easier with practice. Once you get into the swing with a good workflow, it no longer requires thought. Make the investment once, reap the rewards later when you have to track down a regression that was introduced some time in the past year.
Amazing little detail about one of the lander camera lens cap sticking due to the high pressure atmosphere.
> allowing developers to take ownership of ops

But did you raise devs' pay accordingly? Nah, let someone else handle devops - I will focus on dev,thanks.
Perhaps. I could already read well and write a little when I got to school at 4, so I'm perhaps dismissing it due to natural ability and good parenting.
I'll humor you and think of some examples. For fun and humor :)

If you look at history, I think you're in good company.

I think the following people fit this case:

* Vincent van Gogh (no one used his paintings)

* Ted Nelson (no one used his version of hypertext)

* Douglas Engelbard (really ironic when you think about it, made all kinds of multimedia prototypes and it took 50 years and his name is nowhere to be found)

* Ignaz Semmelweis (really really unfortunate, relied on very primitive correlational analyses on childbed fever, got the treatment right -- hand washing -- yet no one believed him while he was alive)

People that didn't make the cut:

* Alan Turing (people did use his Enigma, I thought about him for a second because of how the British government treated him)

* Stanislav Petrov (many people "used" his "product" without anyone knowing, I considered him because still too few people know about this hero)
Long before I ever heard of Strong Towns, probably decade(s) before it existed in fact, I observed a pattern as a teenager in my sunbelt home state in that there was perpetually a band of new development that was the "nice" part of town while previously "nice" areas were left to decay and become the "bad" parts of town.

I didn't know anything about how this was financed nor would it have crossed my mind at that time, but it was quite evident to me even without having ever left suburbia nor lived long enough to see more than one cycle of development that neighborhoods were essentially considered disposable, and it struck me as a bit strange.
In provincial England, I pay my cleaning lady 15.00 GBP per hour (she is very good at what she does, and I'd be lost without her), so 10.00 GBP is pretty low.
For those curious to see the test, the link in huffpost has been moved to https://bullittcountyhistory.org/bchistory/schoolexam1912.ht...
also - been thinking about this. The shit you said about this country was so incisive. I would really be happy to hook you up with some good places to go. And people who would have your back there.
Yes, I'm not convinced that cul-de-sacs are necessarily bad, they prevent residential streets from becoming throughfares.

What you propose with shortcuts for foot or bicycle traffic could be a good compromise.
> > EleutherAI claims to have performed “extensive bias analysis” on The Pile and made “tough editorial decisions” to exclude datasets they felt were “unacceptably negatively biased” toward certain groups or views.

> When I read this, I felt astonished that Eleuther was yet again trying to pose as the cool super-progressive AI lab.

So they traded biases inherent in the dataset for intentionally introduced biases. Does not sound super progressive to me, to be quite honest.

Focus on you research, do not try to be the morality judge and jury…
turbo actually slowed the cpu to 4.77 MHz (the speed of 8086/8088) because early programs's timing logic were based on 4.77 MHz clock frequency
Reminds me of the time I was on a Lisp Machine and did

(trace format)

This causes a line to be printed every time FORMAT is called, showing the arguments it was called with. Well, FORMAT is Lisp's printf -- it's used everywhere, including by TRACE. Oops!!! Time for Ctrl-Meta-Ctrl-Meta-Rubout! (That was the key sequence for an immediate reboot. Interesting how it prefigured the IBM PC's Ctrl-Alt-Delete.)
Jax
Perceptually-uniform color spaces such as CIE L*a*b* (and especially more modern alternatives, such as Oklab [1]) are better for gradients. This page has a simple demo: https://raphlinus.github.io/color/2021/01/18/oklab-critique....

This Observable notebook goes into more detail: https://observablehq.com/@mattdesl/perceptually-smooth-multi...

Gamma is more or less a poor man's perceptual color space, but I don't think it's very useful for that nowadays. There are much better options for image processing that requires perceptual uniformity (which is not everything, e.g. blurring is usually better done in linear RGB), and when you don't need that, I'm not aware of much reason to use it other than limited precision and sRGB being a ubiquitous device color space.

[1] https://bottosson.github.io/posts/oklab/
> >That's not a law. That's a cautionary decision made by those companies or projects to make it more difficult for competitors to argue that code was copied.

> and they made those decisions based on the need to be able to argue in court that code was not copied.

Yeah, but only to make it easier for them to argue it; the letter of the law doesn't require it. You could argue that "Sure, I read Windows source code once -- but that was years ago and I can't remember shit of it, so anything I wrote now is my own invention." That might be harder to get the court to accept as a fact, but it's not a prima facie legal impossibility.

Cautionary decision =/= actual law.
Sorry to be the buzzkill here, but I'll say what needs to be said. Computers are decades away from being able to formalize any serious mathematical results, and "formalized mathematics" is a fancy term for "formal methods in computer science".

I've worked for a good numbers of years in the US software industry as a compiler engineer, and am a Mathematics masters student now. I've played with proof assistants extensively, and in particular I'm currently working on a paper to formalize semi-cubical sets in Coq. Working with Coq has been most painful, and it requires spoon-feeding for verifying even the simplest results. Worst of all, it's riddled with bugs, and I'm constantly astounded at how stupid it is.

That said, Lean is a much newer proof assistant, and while it offers some nice conveniences, it will take at least a decade before its power is comparable to Coq.

Mathematics is a solitary activity for good reason. Much of the work happens on pen-and-paper, and it takes months of toil to prove a result. No serious mathematician is going to go through the pain of encoding her proof in a proof assistant, and spoon-feeding it to verify every little result.

What's the news? That several computer scientists in the area are doing the work of formalizing simple mathematical results in Lean. Don't mistake Lean for some ground-breaking new technology; sure, it has a thriving community, and offers many conveniences, but the level of abstraction it offers isn't even close to the level of abstraction that my subject offers (I study stable ∞-categories).

Sure, if you want to do the thankless work of formalizing well-known results from group theory, ring theory, or vector spaces in Lean, be my guest. But don't be under the illusion that it's going to change the way mathematics is fundamentally done. The work is comparable to type-setting a document, except that it's a LOT more painful.
I’d take a shoddy UI and no spyware over a good UI that’s spying on me despite being an offline application. I’ve used Audacity for years and I shan’t be upgrading until a spyware-free fork is available.

Ultimate Guitar have a history of abusive behaviour towards open source projects and I sincerely hope this is a PR catastrophe for them.
Bad Gateway
> about the engineering culture in the UK.

I remember reading an article here on HN within the past year (lost the link, sorry) that ascribed it to traditional/establishment UK managerial thinking that all departments of a company, including engineering, are strictly subordinate to management. Consequently engineers of any level won't be involved in managerial discussions nor to set the direction of the company. Management wants people they can give orders to and won't have to listen to, and who they can sack if management's ideas fail, and keep the rewards for themselves (naturally). Of course the inherent problem with that approach is you lose-out on good ideas for the company's direction from engineering, and miss important early feedback.

Whereas my experience working here in the US, the west-coast, at least, is that eng is part of the decision-making processes at every level - though my experiences are necessarily limited as I only really have direct personal experiences with software-engineering companies - but I see that other west-coast companies do take their own SWEs seriously - take Nordstrom for example, they still run their own e-commerce division instead of just farming it out as other retailers would do - not to mention Amazon.
Bit rot is real. Last month we’ve had weird linker errors on one of our build servers. Turns out that one of the binary libs in the build cache got a single bit flipped in the symbol table, which changed the symbol name, causing the linker errors. If the bit-flip had occured in the .TEXT section, then it wouldn’t have caused any errors at build time, and we would have released a buggy binary. It might have just crashed, but it could have silently corrupted data…
Didn't really answer the question.

Private jets, political access, collector art, celebrities for private performance are known things. I was expecting some form of transactions or commodities that weren't thought to exist.
The human family tree, it turns out, is complicated
In case you're interested in dealing with the data yourself, consult https://scrippso2.ucsd.edu/osub2sub-data.html to identify CSV files, and try e.g. the following to plot a timeseries in R, and to show the results of linear and quadratic fits.

url <- "https://scrippso2.ucsd.edu/assets/data/o2_data/o2_daily/altoav.csv"
d <- read.csv(url, comment.char='%')
year <- d[,7]
O2 <- d[,3]
plot(year, O2, type="l")

# Linear fit
m <- lm(O2~year)
abline(m)
summary(m)

# Quadratic fit
m2 <- lm(O2~year+I(year^2))
lines(year, predict(m2), col=2)
summary(m2)
While that is true on a higher level, individual cities don’t have tools like printing money or ultra-low interest rates available to them.

If you have a look at how municipal debt is rated, you’ll see that the rating agencies rely on projections of growth to determine how creditworthy a city is. It’s of paramount importance to spend borrowed money in an efficient way if the city expects to borrow more in the future.

https://www.fitchratings.com/research/us-public-finance/fitc...
An equally valid, AFAICS, way of looking at it is that "intellectual property" covers nothing but thoughts, only expressed in different forms.
I have one more rule in my house. "Making mistakes is allowed and encouraged. provided you recognise the mistake and try to learn from it"

I hate seeing kids get paralysed by fear of failure. I want my kids to try and fail, it's the fastest way to learn and succeed.
'Lakes' under Mars' south pole: A muddy picture?
SoftBank is in talks with Revolut about injecting $1bn for a $21b valuation
I'm really looking forward to read this article, I've longed for an article about this for a long time. The problem becomes noticeable when for instance comparing colors on web apps with different screens. The colors can look different on the different screens, or if you use color profiles then the colors look different on apps that support it vs. apps that don't support it.

To my surprise the New Relic NRQL editor in light mode which heavily relies on highlighting for editing is hardly usable on my dated LCD screen which doesn't have a color profile I guess. (Safari supports color profiles actually) Luckily there's now the dark mode option...
There's an excellent online book that introduces Coq and how to use it for verification of programs: https://softwarefoundations.cis.upenn.edu/. There's also a more advanced book, http://adam.chlipala.net/cpdt/, that goes into more detail. In comparison, Lean has little teaching material for formal verification of programs.
Appgain Mobile Marketing Weekly News Digest – Issue 7 – Google Postponed
The investigation on Forensic Architecture's page can be found here: https://forensic-architecture.org/investigation/digital-viol...

The website features a platform for exploring over 1,000 "NSO-related activities, and demonstrates new connections and patterns between ‘digital violence’ using Pegasus and real-world violence directed at lawyers, activists, and other civil society figures":
https://www.digitalviolence.org/#/explore
While housing is extremely over priced right now, it is also important to note that a "standard home" has changed ALOT.

My Grandparents raised 4 children in a 2 bedroom 1 bath 900 square foot home, which was a "standard home" in the 40/50's

Today the standard home is 2x the size with more bathrooms, and larger lots. This is a source of alot of the problems as well. When developers build a subdivision they are not building small homes, they are building 4 bedroom, 3 bath, 2,000 square foot homes

Overall The World Is Becoming a Better Place [1]

https://www.youtube.com/watch?v=4J5s6aZCPSg
Finishing the post with, paraphrasing, "I don't want to be rich because I met a rich person who had a special needs kid", makes this seem more mind-wandering fiction as opposed to actual information
The question is more, did Microsoft train the copilot on their code repositories? If there are no copyright concerns, why not train it on the Windows code base? Should be a treasure trove of good code to train with.
We reassigned time. It’s not like you work 50hrs instead of 40.

At the time of Agile I used to hear managers say it’s a way to stress the developer more and make him work longer. No. Agile a way to relieve stress and improve adequation using tighter feedback loops.

Same for DevOps. DevOps is a way to close the feedback loop so developers don’t just throw the binaries over the fence and let sysadmins deal with stacktraces (by submitting a Jira ticket obviously). You’ll then be incentivized into developing production-proof software and prove it by supporting it; while you have other colleagues developing other features.
In extension to what the other commenter said, critical temperature that is listed is usually higher than the maximum operating temperature so it is safe to run at the maximum.
Can LSD Treat Food Allergies? We Don’t Know, but It’s Already Been Patented
Is there actually a mapping to downsample colors so that the mapped colors are visible on any screen? (Assuming there is a minimal common intersection on the color space)
Health insurers are threatening not to cover some patients’ ER bills
Jeff Bezos flees CEO position to make last-ditch effort to beat Richard Branson into space!
I mean is there any doubt at this point that youtube would censor heliocentrism as misinformation if this was a certain year in the past? Not just censor but censor heliocentrism in the name of "science".
TFA also includes Windows 10. It turns out that Windows 11 is slightly faster than 10 in many tests but both are slower than Ubuntu.
I am a research intern working in a group studying and developing formal methods. The tech we are working with has served to verify planes, trains and has been used in NASA. AMA if anyone here is curious about how the world around FM works.
... at the price of the human colony muttering the words "don't forget to comment and subscribe" as a farewell ritual.
These are state actors, for all we know they might even have their own personal Android backdoor.
I am used to ‘bit rot’ refer to code becoming obsolete due to lack of maintenance. Can’t we use another term for actual hardware errors?
See Scientific American blog post [1] which has a drawing from the paper author.

[1] https://blogs.scientificamerican.com/tetrapod-zoology/goanna...
With all due respect, I think you are mixing apples and oranges here.
"TLA+, Z3, constraint-provers, and cutting-edge languages like Haskell, Idris, and so on" is not exactly the bread and butter of IT work nowadays, so why do you think it is appropriate to compare it with "VB6, lol"?
This is just not accurate.

"I find it absolutely insane that interactive proof assistants are now at the level that within a very reasonable time span they can formally verify difficult original research." Peter Scholze [1].

[1] https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-...
Although overall the US is more expensive that the UK, albeit not by much.

Sources: https://www.numbeo.com/cost-of-living/compare_countries_resu...

https://www.investopedia.com/ask/answers/100214/what-cost-li...
What? An African or European CPU?
> it seems as the intent of Muse Group was to be as legally compliant as possible.

They deliberately and unnecessarily put themselves in a position where legal compliance could mean betrayal of their users.
Fortunately Netflix charges extra for their DRM-crippled 4K content so you don't feel like you're missing out if you prefer open computing platforms.
Animal culture, aka knowledge and behaviors passed from generation to generation, exists but is way simpler than human culture and societal progress. It feels to me it can be recreated much more easily.
The Howard-Curry correspondence only applies if you stick to constructive maths. This means all your proofs are also programs (and computable) for free. E.g. if trying to prove "blah(x) = blaz(x)" for a fixed x, where blah and blaz are both computable predicates, then the proof can be solved easily just by evaluating blah(x) and blaz(x). This can't be done if blah or blaz isn't computable.
Ahh. yeah I had to google Petrov, but I've read his story before. And why don't I know his name? Without that guy, none of us would be alive.

So what you're saying is that lots of people are underappreciated in their time. That's cool. I just want someone to buy me a beer once in awhile.
The noose is coming. Nuremberg 2.
I used to think this way. Now I think that we as programmers already suffer from too much information.

I spend considerable time these days making my commits as clear and readable as possible, and between rebasing, squashing and amending messages, it's quite likely there there might be dozens of intermediate commit IDs for every single commit ID that enters the repo.
I love to work hard but 9am-9pm 6 days a week and not be able to afford a house is absolutely crazy.
John Lewis is a great example of a socialism-inspired (employee owned , workplace democracy) that ironically mostly caters to the upper-middle class.
There's no argument for any other method, really.
> I'm not saying "strive to be a prick because then you can be a great artist". I'm saying, separate the prick from the art, because if you don't, you have no art and you still have a whole lotta pricks.

I love the way you’ve put this, couldn’t agree more! I really do believe that we lose a lot as a society by failing to separate works of art from their artist. Once something becomes part of culture it belongs to us all, not just the artist. You can’t undo a work of art any more than you can put toothpaste back in the tube, and nor should we seek to when it turns out an artist is a total bastard.
15 years ago, coal was cheaper relative to PV. PV had roughly the same average compound growth rate then as now.
* more dumb.
Great, thanks for sharing these. When I read the OP I initially started trying to apply the filters in uBlock by myself. But I couldn't figure out how to remove recommendations but keep search results (kinda essential) visible.