skysight-inc/HackerNews huggingface dataset:
> systemd is being adopted because it solves problems well the distributors have, but THEN the distributor ALSO has to bend their distribution to the single enforced world-view the systemd folks have if they want it to integrate.

It is like saying that "It is great that engineers are working to provide a unified rail line across Europe, but they are assholes because they want everybody to use the same rail gauge as well as implementing these changes that will allow the rails to handle traffic going 200 mph. The unified rail folks have an agenda!!"

The problem they are trying to solve is solved by "bending of the will", so to say.
That's awesome! We do have some prep programs but I would love to get your thoughts on how we can make our programs more beginner friendly.
Wow, that's a flashback.

I was active on the Joel On Software Forums prior to that (hi, Patio11) and loved watching the development of Copilot unfold. It was even better that one of the interns was from my tiny undergrad: Rose-Hulman
Do they even manufacture the screens themselves? I though they mostly just did r&d and licensed things, in which case scale shouldn't really be an issue, at least on manufacturing the things.
Interest rates? Better get prequalified and see if you can't lock in.

Getting an accepted offer? Getting better by the day, in many areas.
Let that be configurable when you set the cap.

You could have 'soft cap and hard cap'. You could have everything deleted except persistent data. You could have everything gets rate limited to near zero to keep the rate of spend per hour below some threshold.
I put "price gouging" into quotes - as a non-native, I can't think of a better word for it
A country with a declining population can keep a growing economy or low immigration, but not both. Some countries (the Anglophone countries, France, and Germany) are magnets for labor given their relatively high wages, standard of living, and multi-culturalism (racism and anti-immigrant politics are problems, but still). But others, like Japan (with low immigration) or Bulgaria (with low immigrant interest) can't reap the population dividend.

Perhaps you can pick two of three: a stagnant economy, low immigration, non-right-wing politics. Japan picks a stagnant economy and low immigration (Shinzo Abe though a nationalist was no Marine Le Pen). France picks a somewhat growing economy and somewhat high immigration, and suffers from the growth of right-wing anti-immigrant parties (Marine Le Pen won 40% of the vote recently).
I don't think Go gives you freedom, actually. There aren't any good standard library functions for dealing with badly encoded unicode for file names, for example.

Instead, Go provides what the language designers considered solutions to most problems. Window not having Unix permissions? Just fake a bunch of them. Path not valid unicode? Probably not a problem. As long ad you agree with the way the Go designers think, that'll save you tons of work.

Just don't use Go in situations where those solutions might not work out, like when you're iterating over arbitrary files instead of the files you've created yourself in Go code.
Wiz Research discovers “ExtraReplica” a cross-account db vuln in Azure Postgre
Rather, "Nobody Will Admit that A Novel about Football is the Best Novel of Our Generation". This does not appear to be about people denying that the book is about football.

Also, the novel is actually a novella.

Also, it seems not to be a book, but a web page:

https://www.sbnation.com/2014/8/18/5998715/the-tim-tebow-cfl...

[EDIT] Also, from the story:

> Raghib Ismail. Call me Raghib.

sensible-chuckle.gif

[ANOTHER EDIT]

Further into the story now—in case it helps anyone decide whether or not to read it, this isn't slightly-twisted reality or magical realism or light urban fantasy or any of that, really, but full-on dream-logic.
And these as well (having to do with aviation of all things):

https://apps.apple.com/us/app/miracheck-copilot/id1183839722

https://apps.apple.com/us/app/copilot-gps-navigation/id50467...
The problem is that a system of "conditions + restarts" approaches the generality of fully async code. Go can of course do async well enough via its goroutines.
There are full updates and partial updates. The former involves refreshing the whole display multiple times to remove ghosting, and a complete redraw. The latter is a targeted change at specific coordinates, which typically involves going from white to black. Very fast, but it's a single point/block at a time.
Agreed with this. It would be disingenuous to argue that Github's Copilot is not the most widely known one.
I had no idea Trello was Fog Creek, interesting
I tried to.. But no, even the Pi 4 was too slow.
I was JUST researching whether air ducts should get cleaned from dust, and google results while mixed were mostly pretty good and gave a quality EPA page as result number one -- not a marketing blog. (Though the question and answer part of google was mixed with the number two question being answered by saying to have them cleaned every 2 to 3 years, which is crazy. Also, I think this crowd is savvier than most about knowing when a website is just marketing and when to ignore it.)

