skysight-inc/HackerNews huggingface dataset:
I've been following developments since OpenAI's 2020 announcement with exactly this in mind.
My intent is to understand

- how these tools are being hyped for programming

- the kinds of things inexperienced or poor programmers are using the tools for

- the errors and failure modes typically resulting from naive usage or misuse

- mitigation strategies derived from well-known techniques of dealing with legacy systems, applied to the particulars of AI-generated code and systems.
> But the reason it's still around is that it's core principles are oriented to code that sticks around.

You could equally say this of COBOL.

> They haven't yet looked back at code they wrote and said, "ugh, what the hell was I thinking?"

Ironically, "what they hell were they thinking" is exactly the reaction I have to even Greenfield code written using Spring Boot or any of the other annotation driven nonsense.

The idea that programs written in Java are more maintainable than programs written in (say) Go, where you can read what the program does end-to-end instead of having to guess at what garbage has been generated by Lombok or overridden by some random JAR on the class path is bizarre. Let's not even talk about Gradle.
Agreed on the quality of the article, it feels very shallow.
recursive descent parser, normally any decent developer can do that, my version: https://caub.github.io/misc/calculator
Yeah, that's the correct term! I think precision is mainly used for 1D. But I like the term, as I feel it has a better intuition.
My team (3 devs) has been using Shape Up since January and it’s been amazing. I don’t think I can ever go back to scrum.

It allows devs to be creative, do what needs to be done, and ship a real feature. All without any product managers, and zero meetings.

Corporate companies could never imagine not counting all their beans, but man it is so freeing if you have the option.
/R/Math Database of "Woke DEI" Grants
You might like Pinta. It's my favorite no nonsense image editor for basic drawing and quickly changing stuff. Not for big projects, just editing a few pixels, resizing, brightness, cropping, painting, flood filling, basically classic MS Paint but with layers.

It's a fork of Paint.NET, which happens to be my favorite image editor on Windows. The Mono-based port is a bit flaky and crashes sometimes, but the Gimp UX is just unusable for me, so Pinta it is. I tried gimp many times, but I just end up reading forums and often the program either can't do the small stuff I want, or it takes 5 minutes of clicks.
The charges are not fully dropped. They can be brought up again at any time.

AG Pam Bondi and Emil Bobe are openly admitting they are using this to pressure Eric Adams for political loyalty. It's straight up weaponization of the DOJ, don't be daft.

Read the letter from the acting prosecutor Danielle Sassoon who was pressed by the top of the DOJ to drop the charges. This is conservative, Federalist society, attorney who clerked for Scalia, by the way. Trump is using the charges for a quid pro quo. Tell me with a straight face this is not corrupt.

https://static01.nyt.com/newsgraphics/documenttools/24535586...

And I didn't say the DOJ kicked the AP out, I said other departments. But it shows you the admin wants to punish orgs for freedom of the press. There's no defending kicking out one of the most reputable news orgs for using the words Gulf of Mexico. Petty tyrants.

Same with Trump's incessant lawsuits against news orgs that report on him. Including a pollster who didn't provide him favorable numbers.

Same with their orders of to strip publicly funded research of wrongthink by removing references to race, orientation or gender.

This admin is actively suppressing speech including in private organizations at a scale we haven't seen before. And this is only in the first month
Do you mind pointing out the Moment when they show this?
New Discovery Reveals the True Composition of Jupiter's Clouds
"I still find the skepticism around TDD weird."

A small community of programmers, with a disproportionately large audience, foretold that practicing test-driven development would produce great benefits; over twenty five years the audience has found that not to be the case.

Compare with "continuous integration" - here, the immediate returns of trying the proposed discipline were so good that pretty much everybody who tried the experiment got positive returns, and leaned into it, and now CI (and later CD) are _everywhere_.

As for what is gained, try this spelling: test driven development adds load to your interfaces at a time when you know the least about the problem you are trying to solve, which is to say the period where having your interfaces be flexible is valuable.

And thus, the technique gets criticism from both ends -- that design work that should have been done up front is deferred (making the design more difficult to change, therefore introducing costs/delays), and that the investment is being made in testing before you have a clear understanding for which tests are going to be sensitive to the actual errors that you introduce creating the code (thereby both increasing the amount of "waste" in the test suite, in addition to increasing the risk of needing test rewrites).

The situation is further not improved by (a) the fact that most TDD demonstrations are problems that are small, stable problems that you can solve in about an hour with any technique at all and (b) the designs produced in support of the TDD practice aren't clearly an improvement on "just doing it", and in some notable cases have been much much worse.

