skysight-inc/HackerNews huggingface dataset:
Do Amazon actually write their own HOL-based prover from scratch?
Could be the 30 most influential companies in Germany.

It's like when FAANG comes up with a new cool shinny tool (MapReduce, React, Tensorflow). Even if not everyone is using it, your will see articles saying "The tech industry now uses [insert shinny tool]" even if most of the companies are running [insert old tool].
That's a very good point, but merging in three years of changes would also have pulled in a lot of minor performance changes, and possibly some incompatible changes that would require some code updates. That would slow down each bisection step, and also make it harder to pinpoint the problem.

If you know that some small set of recent changes caused a 7% regression, you can be fairly confident there's a single cause. If 3 years of updates cause a 6% or 8% regression (say), it's not obvious that there's going to be a single cause. Even if you find a commit that looks bad, it might already have been addressed in a later commit.

Edit to clarify: you're technically correct (the best kind of correct!) but I'd still much prefer to merge 3 weeks rather than 3 years, even though their justification isn't quite right.
If you're only looking at English generation, and focusing on the limitations, you're missing the bigger picture. The AI revolution is about the fact that we have now have the ability to produce ChatGPT level of thing, but for all of the kinds of data that companies have, not just English text. The idea isn't that it will replace the employees, but that the employees will be augmented by AI and be able to be way more productive. What executive hasn't wished they had 10x the people on a project at a fraction of the cost. The allure for a CTO isn't about LLMs, it's about resource management.

staring at the hallucination problem is missing the forest for the trees. yes it's a problem, but holy shit, the thing generates essays as fast as the GPU can dot-product and matrix multiply. CTOs are buying into the idea that we've invented cars, when before we were just looking at a faster horse.
the more reasonable assumption is that it uses a third party crawl service.

but still, it doesn't matter, it's acting on behalf of a user, and you aren't entitled to know what software your users run. One consequence of putting stuff on the public internet is that it's like public.
The PM-3As problems could probably have been solved with enough gained experience.

I'm hopeful because the DoD plans a similar program like the PM-3A was to provide nuclear energy for military bases (project PELE)
The huge difference is the lasting time. Few days or a week the water has gone and you can start with repairs/rebuilding. But after a nuclear disaster all is polluted for foreseeable future and not usable even if all infrastructure and buildings are intact and look safe.
>> Now compare this to the Moon.

Colonizing the Moon makes absolutely no sense and it's fascinating to watch otherwise rational people with decent science educations contort themselves into believing otherwise just for the sci-fi trope of living on the Moon.

Maybe in 50 years the Moon can be colonized by machines, but for humans if they really want to experiment with self sufficiency, they can try building Biosphere 3 in the Sahara and see if they can survive for a few weeks without constant support from the outside.

https://en.wikipedia.org/wiki/Biosphere_2
To add, free trade too.
> That was very progressive and Green, then.

Was it though? Or was that just what the companies pushing it said?

My recollection of that same period in history was that it really took off as a result of the 1973 oil crisis and not because it was especially green.

https://ethanolrfa.org/media-and-news/category/blog/article/...
Then how is this valid?

>In gambling you expect to come out behind in the average case.

Casino usually wins :)
Here in the UK, we have a problem of disreputable businesses - I'm not sure that they're actually illegal - charging fees for government services

They aren't really providing a service, but they're getting between confused people and public services

Consumer finance journalists complain a lot about their sites appearing before the real thing in search results
The least they could do, which they don't, is log a console warning when a quirk is activated.
In today’s rapidly evolving technological landscape, facial analysis has become essential across various industries, including security, healthcare, marketing, and customer service. This blog post explores the best solutions for face detection, recognition, and verification, highlighting cutting-edge technologies and their practical applications. We’ll review top tools and software that offer unparalleled accuracy and efficiency, enabling businesses and developers to enhance their systems and stay ahead of the curve. Whether you’re looking to implement these technologies in your projects or are simply curious about the latest advancements, this comprehensive guide has you covered. Read on to discover how these solutions can transform your approach to facial analysis.
But none of those differences are especially interesting. They certainly don't matter much for the ecosystem, and have no impact on web developers. All the major engines have comparable performance. And the differences are dwarfed by what they must do the same, because the way web tech works basically only allows one implementation architecture.

If you wanted to innovate in browser tech you'd really need to leave the specs behind. SCIter is an example of such an engine. It exposes APIs that are useful for app devs but that regular browsers don't have, for example it provides the vdom diffing algorithm React uses but implemented natively.

Even better if your browser can go beyond HTML and enable fully different ways to do apps and documents. That's the only place where design decisions can start to have a big impact.
Genuine People Personalities certainly worked out well for the Sirius Cybernetics Corporation, why not try them on Earth too?
I hope stuff like this makes AMD more likely to invest in RISC-V.