But reddit still had much better information than google overall explaining experiences and why you almost certainly don't need them cleaned minus the 3 reasons EPA mentions.
Thanks for your amazing articles, Amos!

> I'm interested not in what the language lets you do, but what is typical for a language

This is the crux of the problem. To step away from Go/Rust and pick on another language, one could argue that Python lets you annotate every variable for some linting checks, but that doesn't mean they all are. This leads to horrible time-sinks where someone accidentally adds a comma to the end of a line, turning a scalar into a 1-tuple. I know folks to whom this has happened and who burned a half day trying to track it down.

I personally get annoyed by the "Language X gives me the freedom to do Y." I find that I and a lot of my peers often prefer constraints imposed (instead of freedom given) by the language as a way of preventing countless issues at runtime.
that's incredible! I suppose the lesson here is make sure you ask enough to keep you from looking over your shoulder and not being able to deal with the inevitable 'backfill blues'
I would be willing to bet your colleagues at work would find it annoying and impolite too.
Another source with more details and no paywall:

https://uk.style.yahoo.com/twitter-says-overcounted-users-ov...
I worked with an educational institution that did tons of apple devices.

AppleCare claims were pretty frequent given use case, and hassle free. I honestly haven't even HEARD of months long replacements. This was some time ago though so things may have changed, but something seems off.

My own experience was simply, how can apple be making money with this service?

I believe the cost is $6/month currently. Highly worth it if you are concerned about service.

Dell does a 16/month support offering, but limited to 2 years.
With the SALT cap at $10k and the mortgage interest deduction cap limited to $750k property value, the ultra-wealthy are not really benefitting from this as much as you are saying.

Someone with a $750-$1M home is getting roughly the maximum tax break available, and someone with a $5M home is paying for everything above that first $1M themselves* without any extra tax incentives.

*Except in California due to prop 13 many of them are paying a tiny fraction of the property tax they should be paying, but that's a separate issue.
Did Kelowna add 5500 new homes per year, every single year? Or even 550?
I once worked at a startup where our only revenue ever generated was selling our domain name
That was my first thought, but it's The Tim Tebow CFL Chronicles by the same guy (John Bois).
The problem with the rpi is it's basically a gpu with a cpu bolted on. All the power is in the gpu.
I upload static assets to IPFS and add those static links to my project instead of having an "assets" folder.

IPFS is fast enough, I had these concerns too so I use a gateway for links as some of them cache files on their own CDN, for free.

Yes, I use a pinning service, I was extremely hesitant as many of them are just SaaS hosting like Pinata is and charge by bandwidth used, but there are free ones like https://web3.storage which for some reason is combining Filecoin and IPFS together for each upload and liveness/pinning.

Ironically, Pinata also acts as a gateway and can then be used for free if you want. But there are other gateways. Cloudfront has one but what it decides to cache is strange.
DAU and MAU are tricky metrics partly because even when they're known to be problematic (perhaps the definition of "active" is too permissive to be useful for certain purposes) they are very hard to change because they are reported at such a high level (frequently without relevant context such as whether or not they are counting accounts or users) so historical changes are trickier to get support for.

Also people want that number to be defined to yield the highest number because Goodhart's Law and we ship what we're incentivised to ship.
What I don't understand is that although there are a lot of non-profits in the US that are willing to help in these kinds of cases. Non of them ever tried or suggested going after the original notice giver for perjury as at least some of these notices would fall under 'willful ignorance' as defined in United States v. Fawley (1998). The notice giver is in a (unique) position to determine if they actually hold the copyright and which specific part of some digital information is indeed infringing on that as this is the entire basis of the take-down notice. The fact that they do not supply it when serving the notice, but later will have to rely on it in court makes them willful ignorant when serving the notice.