So if it is working for you: GREAT, keep it up; no reason for you not to reap the benefits if your local conditions are such that TDD gives you the best positive return on your investment.
I have one of these. It also tells me all the things I need to turn off / check are switched off in the house.
I've always wondered if a browser, the OS's sound server etc. can distinguish between "silence being played" and "nothing being played".

The difference really matters in some cases, e.g. for Bluetooth audio devices supporting multiple sources picking the correct one (looking at Bose's annoying implementation here), avoiding battery drain such as here etc.

Does anybody know if these APIs can even theoretically distinguish receiving all zero bytes from not receiving any bytes, or are the interfaces usually things like ring buffers etc. where the server literally might not be able to know if the client pushed new zero samples or if it's just playing back the old ones over and over again etc.?
Is this going to end up like Amazon's tendency to churn 10% of employees a year?
Nice story. An even more powerful way to express numbers is as a continued fraction (https://en.wikipedia.org/wiki/Continued_fraction). You can express both real and rational numbers efficiently using a continued fraction representation.

As a fun fact, I have a not-that-old math textbook (from a famous number theorist) that says that it is most likely that algorithms for adding/multiplying continued fractions do not exist. Then in 1972 Bill Gosper came along and proved that (in his own words) "Continued fractions are not only perfectly amenable to arithmetic, they are amenable to perfect arithmetic.", see https://perl.plover.com/yak/cftalk/INFO/gosper.txt.

I have been working on a Python library called reals (https://github.com/rubenvannieuwpoort/reals). The idea is that you should be able to use it as a drop-in replacement for the Decimal or Fraction type, and it should "just work" (it's very much a work-in-progress, though). It works by using the techniques described by Bill Gosper to manipulate continued fractions. I ran into the problems described on this page, and a lot more. Fun times.
This is not entirely fair. We can't all be involved in package management, and GP might contribute in other ways.
A couple of tips from my own experience.

-Have a checklist, so you don't forget stuff.

-Packing cubes make packing a bag much easier.

-For long flights with a stopover (e.g. Europe to NZ) you can stay in a transit hotel in the airport terminal. This means you don't have to go through immigration, security etc. So much easier than having to travel out to a hotel.

-I have found Airalo to be quite good for local data esims.
Seems to me that formal studies would have more of an effect looking at how to manage crowds that are already too dense without making things worse. If you want to avoid the density in the first place, you decide on a maximum density within a central perimeter, and also manage density appropriately along the ingress routes. That way you don't just push the unsafe densities into the outer side of the perimeter. And you set your desired densities low enough to both avoid dangerous situations inside the central perimeter, and allow the central crowd to get out if there is a fire/etc. inside it.

Essentially if you want a max density in area A, you enforce some other max densities in the area several times larger than A.
Please, please, please use Terraform workspaces: One workspace per environment.

For environment specific things use conditionals:

nodes = terraform.workspace == "prod" ? 2 : 1
> This isn't an inherit issue with LLMs

But it is. That’s why you, the user (or an enterprising LLM search tool) need to do things like

> set up some prompts that you can default to for different use cases

Personally, I’d rather look up first party sources than configure a tool to generate 3rd party information that’s not always correct.
Truth be told I also feel sharper when not dating or in a relationship, software engineering takes a lot of mental overhead. Competing in the modern meat market that is the current dating scene increases that mental overhead
Bottom line is US businesses cannot discount or deduct state and local sales taxes on purchases made from their suppliers in the same way that VAT operates. Correct that sales tax is not paid on export.
I’ll just counter that there is one very serious and practical reason to have a better understanding of life in the universe—if a spacefaring civilization develops fast travel and reaches Earth first, then humanity will be enslaved and subjugated.
> Sharing types between React and a Typescript backend is great DX for developing both in parallel and I've not seen anything that comes close to being as enjoyable. Being able to change the signature of an API endpoint and immediately having all places in the codebase where the change will cause problems flagged as type errors is wonderful.

Have you ever seen Scala.js? Same language on the frontend and backend, in a way that actually feels first-class and real. Type system that's as powerful as Typescript but also sound. Full IDE functionality if you need it.
Advertisers are returning because Elon Musk is the long arm of the president and literally threatening tech companies with reprisal. On Twitter. It's open corruption! They're not even bothering to hide it.
That many?!?
Not for YouTube :(
As Covid proved, viruses know no borders.

An immense act of self-sabotage from the vandals at the very top.
You think Musk is on uppers all the time? This would indeed explain a bunch of things related to his behavior
> If the aim is to weaken the U.S.

Say if you're China and Russia...

> then putting a foolish unelected billionaire

With ties to both...
This has nothing to do with machine language vs. VMs. And yes, there are abstraction layers here, but for very good reasons:

You almost certainly don't want every browser tab gaining exclusive address to your sound hardware, for example, which would include things like volume control. It also would make mixing sound from multiple applications/tabs impossible, which is arguably a must-have.
You don't need Python to build AI products
Java was not abandoned en masse. Small projects were done in node.js. Large projects were and still are done in java or other non-js languages.
I am being downvoted too if that’s any consolation
Only 500 downloads on Google Play. How safe is this to install?
if we paid $84m to role players NBA will need salary cap equal to US GDP :)
the client side java didn't last long, flash and js were more mechanically sympathetic on too many aspects (dev culture, user expectation about load time, cute visuals)

but yeah js is a strange creature
The university I studied at was in a brutalist building. I loved it and every time I see a brutalist building, it reminds me of my time there.
Well, all I'll say is this then: you are a tiny minority.
Better. I still feel like there's an element of explanations there nearly as opaque as "a monad is a monoid in the category of endofunctors",
but I can mostly forgive it.
Clearly the review is written for someone already familiar with GIS terms.
For example,
"The geometry type represents spatial objects in a planar space using Cartesian geometry, assuming all calculations, including distance and area measurements, are performed on a flat surface."
says nothing that couldn't be better stated as "this is for flat-projection maps, like the Mercator".
Java is verbose, is a resource hog, requires runtime management for basic app performance, the major frameworks (used to) require an awful lot of boiler plate, the developer tooling almost necessitates an IDE which 10-15 years ago meant eclipse which was slow, bloated, and unstable. There’s also always been licensing “fun” with oracle, sun, and the jdk.
That would track, one of the few things I miss when writing c#. Instead you break out into interfaces as much as you can.
I played around with the calculator source code from the Android Open Source Project after a previous submission[1]. I think Google moved it from AOSP to the Google Play Services several years ago, but the old source is still available.

It does solve some real problems that I'd love to have available in a library. The discussion on the previous article links to some libraries, but my recollection is that the calculator code is more accessible to an innumerate person like myself.

Edit: the previous article under discussion doesn't seem to be available, but it's on archive.org[2].

[1] https://news.ycombinator.com/item?id=24700705

[2] https://web.archive.org/web/20250126130328/https://blog.acol...
There are two ways to read that question.

If hypercomputation is possible, then there might be a way to express some of those uncomputable numbers. They just won't be possible with an ordinary Turing machine.

(If description is all you need, then it's already possible to describe some uncomputable numbers like Chaitin's constant. But you can't reliably list its digits on an ordinary computer.)

As for the other interpretation, "have we conclusively proven we can't reach them with an ordinary computer", IIRC, the proof that there are infinite uncomputable numbers is as follows: Consider a finitely large program that, when run, outputs the number in question. This program can be encoded as an integer - just read its (binary or source) bytes as a very large base-256 number. Since the set of possible programs is no larger than the set of integers, it's (at most) countably infinite. However, the real numbers are uncountably infinite. Thus a real number is almost never computable.
The US government has very low spending (it just appears high due to the military budget) and correspondingly many people in the US have very poor human condition. It's abundantly clear that government spending is a necessity to combat inequality. When the functions of government are privatised, the poor will lose access to these amenities, and the rich will begin to profit from them. The result is a system more unequal in both wealth and allocation. Likewise the destruction of regulations serves mainly to increase the ability for corporations to exploit individuals. These are all clear negative effects, and I have yet to see a positive case for this action. What benefits might there be to decimating the government? The only suggestion I've heard is that the private sector will magically do the government's job better than it can, which is absurd because they could already attempt this and have decided it isn't possible.
Your use of the word "innocent" there is doing a lot of heavy lifting. He did not have a day in court, and what he did was indirect. However, a lot of people consider the supposedly "innocent" guy that got killed a mass murderer.

Whether or not you agree with that assessment, it seems like you don't understand a few links in the chain there or are otherwise playing dumb. It is very reasonable for people to not care about the death of someone who is widely considered a mass murderer whether or not our legal systems have caught up to this sentiment.

In a perfect world that CEO would have spent his entire life rotting in jail, his ill gotten fortunes completely stripped and his name as infamous as other mass murderers. We live in an imperfect world where people like him get defended by weirdos online though.

It's not good that he got assassinated. Assassinations like this are a symptom of a failing justice system doesn't deal with human waste like Brian Thompson on it's own. If society widely considers someone like him a mass murderer he should be behind bars. But there's a pretty huge inequality between the ruling class and the poors these days, so the justice system has stopped working for the everyman. It's a natural result of cascading inequality, it will keep happening at an increasing rate if our civilization doesn't start holding people accountable for their crimes.
This is a thing. Going to the races and watching horses warming up in a paddock is very informative to those in the know. The first time i went, my girlfriend's father pointed out a horse that none if the others would run past, and that horse won it's heat.
GNU/Linux phones can be a better alternative than Android, too.
With the prices of electricity these days I turn off everything by remote control per room each time I leave the house for work etc. Not even extension cord lights are left on, only the very bare necessities - fridge etc remain on.
Which is just 3.3% of GDP.
Yes, but:

1. Calibre can do the job for the case of mostly-text PDFs, while keeping images too of course. I haven't done this, but a quick search reveals that it can give inconsistent results (mostly depending on the source PDF of course).

2. If the "text" of the PDF is actually just an image, consider OCR instead, or treat it as a digital comic as I'll cover next:

3. For digital comics, a different program called CBConvert is what you want. I actually don't think ePubs are the best format for comics, and usually convert to CBZ format instead; CBConvert has this all covered.
Great read but I must say I completely disagree with:

"the best way to avoid [[getting cheated/swindled]] is to give strangers your trust and treat them well. Being good to them brings out their good. If you are on your best behavior, they will be on their best behavior."

As someone who's lived in London for 20 years, if you trust and treat everyone well you will lose all of your money, your watch, and phone. Unfortunately, those looking to cheat you out of something have become extremely common and totally remorseless!

I get that the author is probably referring to locals but these days it's impossible to tell who's a local trying to be kind and who's trying to distract you to reach into your bag.

Maybe I'm being unnecessarily pessimistic about strangers but i guess that's what London does to you haha
Staying single is only one of the ways to get out of the dating market.
The new thing that gadget addicted males love because it's shiny and it's better and safer and the ultimate cool.

Come everyone. C is dead, Javascript is dying.

Also it is used by the bigdiks, like facebook who can't make a proper comment system, yet they market react as another shiny thing. And Apple who always turn your bluetooth back on after update. And google, who act like inbred mutants thanks to the incest that is going on there. A W S, the three letter magic thing also uses it. Plus cloud!

And the list goes on! Plus it has fugly syntax, but who cares, it is memory safe!

Jump onboard, this is the future!
Any learning material you can recommend?
In my experience, young people who hated java never worked in java and knew nothing about it except that it is evil.

The second thing however is that fronted is better off in non-java languages, you can afford to do small backend in typescript and what not. And larger enterprise projects were done in java the whole time.
> Don’t pay for those—problem solved

Ah yes, the dream where "vote with your wallet" was supposed to be a thing. The reality is though, these corporations are so big and have so much unbounded power in real life stuff (including legislation and policy) that my wallet is meaningless to their existnace.

Also, not paying for them just means they will try to find me whever I'm (through ads, notifications, related products) and push some emotional buttons so I will join them, or at least sign up for something that gives them data points.
Foobar2000 has no problems in these areas
Caterpillar's bulldozer is $55,000 more expensive in Germany than Liebherr’s. Liebherr benefits from tax neutrality (VAT applies equally), while Caterpillar faces a 19% VAT on import. This confirms that VAT-based countries create a "home-field advantage" by making foreign imports more expensive through VAT, while domestic goods are not taxed differently.
The article says:

> In the 1950s, the philosopher Mary Midgley did something that, according to philosophical orthodoxy, she wasn’t supposed to do. In a BBC radio script for the Third Programme (the precursor of BBC Radio 3), she dared to point out that almost all the canonical figures in philosophy’s history had been unmarried men. To most, Midgley’s attempt to discuss the relationship status of our most cherished philosophers would have been discarded as irrelevant, even scandalous.

I don't have to rack my brains very hard to recall similar observations that are much older:

> Thus the philosopher abhors marriage, together with all that might per-
suade him to it, – marriage as hindrance and catastrophe on his path to the
optimum. Which great philosopher, so far, has been married? Heraclitus,
Plato, Descartes, Spinoza, Leibniz, Kant, Schopenhauer – were not;
indeed it is impossible to even think about them as married. A married
philosopher belongs to comedy, that is my proposition: and that exception,
Socrates, the mischievous Socrates, appears to have married ironice, simply
in order to demonstrate this proposition. (Nietzsche, Genealogy of Morality)

I have found this to be a very common motif: a news article presents someone saying something so REVOLUTIONARY it had to be suppressed, that nothing before was ever like this said or done...which is almost never the case; it is very popular for some reason to manufacture these examples of suppression above what really did occur. (I recall a similar HN article about the secret suppressed queen Semiramis, who was proverbially famous until we abandoned classics education.) Although the peculiar anglo attitude towards philosophy probably didn't help, maybe she was just not that interesting: the idea that a philosopher's ideas were really just a distillation of his personality, way of life, and physical health weren't novel.