skysight-inc/HackerNews huggingface dataset:
I have found success with having a session with the PM where the goal is not to have complete, perfect cards, but at least one ticket for every thing you can think you will need to do on the project.

So you’ll have a bunch of one liner cards, but at smaller fidelity, like

- Make a bulk create API endpoint
- Migrate data from old to new table

Then, if there are 5 or more cards there, make your estimate

((number_of_cards / number_of_devs) * est_business_days_per_card) + est_pto_days

It will not be accurate - but it will leave the PM and their boss feeling like the estimate was thought out and reasonable at the time, and any necessary delays will go over easier (“we estimated assuming every card was about the same number of days, but these two cards were large outliers that took longer than expected.”)

Much like the normal sprint process, but without the need to keep a track of sprint velocity beyond a gut feel.
Establishing a proof of a statement in mathematics means giving a series of steps of the form

A(1) && A(2) && ... && A(n) && B => A(n+1),

where each of A(i) has been proved earlier, B is one of the axioms with which you are working, and => means derivation using some fixed rules. The axiom list for B is context dependent, so that a journal paper may be using an extended set of the form "everything already known by the community, given a reference", etc. A textbook will use lower level textbooks mentioned in the introduction as lists of such contextual axioms.

The IMHO biggest issue with this chatgpt proof is that even though correct in principle, it really misses the context of your exercise: it does not really know if e.g. the well orderedness principle had been introduced already, which exact definition of the natural numbers is being used (Peano, intuitive?), etc.

As a result, the "proof" it provides is primarily name dropping — albeit correct in principle, it still requires filling in the actual argument. So, might be helpful as a hint for a student, but requires the proof to actually be produced.
you would need to add alpine.js or something equivalent though. there is nothing wrong with a few core libraries that are long-lived, thoroughly debugged and understood etc.
This is exactly the kind of "Sarcastic comment by arrogant developer" that the article mocks.
Shit developers used to cobble something together in PHP and had a bunch of horrid code on the web to copy and paste.
Looking up some deeper part of the stack is not that hard for a legit dev.
Because C++ goes through the effort of letting you manually specify capture lists, I suspect they would never introduce a syntax which did not
"""A future statement is a directive to the compiler that a particular module should be compiled using syntax or semantics that will be available in a specified future release of Python where the feature becomes standard."""

future statements are module specific and GIL/no-GIL doesn't fit easily into that model.
> They operate on a vague sense of envy that someone might be making more money than a preferred class

They operate on the principle that without revenue the people doing the actual work of journalism will go out of business.

Do you think the regulators are wrong on that point?
I get what you’re saying, but Cloudflare isn’t trying to keep their methods a secret. They’ve openly written before about the key takeaway: how phishing-resistant MFA (particularly security keys) have saved them in the past. Everything else is just product documentation that’s online to read.
> if you don't care about the feature ... all you're left with is a broken window.

Maybe. Or maybe I'm left with a building that works fine for me. It might be lacking some features that some people want, but maybe thats ok.

> Maybe the onboarding is the real issue. ... the maintainers are too busy to do that themselves most of the time.

Yeah; I saw a great talk from Strange Loop the other day by the developer of Elm on the economics of opensource software[1]. He pointed out that a "good" opensource project really wants good dev work, a maintained issue tracker, infrastructure (CICD, etc), a good website, documentation, blog posts, onboarding of devs, community stuff, conference talks, trademarks, a roadmap, and so on. But it takes more than one person to do all of that. It takes a whole team.

And we're spoiled by opensource projects like React or Rust which are sponsored by companies with money. My little opensource projects just have me, in my hobbyist time. And I'm not very good at all the non-programming things. And I'd much rather be programming than doing all of that other stuff.

I think a lot of projects really want fulltime maintainers. But instead they just have the unpaid, overworked authors doing what we can. Of course users want better. But, well, thats how it is at the moment. Honestly, its surprising that everything works as well as it does.

[1] https://www.youtube.com/watch?v=XZ3w_jec1v8
I think the critique is that you're applying this too narrowly to front end developers.

Pretty much anyone who has been around long enough has met someone with years and years of experience doing exactly one thing, whether that's WordPress or java CRUD or something else where they have blindingly obvious gaps in their knowledge that someone with their experience shouldn't.

The lack of deep knowledge isn't limited to a single field.
Typical action movie hacking scene:

Leader: How long until you can hack the mainframe?
Techie: The other hacker is really good; at least 2 hours.
Leader: You have 1. Get it done!
[commence flying around the 3d filesystem]

Whenever I watch a scene like this, I mentally add a voiceover for the techie:

[Techie thinks]: My actual estimate was 20 minutes. I can probably get it done in about 50, then I need to fly in the 3d filesystem for 10 more minutes looking busy so Leader doesn't get any big ideas.
Mandatory reminder for Voyager: https://www.youtube.com/watch?v=H62hZJVqs2o
This might just be a contrarian take on my part, but maybe we'd be better off without Google News--and most of the publishers it features.