Getting the perjury clause of the DMCA upheld would of course have a chilling effect on sending take-down notices in such a frivolous manor.

Disclaimer: a) I am not a US citizen b) TGIANAL
I remember buying this on DVD and following this little startup with fascination!

I was just starting my own software business so it was quite inspiring at the time.
The article mentions that you can copy & paste or mix & match playbooks. But, does anyone know where can someone get the reference playbooks to mix and match..?
> Tritium is already present in the ocean

Would that be like saying "carbon dioxide is already present in the atmosphere"?
No Mexico city but Chihuahua and taking 2 months to occupy Tijuana, or well most of it.
Did you read your own source? It specifically calls out 3.5 percent nonviolent protest as 2x more effective than violent protest.

In any case, it is far more logically that a core of highly motivated protestors causes sudden political revolution because they represent the unrealized/unstated preferences of a popular majority. I don’t believe this is likely in this situation as that cohort’s displeasure is largely due to mass culture (and associated forms of economic, social influence) moving further and further away from them.
Prospect of a nuclear-powered desalination plant supplying its own fuel? Awesome.
Yeah on further reflection maybe the "immutable" part of this is that I never use the Spotify UI to modify my playlist - it only gets changed during terraform apply phases, which may change the playlist in random ways on each re-apply.
It is a cool idea, but creating that would require you to put a color e-ink display over the normal display panel, which may cause it to look washed out/lose crispness.

I think it is technically possible, I'm just not sure many would accept the cost/functionality trade-offs. But I may be wrong.
Playing a musical instrument is like weight lifting for your brain.
I never heard of Fog Creek before, I didn't know that was the origin of StackExchange, Trello, and Glitch.me . So many good ideas at one company.
They're not doing that great. A4 (or letter) sized ereaders right now cost $800+, have a resolution of about 200dpi and only a few shades of gray, so they're practically monochrome. For that amount I can print thousands upon thousands of pages at 1200+ dpi on real paper which I prefer. I thought about it and bought a laser printer. When the technology matures a bit more, I'll be waiting. Less eagerly every year though, as I've been waiting for affordable large ereaders for 10+ years now. And I'm seeing a shift to tablet-like device features which I'm not fond of.
Rust will allow you to ignore a Result as well, to be fair, though with a compile time warning. I don't think I know any language that'll throw a compiler error at you if you ignore the return value of a function that indicates success or failure.
I am an immigrant and have a large family within a community that would be classified as "lower-income" and I'm pretty in-tune with their perspective. I support my family financially now, and I will be supporting my parents in their retirement. I grew up poor and I understand the anxiety and stress that comes with it. I just recently spoke with my grandmother who is on a fixed income and is having trouble paying for basic necessities because of the recent inflation. I'm not blind to these struggles.

I'm not saying everybody is doing great. I'm saying that if you look at the stats of average American's personal finances, they are in pretty good shape. That doesn't mean there isn't a decent chunk of the population that is struggling. That doesn't mean there isn't a housing crisis across the country. That doesn't mean inflation isn't hitting these lower-income groups harder.

These issues are very real and are a major part of what is making everyone anxious. But in the context of the conversation, people are not getting ready to war with each other.
As an Emacs user I never really understood why Nano was so popular when you could use Emacs, but I've since learned a few things...

1. Emacs isn't always on all the systems, and getting it downloaded/setup can be a pain in the butt

2. Sometimes it's just easier to launch nano quickly to edit one line in a .bashrc from the command line

3. When I bork Emacs and it doesn't work, it's nice to be able to fall back on a simple editor to edit my .emacs.d

4. It's nice to have an alternative to vi with keybindings I'm more familiar with
That number doesn't mean anything on its own. How about a ppb ratio?
You can help alleviate some of this by being completely open and honest on your reasons for leaving a company (and it doesn't just have to be when you're leaving, btw). I know far too many people that are somewhat timid in their exit interviews and simply state "I found a better offer" when really they're frustrated with how "it" is accomplished in their environment. Anytime I resign, I'm brutally honest. Some jackass being nitpicking during code-reviews? That might seem minor, sure, but it's annoying enough to add to that unhappiness threshold which drives people to quit. I make sure it's known as a contributing reason for leaving.

