skysight-inc/HackerNews huggingface dataset:
Ok. That makes sense.

But that also is not my individual responsibility. Why should I bother about TikTok or My Huawei router? On a geopolical scale that makes no sense.
Yet at the same time, I am directly impacted by privacy infringements or malevolent compliance (cookie banners) by privacy infringing companies from the US or the EU.
Groups like the IMF recommend different pricing floors for low income, middle income, and high income countries:

https://www.imf.org/en/Blogs/Articles/2022/05/19/blog-why-co....
Maybe they used a dartboard.
I know this is way too common in the LA area. I would be curious how much of these happen in different parts of the country. I would assume LA is more than half of these thefts.
Totally valid concern!

Retriever.corgea.io is actually hosted on Github pages (do a CNAME check to see).

https://mxtoolbox.com/SuperTool.aspx?action=cname%3aretrieve...

You can see the canonical name is corgea.github.io which is the domain for GitHub pages. But, to counter my own argument, does this really prove that this domain is actually pointing to the OSS repo? No, other than we're not here to lie to anyone, I'm happy to show that updates made to the OSS repo show up on Retriever.

Otherwise, you can totally run Retriever on your machine and have peace of mind :)
A bribe doesn't have to involve a government official.

A bribe requires three entities:

- the one paying the bribe (in this case the paper's author)

- the one receiving the bribe (in this case the journal editor)

- the one that actually provides the benefit (in this case the company that owns the journal)

What makes it a bribe is that, instead of paying the entity that's providing the service, you're paying an agent of the entity.

If you pay Harvard $1MM to admit your child, that's not a bribe. It's just a transaction. If you pay a Harvard admissions officer $1MM (to their personal account) so that they admit your child, that's a bribe.
I loved that isometric Batman game. I spent an enjoyable 3 weeks of after school hours beating it on the Amstrad. It was just so … weird.
It's a bit more than 8kB, but if you like unexpectedly dark animated movies about sheep I recommend the Blender Foundation's open movie Cosmos Laundromat[0]. Their movies always seem to be weirdly dark for tech demos for some reason. I thought this one in particular came out really well.

[0] https://www.youtube.com/watch?v=Y-rmzh0PI3c
Beautiful, I love it, congratulations! I started my programming journey with Basic on a ZX Spectrum +, then Z80 assembly language, then 8086 and the rest from there... 40 years of programming and my appreciation for my original platform is still there. Thank you for the tribute.
> You can't measure developer productivity objectively, assuming you're referring to metrics like lines of code, number of pull requests, or velocity points which are infamous. There's broad agreement on this both within the research community as well as practitioners at leading tech companies.

No those are metrics you’re suggesting. There are better ones as someone else mentioned (time to get code from PR to production, some way of measuring the quality of work getting to production, etc). Yes, the obvious metrics are poor and better metrics are difficult to measure and quantify. And obviously no single metric is going to capture something as multidimensional as code development.

Also, the link you reference doesn’t support your argument.

> Across the board, all companies shared that they use both qualitative and quantitative measures

Throughout it discusses that people do use quantitative metrics to help guide their analysis and none of them try to do the obviously naive ones as mentioned.

This isn’t intended as a critique, but as an engineering profession anything that isn’t quantifiable means it’s open to interpretation and argument weakening forward progress to be restricted to what becomes adopted as industry standard which is in many ways more of a popularity contest of fads rather than concrete technical improvement.
Not sure why you're getting down voted. Honestly, I don't find Trump funny, I find him and his ilk terrifying. There's not a whole lot to laugh about there. And who can be convinced? Are there really people on the fence?
Warming Up for the Next Solana Global Hackathon 2024
Demoscene videos are pretty fun and criminally under viewed.

https://www.youtube.com/playlist?list=PLRQwR4-_0PR9HBI_GZs1n...

I wish there was a channel like retro game mechanics that break them down with good visuals.
> Because that's not what a CEO does in any case. At this level of management, especially in those huge company, you are so far removed from the craft that it is really irrelevant if you have any experience in it.

An engineer CEO is going to value different things than a non-engineer CEO.

If your anecdote says anything it's more about where is the pressure coming from that caused an engineer CEO to behave like a non-engineer?
I'm not disagreeing with your overall point but this reads a bit like victim blaming. "Those sexy trains were manned so skimpily, and going down those long routes all alone at night, they were just asking for it!"
I actually shed a tear reading this article. Mostly from LOL or maybe from my allergies.

First - pretty sure that if investors require that info to receive investment, a company seeking that investment will provide it for them. It sounded to me like this "VC" is picking up shares on the secondary market from owners of the stock desiring an early exit - not necessarily the company wanting investment. Caveat Emptor.

Second - until that company becomes public it's value is more like the state of Schrodinger's Cat rather than a knowable value - it is simultaneously alive and dead;O
I gave this a shot and was shown

> We have analysed 68 links on your website and haven't found a single issue.

I'd love to see what this actual list of links was, even if they weren't broken.

I'm partially curious because I personally use lychee [1] for this purpose, but when I run lychee (even while ignoring several classes of links), it is checking
_significantly_ more links. E.g., the output looks like:

> 1401 Total (in 7s) 1361 OK 4 Errors 35 Excluded

Curious to understand what it is checking that Bernard is not.

[1]: https://github.com/lycheeverse/lychee
I think a good first step would be to repeal the law that allows the federal government to deem a strike by rail workers "illegal" so that those workers can fight for better conditions.
Tested on various open-source related websites, and while it is usually correct. I found that for lichess.org all dead links were false positives. Spurious connection when scrapping or block from the website, I don't know.
This is why I spent so much effort trying to procure a Brother printer that for my needs a while back; most printing brands are selling you subscriptions, overpriced resources, and/or some form of lock-in. Every year it gets worse too, so this headline comes as no surprise.

I'm incredibly happy with my MFC-L3770CDW and I'm so glad I spent the effort tracking it down.
They blur people from view with street view so it isn’t quite the same.
When insurance gets expensive enough, the companies involved will put forth the needed effort to fix this.

Until then, this is a no-op.
I considered building something like this an year or to ago, and was put off by a few things - marketing, the need to deal with Cloudflare and the like (a lot of potential customer's websites re entirely behind services that block bots) and all the things you mention too.

I really like your blog and find it encouraging with regard to other ideas I am thinking about.
Do we have a precise definition for what "DevEx" means?

Talking about productivity by itself is already pretty hard, trowing "DevEx" into the mix seems to me like the perfect recipe to sell snake oil.
2023 Gems of the year winners (Obsidian)
Sure. “Apple is doomed, dying anytime now” is a never ending meme, I guess.

I wouldn't bet on Google. No new hits in 15 years, lost its AI edge and even search is tanking.

> With online subscription related rants with Adobe ans SAAS, just wait

We have been waiting. I've been trying to use GIMP for more than 20 years. Creative Cloud SAAS has successfully been holding the market hostage for more than a decade. We all hate Adobe, it's just that there's nothing that even comes remotely close. It's that bad.
I'm curious about your use case?
If you want your program to work on more than one architecture+compiler combination, then implementation-defined is effectively the same as undefined.
UnitPackPower gets banned from the UK [video]
Zed might be faster but Sublime Text at least runs on Linux, so it wins for me.
I’m not playing anything.

Maybe venting a bit.

And since your reading… :-)

I honestly think (and am annoyed somewhat) that asking for statistics/study (popular on HN), or citation (even more popular on wikipedia), became convenient way to shut down discussion or dismiss opposing viewpoint.

Hypothetical example with a bit of exaggeration that illustrates what I observe frequently: personA:“people go to work in the morning”, personB: “study/citation needed”
Careful, there: 5% of the people arrested or cited. That is not the same as 5% of the thefts (one would expect the professionals do more than their share of the thieving) or even 5% of the thieves (one might believe that pros are less likely to get caught).
You get NaNthing.
The Best Hotel Breakfast in Every Capital City
Imagine the havok someone could cause by messing with the drugs taken by White House employees at all levels. There is so much potential for gain - just slowing response time on an important day for your mission, much less confusing it, causing critical staff to be out sick, etc.

More generally, sometimes I wonder about supply chain attacks on the White House. If the requirement of security is to make attacks more expensive than they are worth to the attacker, how do you secure the White House where issues are existential to many people and/or regularly worth trillions of dollars? Yet people in the White House must live normal lives, and have plenty of abnormal needs too (being the White House). The government can't custom manufacture everything internally from raw materials, nor secure every supply chain, so how can they secure the White House?
I also remember that there existed cool loaders that were able to paint the image in arbitrary order. It was pretty impressive because it required doing calculations in the tight loop which calculated the delay between slopes of the signal which came from tape.
Meta comment: this is the second comment within a couple of weeks that's critical of Scientology that's fairly quickly attracted down votes.

Ironic?
An operation like that is not going to be simple, I would not say it's akin to developing your own nuclear bomb but If you have some serious funding your can plant bombs just the same. It's not something that your isolated 30 men terrorist group will pull off.
> it's not illegal to use data to train a model

That's not at all settled law. AI companies are hoping to use the fair use exception to protect their businesses, but it looks like it will soon be clarified the other way.

Wired summed it up: "Congress Wants Tech Companies to Pay Up for AI Training Data"

https://www.wired.com/story/congress-senate-tech-companies-p...

And Ars wrote "Media orgs want AI firms to license content for training, and Congress is sympathetic."

https://arstechnica.com/information-technology/2024/01/at-se...

"[Senator] Hawley expressed concerns that if the tech companies' expansive interpretation of fair use prevails, it would be like "the mouse that ate the elephant"—an exception that would make copyright law toothless."
Yes, it even asks if you want to use them on first run.
OpenAI has broken every promise it has made
The business risk is that another company with more money and therefore resources will see your PMF and will move faster to capture the market.
these days i imagine an LLM could help dramatically with webscraping, potentially making it easy to frequently update the scripts which would otherwise go out of date
I found this to be a fascinating article, and the problem is illustrative of problems in our society on a number of levels.

The biggest problem is of course, societal. One anecdote from an anti-theft taskforce in the article showed that less than 5% of the thefts were prepretrated by organized groups, and the other 95% were from "passers-by or unhoused people living near the tracks in R.V.s or makeshift structures".

People on the margins of society, who see an opportunity to make some money.

Ideally, we'd fix the problem of unhoused people on the margins of society and we'd eliminate the vast majority of thefts like this.

But of course, that's a much harder problem to solve.

Much easier, then, to respond with bigger locks, and more security cameras, and GPS trackers and more security guards in vulnerable hotspots.

While those measures might work (to an extent) to solve the immediate problem, they don't work to make the society that I'd like to live in. I'd much rather live in a more equitable society that works to eliminate homelessness, and the conditions that lead to this type of theft, then one that just prevents it with punatitive measures and thorough enforcement.
Adding Copilot or GPT-4 autocomplete support to an editor is not hard. You can find 100 different projects on GitHub that do this which are all just calling OpenAI. It is vastly different in scope and design than porting native applications.
Former Google CEO Gets into the AI-Powered Kamikaze Drone Business
That you find value in the product doesn't make them a public good. OpenAI is in it for the money, not for some "public good".
If you haven't, please feel free to have a try and get 6 hour+ free GPU.
> I am not a mathematician but I hear good things about the quality of his work.

Not to be rude, but saying this about a Fields medallist is somehow very funny.
> it's not for developers.

What? Who is it for then?
The query planner optimizes it. Why would you want a compiler to optimize SQL? The nature of your data affects how it is optimized! The declarative statement to retrieve data must be interpreted based upon the nature of that data. You can't pre-optimize without knowing something about your data, in which case, you are basically storing some of the information outside of the database.
Should add liquidation preferences and allow sales below the last priced round. Seem to be more common these days!
I was going to post my 8kb favourite but then discovered it was 64kb. Been a while.

Anyway :https://m.youtube.com/watch?v=1dcrV_7JpXQ
I'm interested to know what people's insertion latency is on Neovim with similar IDE-like plugins, and LSP and Copilot running.
What do you mean? "L" and "H" do move the cursor right and left for me just fine. It does not have macro recording/playback or extended commands though so it's not a full fledged vim emulation mode unfortunately.
I am listening to a podcast on StarTalk Radio (Neil deGrassse Tyson) on gene editing. "Unlocking Gene Therapy with Gaurav Shah." If the subject interests, it might be worth a listen.
It is not easy to hire/consult that level of person though. They are too busy being VCs
> KC-46 tanker and its inability to refuel

Where do you get this? KC46 problem is not because it can’t refuel.

> F-15EX Eagle II and its failing to deliver on marketing promises

Which promises? It’s supposed to be a missile truck, working in conjunction with F35, and it works well in that role.

> V-22 Osprey and its many crashes including the most recent in November that led to a grounding across the services

It’s called Bell Boeing V22 for a reason. Bell is the lead vendor and Boeing is the secondary. It was a Bell’s design. Bell Valor 280 which is a new tilt rotor design won FLRAA contract last year.

Boeing make Chinook helicopter, well known for its reliability.
Why would this fix anything?

This is exactly like shoplifting at Target — thieves now know the employees are not allowed to violently engage them, so there's absolutely no deterrent. If you think 4 unarmed railway employees are going to take it upon themselves to defend train cargo against cartel thugs or mentally ill and drugged out looters, you are insane.
Ive been doing that myself in discussions about them. I hope it catches on, what a joke that they are still called 'Open'AI
That wasn't a 360 camera, that was the computer assuming what the other angles could look like, and you could do that now with ML.
Almost no one uses remote SSH to do development.
> The phone should run whatever software I like

Even viruces?

Bank apps will not work in not enough walled garden.
Breaking records does not mean profitable, having first hand knowledge of the situation esports (for Riot) is still very unprofitable -- the way that they try to measure esports profitability is by player increases/purchases after the events occur and leading up to the events and sponsorships of course.

esports does not bring in new players, it mostly brings back churned players or excites current players. The financial model for existing players versus new players is very different.

When you look at some of the sponsorship conversations over the past couple of years it makes sense why they needed to make some of the bets (https://www.polygon.com/2020/7/29/21347587/riot-games-saudi-...).
This is a case where average might be more useful the median.

If the richest real estate owners (top 1% own 13% of all US real estate) have a longer average ownership period, then that will have a disproportionate effect on the local market, because they own so much of it.
> First, let’s prove that a certain protocol ensures that no philosopher will starve. Starvation occurs when a philosopher is perpetually denied access to resources (in this case, forks), and thus can never eat. We'll use a protocol where a philosopher must pick up both forks at once or put down any fork they've picked up and wait before trying again.

This doesn't actually guarantee starvation freedom. Consider a scenario with three philosophers: Plato, Hume, and Arendt. Plato needs forks HA, Hume needs forks PA, etc.

1. Plato picks up forks HA and starts eating.

2. Hume picks up P, fails to pick up A. Hume immediately puts down P and enters the waiting phase.

3. Plato puts down HA.

4. Arendt picks up HP and starts eating.

5. Hume exits waiting phase.

6. Hume picks up A, fails to pick up P. Hume immediately puts down H and enters the waiting phase.

7. GOTO 1

The problem is that there's no guarantee of "strong fairness": that if the system keeps returning to a state where Hume can pick up both forks, he is guaranteed to eventually pick up both forks.

Unrelated, but this is formalism is more precisely known as "linear temporal logic". That's because there are many different temporal logics! Temporal logics are "modal" logics, which means it's a logic equipped with the "necessarily" and "possibly" modifiers. The "necessarily" easily maps onto temporal logic: it just means "true at all times". But what does "possibly" mean?

If I flip a coin, is it "possibly heads?"

In linear temporal logic, the answer is "no", because there are sequences of events where the coin is never heads. In computation tree logic, the answer is "yes", because the timeline has a branch where it lands heads.

Lamport wrote an article arguing that LTL is more useful in the context of programming (https://dl.acm.org/doi/pdf/10.1145/567446.567463). He'd later go on to make TLA, which is a restricted variant of LTL.
Unfortunately that doesn't usually hold out because as things get closer but not quite to the purity you need, you tend to need longer times, larger surfaces areas, higher temps, etc. in order to continue the process. You tend to hit spots during purification where you end up with an Azetrope (or similar for gasses) where you can't do a lot of the same techniques anymore because the impurities and the gas you want end up behaving the same at that concentration. At that point you have to start looking at adding catalysts or other chemical reactions to destroy or transform the impurities so that you can remove the end products from those reactions. But as you have less and less of the impurities it then ends up harder to target them to purify further. It's a nasty cycle that can drive costs up exponentially in terms of reagents, dollars, time and energy needed to do the purification. Ethyl Alcohol is a fun little rabbit hole to look at, at ~95% purity it forms an azetrope with water and you can no longer distill off the water or alcohol separately and have to resort to chemical or other means to get further purity. That's why you usually end up with other alcohols as a byproduct when purifying further (methanol in particular, since it disrupts the azetrope and lets you boil things off) or have to take rather expensive methods that remove the water.

https://en.wikipedia.org/wiki/Azeotrope
I'd guess the hang up is volume.

Right now there are two types of people that go to those stations.

1. People there to put gas in their car, and

2. People there specifically to visit the convenience store.

Gas stations tend to be in places that won't get a lot of foot traffic, so what is going to mostly determine how many potential customers they see a day is how many cars they can accommodate at once and how long those cars stay.

Group #2, the people specifically there for the convenience store, are both very likely to buy something and not likely to stay long.

Group #1, the people there for gas, may or may not also buy something from the convenience store. If they do, great. If they don't at least they won't stay long because gas powered cars "charge" fast. A reasonably well maintained gas pump is over an order of magnitude faster than EV chargers.

If they add EV charging the EV charging area will probably have to either take space from the gas pumps or to take space from the place group #2 parks.

If they take the space from group #2 parking, they are replacing people highly likely to buy with people less likely to buy and more likely to stay around longer. It is hard to see how this could ever be a win for the store.

If they take the space from the gas pumps then they are replacing fast gas fill ups with slow EV fill ups, which cuts down the number of potential convenience store customers. Maybe EV drivers will be more likely to decide to buy something in that extra time, but I suspect that won't be a big effect. I'd bet people who buy from the convenience store just because they are killing time waiting for EV charging will mostly just make small purchases.

On the other hand, it really is #2 that provides most of the profit. It is possible that group #1 is a sufficiently small contribution that it doesn't matter if replacing some gas pumps with EV charges lowers convenience store sales.

Sometimes I think selling gas at those stores is mostly for awareness. I'd guess that a lot of the people in group #2 are only there because at some earlier time they were in group #1 there. They decide on Friday or Saturday night that they need to get some beer or cigarettes or lottery tickets and remember, and because they got gas there earlier that week they think of the convenience store.

Putting in a couple EV chargers in place of a couple gas pumps might turn some EV drivers into group #2 people who otherwise might have forgotten about the convenience store.
Erdős has a huge amount of credits in the papers of others (hence Erdős number) because he would just travel all over the country helping people get unstuck on their work.
I suppose generic communication channels have a lot of noise for Big Brother monitors. When someone exchanges Retriever links though, monitors will know that some "secret" is being shared and can focus on potential targets more easily, with a noise filter.