When was the last time you read a news article in any "major" news source, of the kind that typically appears on Google News, about a subject you know well and you thought, "This demonstrates an accurate understanding of even the big picture elements of the story"?

I don't remember having had this experience since I was a child, decades ago. I was a teenager when I first extrapolated that if they couldn't report with even big picture accuracy on the things I did know something about, odds were that they were similarly wrong about all the things I didn't know about too.

With that perspective in mind, it's come down to a question for me of whether it is good or bad for my life to be immersed, near-constantly, in stories about (usually awful) things happening in parts of the world that I can't do a thing about. I don't think it is.

I think that's what leads people to feel powerless and to live in fear. It leads to this "victimer than thou" culture where people act like (and largely feel like) their only hope for surviving something difficult that might happen in their own lives would be to get enough sympathy from a large enough audience that people would actually help. Nobody feels like an agent anymore because they're constantly immersed in stories of awful things in which they don't have any agency.

There's this broad cultural assumption that "one must be informed about world affairs," but it's at the expense of local affairs, the affairs we could affect. If you know about violence on the other side of the planet, but don't know that your neighbor three doors down is having trouble getting to work and at risk of losing their job because their car broke down, I'd strongly argue that your priorities are out of whack. People's lives everywhere are getting worse because we're all worrying about things far away that we can't affect rather than local problems we could actually solve.

I'd just as soon see Google News shutter. I think we would all be better off without the 24-hour global news cycle.
Google and Meta Pull Out of Web Summit over Cosgrave's Israel-Hamas Comments
It looks super cool, but it seems problematic that it is free. If I am not paying, am I the product? What is the model here that is sustainable?
> Using the number of years of a measure of technological relevance, it can be argued that ARM and RISC-V designs are even older than 35 years.

I don't know what you are talking about.

X86/ARM are highly successful, being 30-40 years old proves that they are well maintained & comes with a long history of good ecosystems. RISC-V is obviously rising with no limit for its future.

POWER lost the competition, it is done, it should be depreciated. With that in mind, its 35 years history is not a fancy record, it is proof that not many people are going to pick that junk up again.
And it's self-reinforcing. I live in a rural county the size of Connecticut with just 5k people in it. The people that choose to live out here are frequently the ones who particularly value that extra freedom ... including law enforcement. It is almost routine here for the sheriff to announce that he will not enforce some state or federal code or another. Talk to a deputy about crime and he'll ask if you have guns, and then recommend that you buy one if you don't.

The county government does little and our property taxes reflect that.

I can and have burned very large piles in my yard, but we're not savages. I have to notify the local volunteer fire department first, or they're libel to show up, and not happily.
Explain.depesz.com: PostgreSQL's explain analyze made readable
Godot has wonderful 2D support, like, true 2D. Most other engines do 3D but with the third axis as a Z value, i.e. height.

Godot has heigh/Z value, but positions etc. are x + y.
Guess again. Cops in large towns are even more protected by very powerful unions in addition to qualified immunity.
I've noticed a pattern with the different groups of people who are trying to go beyond the Standard Model. One group says that there is a need to "quantize gravity" while the other says the need is to "gravitationalize quanta." The former do not tend to have very much experience with GR (or differential geometry) while the latter do.

I say we need to begin with relativity, and thoroughly understand it before trying to make quantum theory do more than it was designed to do.

Not many people realize that Dirac was a string theorist before string theory became a thing [1]!

[1] See especially: "Quantum Theory of Localizable Dynamical Systems" (Dirac, 1948).
Trying to formulate "when pigs fly" joke about the pig launcher, but it's too early in the morning...
> not that you can't use higher bitrate elsewhere

If, as a user, I think the video quality on another platform is superior to that on Twitch and knew that there was an alternative platform where I could watch the same thing at higher quality, the experience on Twitch is clearly less than that on the other platform. This breaches the first guideline.

> The second bit simply says "third party service"

And this is the real point: it simply says. It doesn't clearly specify, there is no definition of these terms. These vaguely/innocently worded hints will be enforced opaquely whenever they feel like it, without explanation of what, specifically, you did wrong.
I usually teach HTTP with `nc example.com 80` and then `nc -lp 8080` plus a browser.
So happy to work without estimates for decades.

We just work on our tasks until they're done.
Why?

Has anyone ever worked on a product where this would be even remotely feasible?
TIL there is a Sioux National Repository that apparently is an repository of open-to-public geospatial imagery, yet whose name I can't find associated with any other topic than this Skylab incident itself. [shrug]
The non-technical managers and agile coaches are the problem. That's why the best software projects don't have them. Linux kernel developers don't run story ticket velocity poker sprints.
If you care enough to pin, purchasing actual certificates isn't that hard is it?
AMD64, ARM64, RISC-V.