If an organization doesn't pick up on these patterns that push people to leave because folks are too shy to share them, we get poor working environments and hiring patterns that are never fixed. It's easy to assign all the blame on these organizations and managers, but we have some options to help from the individual side as well.
I could build software to automate that and it wouldn't take 75 years. 75 years is a joke.
>I think severe taxes for unoccupied homes is a better solution than bumping rates though

Yeah but unoccupied units is only a few % in the hottest housing markets. This makes sense, considering that the opportunity cost of leaving a home empty is higher if the rent is higher. Because of this I'm inclined to believe it's popular-but-ineffective intervention, like banning foreign buyers (which also make up a few % of overall sales)
I've been using a RPi 4 8GB as my primary computer for the past 3 weeks and it's been mostly fine. It's occasionally slow when too many programs are running, but rarely. I'd say is totally useable. Only use my Mac for things like MS Teams, Zoom or Google Meet as those either choke or don't work at all on the Pi.
With how quickly, on-time, and within-budget California is managing to build the few-hundred miles of its touted High-Speed Rail system - that "no hard tasks" engineering project might take a century or few to become operational.

Also, you note "water added to the west would revive it from the death spiral it is now in". Ah... 100% of the average discharge rate from the entire Great Lakes system - including Lake Ontario, elevation ~400' below the other lakes - is only about 2/3 of the discharge capacity of just the Hoover Dam spillway. I'm thinking you'll need to divert the Amazon River (~25X the discharge of the Great Lakes) to meet the need.
Google just reflects your bubble. DuckDuckGo top results:

1. "CoPilot-Buy Smarter: Cars, SUVs, & Trucks" - some sort of Android app
2. GitHub Copilot
3. copilot.com - TLS thing
4. CoPilot GPS (app)

So yeah, GH is an option, but it's hardly "the" meaning.
You're still mixing up food riots with civil war. Bit of a leap there.

Leave it at civil unrest.
Purposely filing notices as a protest is indisputably bad-faith. That's not going to set any precedent against bad-faith notices with a veneer of plausible deniability.
GDP per Capita is not a good measure of societal well-being either, since it doesn't reflect distribution of anything, just aggregate production.
Parents of 0 to 5 year olds spend an assload of money on them.
> How does a human generate proofs, given no algorithm exists to solve the halting problem?

To be fair, this has some trivial answers -- despite being a fascinating question.

For example, given a formal proof verification system (e.g. Lean), you can search for proofs (either by brute force or hopefully using heuristics) and if a proof exists, you will find it after some finite time. The problem is that sometimes no proof exists. You may be thinking of getting "smart", and also trying to prove no proof exists in parallel. But that's just another proof, such that this recursion tower (proof that (proof that (... proof doesn't exist)) doesn't resolve. But I think overall this mostly means you should be able to accept non-existence or arbitrary proving times of proofs (maybe also a sociological problem for mathematicians!). That's of course how human mathematics works: no one now if any famous theorem (e.g. Riemann hypothesis) will be proven within some time frame, or maybe never.
Than this new offering may be useful to you? I'm not aware of that many companies doing something like this.

The right to repair folks and their criticism of offers like this ("bad faith" etc) seem weak to me still.
> I almost got a heart to attach

To attach to what? I’d like to know more about this gruesome experiment of yours…
Why is that dumb if they gave you exactly what they want? Regardless of their motive, that is what they want and hire you to do. I do not clearly see your point here.
This is such a short-sighted perspective. Is China going to stay quarantined from the rest of the world in perpetuity? (COVID is now an endemic virus, like the flu.)

It's hard to see China reaching its goal of becoming a world leader if its people must remain cloistered indefinitely.
After a couple of years of learning Tai chi, my hand independence on piano altered dramatically.