An AMD high-performance RISC-V cpu that is affordable would be awesome.
number6 hints at it, but fyi once you’re through your probation period (standard is 6 months) in Germany you can request a reduction in hours for a pro-rata reduction in pay and it’s quite difficult for the company to turn down the request because of it being enshrined in labour laws.

A few in my (tech) company have done this over the last while and it’s been great for me so far. Definitely wouldn’t say no to 100% salary for 80% time as in the trial but for those with developer salaries and the cost of living (where I live at least) I think most could live and save quite comfortably with the reduction, definitely recommend it.
ROS [0] always seems an essential layer if there is ever to be a
common ground between something as concrete as motors and sensors, and
something as abstract as tasks and learning.

[0] https://en.wikipedia.org/wiki/Robot_Operating_System
A distinction without a difference. Corporations and authorities owned but the state are state agencies, the confusion on this point is a feature by their investor, Robert Moses, to give himself maximum power and minimum oversight.
As to state control over the city- it's in Title IX of the NYS Constitution
You mentioned Arq being better than Time Machine. How do you actually use it ?

My personal use is Time Machine for local backups, and Arq for remote backups. My reasoning is that TM is built in, and allows me to rapidly restore my machine in case of disk failure.

I've always found Arq to have a rather clumsy restore dialog, and you need to create a temporary user account to restore your normal user account, or at least you needed to do that last time i checked.
Debugging a Memory Leak with FreeRTOS
Adobe cannot be trusted. They force you to agree to the ToS even to stop using their apps!

You cannot even uninstall Adobe CC apps without using the Creative Cloud app, and you can't use the CC app without agreeing to the ToS.

I used CC mostly on my mac studio, but I had it also installed on a older windows machine.
I have cancelled my subscription, then cancelled my account; I had to agree to the ToS to uninstall them on mac studio. I discovered now the old installation on windows and I want to get rid of it, but I don't have an account anymore. I am stuck unable to uninstall their apps on all my computers and the software they provide to do so doesn't work.

On the one mac where I uninstalled it using their tools, it actually kept their software hidden on my machine and tried to reinstall it (found out via osquery). This is very shady behavior. Their installation software is basically a spyware.
Lots of red flags here.

To start, in the 99% of the times this question can be answered with: no.

I bet that the man being promoted here as the best thing since the invention of Banjo, didn't discovered the effect of chemical gradients in Embryology. (I don't know everything, and I could be wrong. I'm open to discuss his published scientific articles in the field).

That the same process that makes your arm will be repeated later to build each one of your fingers is known since many decades ago (count the number of articulations, is always car, car plus a cdr). See the video of U2 "Even better than the real thing" for a graphic representation of the idea. Yes, this is how it works basically.

> Take 10 identical fertilized eggs and put them in 10 different people and you'll get 10 different humans

You can bet it. This big claims always worry me. They either reveal a basic lack of understanding about biology, or are predatory and directed to select people that don't understand even the most basic concepts on Biology.

An spermatozoa can be used just one or zero times. Period.

There is not such thing as "10 identically fertilized eggs put in the same woman will get exactly the same human ten times", because is impossible to find 10 genetically identical spermatozoans and 10 genetically identical ovules to match them. Each time meiosis happens what you have is a similar but genetically different cell
There's something odd about the four-day week movement; they'e always unable to be honest in their headlines. Germany is not trialing a four-day work week.
It can be not just metadata. There are plenty of ways to hide 128 bits of ID in a long enough pdf. White rectangles on white background, slightly non-black coloured pixels here and there, you name it. Many can even survive a print-and-scan.
We live in a time when there are many more alleged machine learning roles than real ones.

I'd argue that if you are not spending >50% of your time in model development and research then it is not a machine learning role.

I'd also say that nothing necessitates the vast majority of an ML role being about data cleaning, etc. I'd suggest that indicates that the role is de facto not a machine learning role, although it may say so on paper.
You appreciate "calm, clean nature" from the perspective of a technological civilization with most of the basic needs met. On its own it can just be a lot of boring nothingness with or without back-breaking labor.

Perhaps "optimizing for time/money" is as much who we really are as slow living and you're just ignoring the other half.
> what sort of evasion technique is being used here

Using a user-agent that looks like a desktop user-agent, rather than including the name of the actual project/product that is being used.

I understand why though, plenty of websites block anything that looks like non-desktop/mobile user-agents, so makes sense. Besides the pragmatic reason, I also agree with menacingly that it doesn't matter, people should be able to use whatever user-agent they want to access the content you've put publicly on the internet.
Someone once told me something thought provoking - we as a species have never spent so much time away from touching the ground, it's almost as if it is lava.

We spend 1/3 of the day sleeping in beds, raised off the floor, sometimes in apartments 10s of metres away from the ground.