This is not rocket science. No one needs POWER. Museum is a better place for those kind of vintage stuff.
Tuned Mass Dampers
No, n^2+1 is an open problem (conjectured to be impossible though)
Yeah. I think deep down opensource doesn't rest on the ability to make pull requests. It rests on the ability to fork. I think maybe people should do that more often.

If you add the missing feature to a fork, nothing stops you from making use of that code directly. You aren't dependent on the author merging things upstream. You never were.
Charted: 50 Years of Music Industry Revenues, by Format
Why are you pushing software engineers for "estimates"? You don't ask mathematicians how long that conjecture will take to prove. It's done when it's done.
> they have so little of it where its actually experienced: at the daily, local, level

Quite a sweeping generalization considering we're talking about a headline of a single, unusual case.
Why isn't socialising with friends productive? Having a strong social circle is as impactful on your health and wellbeing as exercise.
I tried to let this sink a bit but I have no idea what you mean with your example. Was the Amazon-iRobot merger somehow a clear case that should and could have been forbidden? I don't know anything about that merger but to me it sounds like they are mainly in completely different fields so I don't get how it applies here.
Same feeling. How this article came up to the top? The example he gives is terrible "someone used a modern framework was hacked, but the performance was not caused by the hacking, but the frameworks was terrible slow" - Ok, which was the framework? How did you find it was slow just by looking at a diffs? What someone not knowing how to trim a tool for performance has to do with abstractions?
I don't see how LLM would allow someone to do all of the experiments found in this paper. How do you think an LLM would promote more lone wolf science?

There's some solid microbiology here which underpins the quality of the science.
I have so many issues with the underlying context of this article. Its choice of neo-christian metaphor. It’s assumptions of good vs evil. The subtle hints that they are your savior yet can’t muster more than 2 quotes on their tech from customers. The article could have easily gone with another metaphor or needle->haystack rather than invoke subliminal God complexes.

I’m also curious as to what more you bring to the table over Materialize. CTE’s, etc. How about a blog post where you leave the holier-than-thou christian symbolism for actual tech features and why one should consider you for their data engine needs. Beyond trying to see if The Lord has admin access.
> thought floating point is an essential part of databases

To add to the other replies to this, the number of areas where CPU floating point performance matters is shrinking. GPUs are where it's at nowadays. Also, T1 was never going to be a gaming machine or a supercomputer node. Whoever thought otherwise didn't read the actual specs, which were very clear back then.
This is one of my favorite games of all time, probably largely for nostalgia reasons. They have it on iOS fyi.
>as a result, we've had unbelievable amounts of "wheel reinvention".

During the crypto boom I distinctly remember hearing someone say something about creating a decentralized Discord. I was like... that's IRC.
You are totally right, i actually forgot that Petite-Vue is the only core library i'm using atm, also tried Alpine and they are great.

And their tiny scopes are actually nice dogmas to play around, i haven't yet experienced them not being enough, and when they aren't you hack together some stuff to extend them, and that actually makes coding fun again. It's like the demoscene, it's way more fun to code with some restrictions and limitations you have to be creative to solve, instead of setting up some dependency/folder hell.

Optimize, minimise, make more elegant, make more readable, that is where the fun is!
Carbon capture pipeline nixed after widespread opposition
Show HN: Simplified Note-Taking Solution – Organize, Simplify, Create
Ruby is really good as a language these days, and has only gotten more performant.

Rubocop has gotten wide adoption and has standardized a lot of good practices. By default it's awfully strict.

I worked full-time with Ruby for 9 years across several companies and I solemnly swear that I never saw a single person use method_missing or consider it as anything other than a mostly terrible idea.

Never saw it used once, or even considered once, in actual application code.

Generally that was the case with any of those "sharp knives" or "potential footgun" language features. Monkey patching is another good example. Used to be extremely common and even recommended, but now it is extremely frowned-upon and used only with extreme care/desperation in application code.

The "problem" with Ruby is that it has become kind of a monoculture around Rails. Rare to see it used for anything but Rails these days. People who want a fun casual language are using Python because Python has that booming ML-adjacent ecosystem and a strong foothold in academia/science.
'Recession-resilient' Tesla misses Q3 expectations, slows Mexico expansion
That’s what I thought I remembered hearing about.
Let's hope that strategy plays out. They (FTC) only have anti trust defeats to show so far.

A string of losses will set precedent that will get harder and harder to overturn. It's not clear from the outside if Ticketmaster would be a stronger case but something to ponder.
Chatgpt would have no problems introducing the well-ordered principle if prompted, so the self learner can dive into the details if needed.

Hints are probably what you want if you’re a self learner and stuck, so actually chatgpt is doing a good job to guide self learners through a text they’re stuck on.