Hard to call it a coincidence. I think mind-body training can and does change cognitive ability, it’s almost a given.

If we doubt this, it’s more likely our ways of measuring are goofed up.
Yes! This is the perfect use case for Photo frames, or even for advertising billboards where there's no need to have humans change the advert.
https://duckduckgo.com/?q=copilot gives:

- CoPilot Buy Smarter (copilot.app)

- GitHub Copilot (copilot.github.com)

- Copilot (copilotgps.com)

- Copilot (copilot.com)

- Copilot (copilot.search)

- Copilot (copilot.money)

- CoPilot (copilotai.com)

- CopilotIQ (copilotiq.com)
I remember fondly following the Project Aardvark blog posts through the summer of 2005-- it was such an exciting time! It's still online here: https://www.projectaardvark.com

Also, Joel's midterm report: https://www.joelonsoftware.com/2005/07/07/project-aardvark-m...
Thought I was the only one who googles with Reddit as a keyword. Reddit has become a defacto source for reliable information.
Yes, that was my point. Everyone focuses on GDP but that is not the metric that matters. GDP per capita is the metric that matters (for everyone except the elites at the very top).
I think this approach hinges on how you build and define the network that flags the "most promising search state". I'd argue this is a far harder problem in theorem proving than it is in various games. Before AlphaZero all kinds of position evaluation techniques existed in each of these games and were in widespread use for over 25 years.

Comparatively, it's even a hard problem to define anything resembling a board where the structure is fixed enough to apply something similar to positional evaluation to. What you want is a network that flags next steps in theorems as promising and allows you to effectively ignore most of the search space. If you have a good way to do this I think AlphaZero would be a promising approach.

But even if you get AlphaZero to work it doesn't solve the problem of understanding. AlphaZero made go players better by giving them more content to study but it didn't explicitly teach knowledge of the game. Strategically in Go, it's actually rather unsatisfying because it seems to win most of its games by entirely abandoning influence for territory and then relying on its superior reading skills to pick fights inside the influence where it often seems to win from what pro players would previously describe as a disadvantageous fight. This means the learnings are limited for players who have less good reading skills than AlphaZero as they can't fight nearly as well, which suggests abandoning the entire dominant strategy it uses.
The History of the Seattle Mariners and Atlanta Falcons are two fantastic documentaries produced by the author of the discussed novel.

https://www.youtube.com/watch?v=TIgK56cAjfY
https://www.youtube.com/watch?v=Lx_ORMhpmoU&list=PLUXSZMIiUf...
I enjoyed reading this review a lot more than I expected to.
Even without a server, modern Emacs can load quite swiftly by making use of deferred loading on demand. I stopped using an Emacs server some time ago because it loads fast enough, now.
Hiring/firing is "It".
> I wonder if any Wasabi transpiler code is still out in the wild.

It is. I still have a FogBugz account, and I saw a Wasabi stack trace in my admin notifications the other day.
They would eventualy get eroded by solar winds (that's why there are eroded craters that we can date) and the like but it'd take a while!
That is different to literally turning a data center off
I would say science is only relevant for political agendas.
> How do you think that occured?

One possibility: "We will be lynched if we even imply they're unsafe after pushing them on so many people."
Sure, but before I left Google last year, it was kind of crazy to see how many ex-pat Canadian Googlers transferred from Mountain View to the Waterloo office. Something something, Trump, something something, COVID.

Lots of people returning to their home country when things got a bit crazy.
What Baseballphysics is saying here is that you can often value a prediction by how much money the prognosticator is putting on the line.
How Random Are You?
You do remember that my response to your first message was "yes exactly"? Clearly I agree with your assessment. Well minus the snark.

No, at worst it's like today, at best you can verify it yourself.

But as I've said in almost every message, I'm not a proponent, I haven't seen any convincing use cases so far. And I don't even think it's very relevant to compare it to "what we have today", unless you are discussing replacing everything with smart contracts. Yes, some people do that, but I don't, and it's not an argument against the technology that some overzelous true believers think crypto will replace banks.