We spend 1/3 of the day working in artificial offices, sat on chairs, 10s of metres away from the ground.

The other 1/3 of the day we may be sat in cars/ other transport raised from the ground, sat at tables, sat on our sofas, in our flats doing chores etc. Even if we are walking from A to B, if you are a city dweller, you're probably still walking on tarmac separated with the rubber soles on your shoes.

He then asked when the last time I touched grass or soil with the soles of my feet (or even with my hands). At the time it was about April in London, so just coming out of winter. I think the last time I had honestly walked barefoot on grass/soil was possibly September - and I LOVE the outdoors, go running/ hiking often, very active lifestyle etc.

We have grown so far away from how we evolved, so quickly, and most of us are completely unaware of it. So yes, I ditto your comment - modern society, its stimulus and it's constant FOMO orientation, is absolutely causing our issues today.

I couldn't afford to buy a property in London with a garden to address this issue, so subsequently moved up to North Leeds. I now ensure I am outside in my bare feet at least once or twice a week regardless of the weather. This morning I spent five minutes walking through a stream barefoot to the base of a local waterfall, listening to the birds, playing with my dog, feeling the nature, and wow do I feel happy and focused today as a result. Megacity life if killing us.
HK Island and a small part of the mainland was actually ceded in perpetuity, though the majority of the land area was leased.
Video from the talk at OpenFest 2023: https://www.youtube.com/watch?v=q4TZxj-Dq7s
DeGoogling 2024: Replacing Photos, Gmail, and Search
Ramses II's long-lost sarcophagus has been identified
Here it is: https://www.youtube.com/watch?v=q4TZxj-Dq7s
flat requires more maintenance but it's worth it, social media uses threads to actually hide discussion and reduce moderation needs
Sci hub is so good. Im a university partner and have accesses to a top research uni's library. I use Sci hun because logging into Elsevier is a massive PIA.
It could be, but it's not. According to LinkedIn, that one construction company they name has about 50 employees.

If it were the most influential companies in Germany, that "over 1,000 employees" number would've been orders of magnitude bigger.
Be serious 2 seconds ! They can't afford the housing you're referring to anyway and the city economy would shrink too and then you'd complain about that...
> no doubt this is not GDPR compliant.

Unless the project is open source, no doubt you cannot know this. If they don't store any of those details anywhere (including not in logs) but just pass it along, GDPR won't apply.
5. ???

6. Keep all the possible steganography in kerning, colours, line spacing and what not.
No[0], default= is inserted into the DML queries by the client. A DDL DEFAULT clause is only generated if you set server_default= instead.

[0]: https://docs.sqlalchemy.org/en/20/core/defaults.html
On the one side, you have clean amateur athletes with the best intentions and legitimate medical exemptions who just want to compete. They're willing to tolerate a surprisingly large (but still limited) amount of hoops to jump through to certify that they're clean. On the other side, you have amoral nation-state level actors who just want at least a few of their athletes to win at any cost. In the middle, you have a testing and enforcement agency with limited resources tasked with discerning which group each athlete belongs to. I'm not convinced this is a problem that has a solution.

It's just like an overbearing IT department preventing senior engineers from having sudo access to their laptops or from using an SD card to transfer data to the new 3D printer. IT is tasked with asking "but what if our top engineer is actually a deep-cover agent for Mossad?" and that's going to lead to bad outcomes for their actual engineers most of the time. Or just like dealing with a payment processor who won't tell you why your account is suspended or transfer your funds - their opaque and non-deterministic fraud prevention algorithms are there to fight money laundering, and being fair and just and transparent with will compromise their ability to satisfy their primary objective.

Imagine someone with 1000x the resources and 0x the conscience of Lizzy wanted to cheat. They'd have a whole team of rulebook experts. They'd have agents inside WADA and their national sporting group exfiltrating data on what was being used and what was being investigated and pushing for policies that advanced their agenda and also interfering in the ability of the organization to do their job. They'd have their own lab testing athletes and supplements to find the exact threshold of detectable compounds that just squeaked under any published minimum reporting levels.

Can an amateur like Lizzy effectively compete in this environment without devoting an enormous amount of resources to avoiding anti-doping findings? Probably not. That sucks. But I don't see any way around the conclusion.
That's a great link about what's happening with grid-scale battery storage ("giant batteries the size of shipping containers"), supporting solar and wind power replace other source of energy in states like California, Arizona, Texas, Florida.
Safari on MacOS is really nice, fast and offers everything I need... but every 3 months or so I stumble on a website that refuses to work at all - rendering looks off, buttons don't work etc...

Switching to Chrome usually fixes it - but I always question my sanity for about 10 minutes until I try it in Chrome.
> easily

That can be easily rectified by building energy conservation facilities for wind (and other renewables) instead of halting wind generators.
> they will decrease your payment accordingly