Being stuck on one statement for days is not a strategic way to learn.
Because developing software is almost always an economic activity, and proving maths conjectures almost always isn't.
International Criminal Court blames spies for targeted and sophisticated attack
Police raiding / intercepting / modifying servers does happen here too. Last big case: https://www.bleepingcomputer.com/news/security/encrochat-tak...
All parties involved should be ashamed. The ones pulling out are endorsing war crimes, and Cosgrove should not have crumbled like he did. The Israeli genocide must be stopped.
Oh wow, I had no idea the story of the $600 hammer was still around. This has been a talking point for like 40 years now, and it was a different number when I was a little kid. Turns out the story had been debunked at least 13 years before the article you posted was written, and is 25 years old now. The military never paid hundreds of dollars for a hammer, someone just averaged a bunch of financial R&D overhead and then someone else took the numbers out of context and spread it around. https://www.govexec.com/federal-news/1998/12/the-myth-of-the...
There is no evidence that you get better economic outcomes from micromanaging software engineers, and not for the lack of trying.
https://www.pexels.com/search/mexican%20person/

Quite a bit of variety there, looks pretty mexican to me!
Show HN: PlugNFunc – Invoke ChatGPT Plugins as Functions by API
Hello HN Community,

I'm thrilled to introduce you to a tool I've developed called PlugNFunc.

- ChatGPT plugins are valuable but usually locked behind a paywall.
- OpenAI's function-calling capabilities are powerful but cumbersome to implement and debug.

PlugNFunc tackles both issues by enabling users to easily invoke ChatGPT plugins as functions, and what's more—it's completely free to use!

Why PlugNFunc?
We created PlugNFunc to democratize access to ChatGPT's advanced features and make it easier for developers to integrate these capabilities into their applications without the complications typically associated with OpenAI's function calls.

Key Features
Ease of Invocation: Invoke ChatGPT plugins as if you're making a simple function call.

Contributing
We'd love to hear your feedback and suggestions for improvement.

We're looking for valuable input from the community:
- Are there any usability improvements you can suggest?
- Would you find a more detailed tutorial or video walkthrough beneficial?
We're keen on receiving your insights to make PlugNFunc better.
Because it hasn’t paid out yet, I didn’t expect diddly squat, and I have a family in the meantime? If you lost an iPad and found it ten years later magically transformed into the latest model, how would you feel if someone went up and said actually you didn’t lose your iPad?

Oh, not to mention that it’ll probably pay out 20% or less, and although it’s true that 20% of that is still more than the USD I put in, it was only through sheer luck that I’m getting paid in BTC instead of USD. Gox had both options and I happened to buy back in right before the market shut down.
> developers rarely put themselves in the shoes of the business side

The simplest solution to this is to make them an actual part of your business. Do your lead devs assist business meetings ? do the dev team get the numbers, get a look at the budget, work with you on the roadmap, look at the user research and brainstorm the features with the business and UX people ?

If not, why would you expect them to understand the business ?

The other side of that dev/business separation: as you put it, that creates a holy land of software development, as everyone has their own silo while expecting other specialists to be well versed into their own problematics.

I think many businesses are working dispite extremely siloed roles for their team members, and people tend to think that's an OK way of doing things as money keeps flowing in.
The Mind Behind Windows: Dave Cutler Interview [video]
Punish them for their future crimes, oh wise precog!

HOA mentality is cult like or a mini police state and the comment here is a perfect example of that. Nothing happening in that HOA is that important, and ultimately does not matter. In other parts of the world people are dying of hunger and being slaughtered, in America there are tent cities, and people in HOA are so isolated and safe that they take to freaking out about Betty 2 streets down not getting approval before putting a sign in her front yard. Spend your lives worried about more important shit, both HOA and zoning (who will roll up on properties snapping pictures too), because the things you are losing your minds over are things that do not matter. At all.
What RSS-capable alternative is there?

Even the paid experience of news sites is horrible. FT is the only one I feel positively about.
That's awesome! It's very quotable!
> It is in terms of OS market share

Sure, if by 10% you mean less than 3%, and we handwave Mozilla's market cap to several hundred billion dollars more than Google, and we skip over the fact that the "80%" share ignores the dominant modern computing platform, then yeah no sure, I hear ya.
There are issues with using the government to prosecute former leaders and the precedent that that sets.
Trial and error is a fundamental part of how we work as human beings. There is no learning or understanding without it and no "figuring it out" without it. So that dichotomy between "trial and error" and "find and synthesize" doesn't exist. They are the opposite sides of the same coin. You can't have one without the other.

Finding and synthesizing doesn't do you any good if you're unable to meaningfully apply it or understand what you're applying and what you're applying it to.

Trial and error also doesn't do you much good without the ability to back it with knowledge and to find the relevant knowledge.