Well of course, I don't think anyone expects to work 4 days and keep the full salary and the same accrual of holidays.
Amusingly, the Kindle edition isn't sold in the UK.

Transatlantic commerce has been foiled by copyright.
Why are you saying this? It is a message from people who program robots to those who design robots. Both groups are (mostly) made up of professional engineers for which API design affect their job.

It is not an article intended to those who know nothing about robotics and are unlikely to become roboticists as it would be the case for a "discovery channel" type article. Note that I have nothing against pop science, quite the opposite actually. But this isn't that.
Sure, but the idea usually is to work less hours for the same pay, if productivity allows for it. And many sectors have seen increased productivity, but the benefits went to shareholders instead of workers. Not advocating for communism or for seizing the means of production.
HK01 Investigation: Desertification of Hong Kong Container Terminals [video]
Also pretty much all of the claims in the last few paragraphs are entirely unfounded, we simply don’t have even remotely enough information to make any of them…
It's easy to forget that science has found many conditions that affect the brain that, because science can easily treat or prevent them, we no longer consider to be mental health conditions. Off the top of my head, hookworm, syphilis, lead poisoning, various vitamin deficiencies, various prion diseases, thyroid diseases, sleep apnea, ergot poisoning, fetal alcohol syndrome...

Sure, there are almost certainly many cases of anxiety, depression, and ADHD that are not amenable to "You have a chemical imbalance, here is a pill to fix it, get on your way." However, society has reaped enormous rewards from the idea common mental issues may have simple and understandable causes that can be treated or prevented in unfeeling, cookie-cutter fashion.
I thought Apple open sourced parts of it? "Darwin"?

https://github.com/apple-oss-distributions/distribution-macO...
Sure, but my question is what does evolution try? If it is full random, then it will TRY much better and much worse mutations as well, so will go back and forth, and will take a lot of time.
If it is not fully random, e.g. it is not not able to try big changes, then what is the thing that actually determines what is "feasible", BEFORE trying it out.
The website ("Welcome to the Jungle") seems to be a recruitment/media company, are they some sort of grassroots movement for "four-day week" but they hide this fact?
linux-vdso.so.1 isn't a real library you'll find anywhere in the file system and it's not referenced within the ELF file, so libtree doesn't know about it. Instead it is mapped into the address space of a newly started process automatically by the kernel. It's an optimization feature to avoid syscall overhead for function like gettimeofday. See https://man7.org/linux/man-pages/man7/vdso.7.html
Neat, question is if any of the browsers actually have had time to make use of it though?
> “Considering how much information we provided them and how proactively we did it, it is unclear why they made such a decision.”

It is because you uncovered the backdoor, stupid. They worked hard to hide it. /s
Indeed. Another fact you can use is that in Newtonian mechanics (although not in GR due to frame dragging, only approximately), a rotating spherical body has the same gravitational field as a static one. So there would be no mechanism for the axially tilted rotating Earth to influence the Sun (different from a non-rotating Earth).
I have zero empathy for them too, but this is still just stupid even assuming that this company is VC funded (most aren't).

Most of us do not go to work to warm the seat in exchange for paycheck and poor performers are devastating for morale. It's difficult enough to manage how people perceive themselves with relation to others and their compensation and you do absolutely no favors to anyone with making this even more complicated by having a visibly incompetent employee being over-compensated.
Not in specific. Most European parties (including ECR) have many national parties as members, and don't campaign on specific issues themselves. They have general principles they agreed upon. The relevant one here is "ECR Party understands that open societies rest upon the dignity and autonomy of the individual, who should be as free as possible from state coercion."

You'd have to look at the campaign programs of the ECR-member national parties, and likely ask the MEPs directly. My experience is that they highly value privacy.
I was recently surprised how bad Google results had gotten. Way back when I used Python heavily a google search would return results from python.org. When my kids were learning python for uni I told them the python online docs were great, but my daughter disagreed. I asked her to show me what she meant and she showed me her google search - the first page of links contained no hits for python.org results. She thought python online docs were crap like geeksforgeeks. It was one of those moments when you realize the world has changed around you since the last time you looked.
I agree with this, but that's just extra compensation for having to interact with lawyers and the possibility of losing or getting stuck.

So the customer-facing business can very often accept a deal when it's still cheap by not growing extra transaction costs aroung you. Come to think you, lawsuit decision is basically a deal you can't refuse.
Why not? Shouldn't technological advancements lead to less need for human labor?
Why is this link dead for me?
> "bottom" which in those times was slavery

Slavery was a legal status. There were plenty of poor laborers with no property in Roman cities..
IF every package in the monorepo is forced to use the same exact version then there would exist literally thousands of these teams, even tens of thousands, which I doubt

I don’t really believe if I go to 500 Google owned websites I will find the exact same version of angular everywhere