skysight-inc/HackerNews huggingface dataset:
Quite well put, thank you.

> And in a universe where unicorns popped into existence at random points in history, the same would apply -- the FC would be causing such things, but how would we know that it is choosing to do so?

So this particular event, if it happened, would actually be in favor of a personal God! For lions, we can trace a history from big bang to earth to life to evolution to lions, everything consistently explained by emergence. Popping into existence would violate conservation laws for example and would make it more likely that a personal God is causing unicorns, not impersonal laws.

The second paragraph seems closer to what I have in mind. But I'm not sure what the contradiction is between the two paragraphs. To me, "the FC's role is limited to making this theoretical history an actual history" seems to be a variation of "FC is one set of rules out of infinite logical possibilities, that governs the universe's behavior." Perhaps you can clarify a bit more?

The bigger picture: my discussion of logical possibilities and FC as rules is mainly in response to "certain concepts (lions, gravity) are willed into existence, and continue to be so willed here and now; and certain other concepts (anti-gravity, unicorns) are not." or "there is nothing about a lion as such that makes it real." as you wrote a while back. And I am positing that instead of saying "God causes their existence from moment to moment", we can say: the axiomatic rules (physical laws + initial conditions) of our universe causes their existence from moment to moment. And everything else was to try show how axiomatic rules can cause the concept of lions without referring to one particular arrangement of particles or something in human minds.

Side note: even if there is a personal God, it seems to still be the case that God chose to create a universe based on a set of rules, because it is consistent with what we observe, right? A personal God can still intervene as He wishes (and presumably did at least once), in the same way that I can arbitrarily intervene at any generation of the Game of Life to change the state without any regard to the rules. But in general, I only need to make sure the computer is running, but otherwise let the rules do their thing. In the same way, we can say God is letting the universe do its thing based on its rules. But of course in this case, He can change the rules anytime, say by bringing unicorns into existence tomorrow even if they are not implied by the rules.

> IN BOTH CASES: the ruleset determines everything that will happen subsequently, including the existence of the lion & gravity and the non-existence of the unicorn & anti-gravity.

Yes. "Why lions and not unicorns" is explained by axiomatic rules of our universe, and "why these axiomatic rules and not something else" is explained by the First Cause.
It will either make your phone unstable or do nothing significant.
* Chronic fatigue syndrome and myalgic encephalomyelitis, for those not familiar with the abbreviations.

1. https://en.wikipedia.org/wiki/Myalgic_encephalomyelitis/chro...
it‘s called „motivation“
What YOU think is not too relevant though.

Copilot's license places all the blame for copyright issues on the users… which means microsoft isn't too confident when they assure everyone that it's fair use.
Fast Postgres Index Creation
Cowboy Coding is not a language thing, it’s a mentality thing. I’ve seen many beautifully crafted Perl projects. “Perl Best Practice” was a thing
I would't store company data or code outside of approval services, but one might say that my notes, including notes on the people I meet and projects I work on, can constitute proprietary information - so yeah, it is a bit of a grey area still.
Why Americans pay so much more than anyone else for weather disasters
I think another blog could be similarly written on "don't fix it if it ain't broken." Fixing things before they are broken is substantially cheaper and takes far less time. But it is far easier to push off. Maintenance and fixing things BEFORE they are broken is key. Of course, not everything needs to be fixed. But many sayings are often taken too literally.
What's up with flagging DuckDB articles? This seems on topic for Hacker News.
+1. ADB, either directly or indirectly is the only choice to debloat Android devices. This was the case of one of my old tablets (a cheap 10'' Mediacom crap) that resisted every rooting attempt, no matter which tool I could try. Removing unneeded services and stuff became a breeze, although the process is quite dangerous and I ended up with something that can't run Google services anymore, but does run Whatsapp for the 7-8 contacts I couldn't convince to use email, and download from F-Droid, which is enough for me.
This video is one of the most scary thing I have watched on climate change. I have been thinking about it since it was published. I have read Michael Mann’s answer to James Hansen and that didn’t make me feel any better.

I am really waiting to have more people looking into it.
A little transparency upfront would have probably helped. I see this sort of backlash on down weighted or flagged posts sometimes. There was a satirical codebase posted here implementing basic semantic search, with the implied joke being that few of the many vector database startups have any sort of strategic advantage or moat. Down weighting stuff like that seems like a clear conflict of interest. At the very least, a brief explanation would probably help. Hell even just a [down weighted] marker would prevent it from looking like a quick attempt to avoid dealing with criticism as a community and group.

For what it’s worth, I work in deep learning and would have really appreciated discussions with the community here about what may be an inevitable backlash (given its premise of disrupting many professions). Silicon Valley leaders aren’t always known for having their finger on the pulse and this seemed like a good moment to have an early debate about that.

In any case, thanks for following up with an explanation.
one of my subjects at uni in the 90's (IT degree) required me to learn cobol. god i hated that class. thankfully i dont remember much of it. it was actually before we learn't c/c++, also VB was a big thing then too.
It's impossible to prove that code works. But tests are a strong indicator and at least put bounds on where the program does work.

If you're paid to write code that works, you're paid to write tests. This is fairly standard in every other engineering field.
A cheat sheet would be useful too! But I mean shortcuts for frequently used actions like copy/paste and delete.
Why does the statement need to be either true or false, and why would tests versus a type system have to be entirely equivalent? The parent comment mentioned that 80% of tests can be eliminated with a good type system, not that a good type system can entirely replace tests.

IMO working with a good type system for a decent length of should absolutely make it apparent that a whole host basic but pervasive errors are practically eliminated, or at the very least heavily mitigated. Silly errors like thinking an array of numbers is just a number, or an Id is a string instead of an int. Every developer I have ever worked with makes these mistakes all the time, especially the developers that say they have never needed a type system or that type systems somehow limit the expressiveness of their code.

I would really like to know if there is an efficient way to write tests that can adequately cover these silly errors without over burdening the codebase with heaps of extra test code that causes rigidity and friction for refactoring.
CPAN was pretty great, all the good practices around documentation and unit testing as well as quite possibly the first real internet native shared library community complete with beautiful tooling for one step download/install/test and strict curation.

on my first day of my first software internship in the mid 90s, my boss handed me the ora programming perl 5 book and said "read this." it served me well as a swiss army knife for many years.
Never heard of it or seen it documented anywhere. What is an "error loop installing apps" and where did you see that documented?

> The internet is full of threads of people with this exact problem but there's never any documented way to fix anything in an iPhone, it either fully works or good luck.

Is that hyperbole? There's a video of a guy putting a headphone jack in an iphone 7.
Tbf, you might get a core dump if you have them turned on, which is... Kinda like a stack trace
Be the change you want to see.

Don't expect skilled people who care about your constraints to dedicate your life to them for $100 a year, when they might get sued to death.
Unfortunately not literal. I wonder if it’s possible to etch a model into metal/glass in such a way such that when you shine light in, it uses the frequency as data and routes it through a path which represents a token, hence a real “speed of light” ML model.
I was discussing support issues with some OSS product maintainer, he was OK to create new features, but he was not OK supporting, securing the product. This is why I am building brainpick.bot to enable Stackoverflow like gamification to communities around the product. There is a monetization option as well.
You can change your browser's default font size if you find it too small. It's in Firefox's main settings page. Websites shouldn't force "font-size: 18px;" because it then makes the font smaller for users who picked a larger font in their browser.
This is a great post. I feel the same on many topics.

> I was never a huge TDD believer and I’m not one today.

I'll never forget this savage takedown of TDD by Cedric Beust: https://www.beust.com/weblog/the-pitfalls-of-test-driven-dev...

The best rebuttal to TDD that I ever heard from a developer that I respected: "I don't care if you use TDD or whatever. When you commit code, tests need to be included." That's it. And yet, the TDD evangelicals are like the vegans of diet or calisthenicians of fitness -- always annoying, no matter what they say. (Side note: I was a vegan for many years, and I still thought the loud ones were annoying!)

> write it twice

This is what I hate so much about unit tests -- you chisel the statue once from stone, then, by writing unit tests, you essentially chisel the inverse to fit your new statue. So exhausting.
It’s not meant to be helpful. It’s simply the truth. They’re literally talking about 15 seconds.

I’m sorry, but if you’re looking for subsecond compile times, you’re simply not going to get it in C, C++, Java, or really any statically typed compiled language for any project that isn’t trivial —- no matter how many dynamically linked libraries you break your project up into.

They want a REPL, and they’re just not going to get one while dealing with these technologies.

Even your idea of creating a million tiny libraries to achieve less than 15 second compilation and launch time is insane, because now you’ve just “solved” developer efficiency by creating a deployment and maintenance nightmare.

It’s not a serious solution.
100% agree here !

On one hand, it makes me really think about my first job - when we automated a lot of things, but the people who did it knew how things really worked. After 2 years, all the newcomers only knew if the indicator is red or green without any understanding of what's really going in - it went downhill from here.

On the other hand, if I understand your last paragraph correctly, the real question is do we really need to know all those details ? Would it just be better to have it automated, and the AI agent just ask you questions relating to the desired outcome and outlines the limitations and impacts of your choices, as well as the options available.
"...estimate that the Tonga eruption sent around [146 million metric tons] of water vapor into Earth’s stratosphere – equal to 10% of the water already present in that atmospheric layer."

Is this one of the reasons why winter's been so weird this year in North America? I've heard of El Nino as being the suspected cause, but this sending of water vapor into the air also must have had long-term effects.
I'm using Jetbrains AI, ChatGPT 4 and Cursor.

Cursor is great for diving into third party codebases as it can read your whole project if you tell it to. So, let's say you're in some frontend file and don't understand why it behaves weird, it can point you to a different file (e.g. "Hey, there's a global CSS file that has an impact here!"). I hope Jetbrains will catch up, soon.

Jetbrains mainly differentiates from ChatGPT through their IDE integration. You can select code and ask it to refactor, find issues or chat about it. It proposes Git commit messages.

When I feel lazy, I use AI to create simple functions, e.g. "write a function that recursively reads all files in a given directory and returns all file names containing a given string". But most of the time it's more about dealing with existing code than implementing something new.
For folks who think we should blame Facebook, what do you suggest we do next to stop kids from buying drugs on Facebook?
It's not a hint.
What does that have to do with the content of the article and what Facebook is being accused of here? Facebook allowed prescription drug marketing for drugs that don't even have FDA approval in the US, this isn't about anyone's private messaging, and it's something Google has already been sentenced for.

"In 2011, Google agreed to forfeit $500 million for allowing online Canadian pharmacies to place ads targeting U.S. consumers, resulting in the unlawful importation of prescription drugs in the U.S. "
sorry, I didn't read the linked post closely enough—from my reading, this case is not one of the ones that was broken
Worst is, nowadays such bloated "security" software is being forced onto Linux servers too... every time I check why something feels slow, Microsoft Defender is hogging resources.
The 'Project Farm' reviews on Youtube (https://www.youtube.com/@ProjectFarm) really have been eye-opening for me in that regard; sometimes there is still a strong correlation between price and quality but half the time the best quality (not just price to quality ratio -- subjective or otherwise) ends up clustering in decidedly interesting places.
> was 100% sure that I know how the code works and that this can’t happen again.

No, no, no and nope.
If you use UEFI, all you need is to copy the files from the ISO over to the USB stick.

Am I missing something?

(And the same applies to UEFI capable Linux-distros)
Agreed, when they popped out this "such and such isn't a function" I lost the thread. You would know about that before you even started if you just read some logs. Unless they don't have logs, in which case a choice of language isn't going to solve their problems.
because it means enough people were spurred into action because they already use this ecosystem
If the library used TypeScript, it wouldn’t have the issue.

The point still stands.
Nah, infinities don't exist. There are just recursive procedures that emit ever-increasing numbers of digits with no bounds checking.

The diagonal proof is just arguing that two nested while(true) loops will run for longer than one. (And then we define this as "bigger" just to confuse undergraduates)
I think they are being facetious. It's relatively obvious Meta doesn't employ any large number of physicians. They're pointing out that the government is just making up whatever story they need to so they can violate everyones right to privacy.
> been down that road, without native json support it's a pain

Did rust get native JSON support in the year since I last used it?

If you need JSON support in C++ nlohmann json is the defacto just like serde would be for rust.

Now if you just aren't adept at C++ build tooling that is fine as a reason to use Rust for this but "because there is no JSON support" definitely isn't a valid reason.
> Giving all that up to a stranger (albeit behind a passcode) is a step backwards in security and privacy.

putting all that on a device that you don't control and that "strangers" at apple or google can access or make changes to at any time, and without any notice to you and without any permission from you sounds like a step backwards in security and privacy.
> What is an "error loop installing apps" and where did you see that documented?

I can't remember the exact error text but any attempt to install or update an app said something about an error setting up payments (even a free app) and the only way to stop this modal loop was to reboot the device. It's just in a drawer now.

That kind of sums up the general experience I had with the device.

For my wife's keyboard issue it's pretty random, you are typing and then the whole screen freezes for 4 seconds, when whatever you typed while frozen unbuffers all at once. I guess it's some bug in the Vietnamese IME since the keyboard needs to buffer diacritics (I'm just guessing)

> Is that hyperbole? There's a video of a guy putting a headphone jack in an iphone 7.

No it's just how it works in iPhone, full of random suggestions in case anything sticks because nobody has an idea on how it works and there's never any debug info.

Another example, I had another error setting up the dev account, nobody knew what to do, even their own support at Apple!
What would be my profit if I bought 1 BTC in 2013?
Yes, two guard pages are needed. No, the stack management stays the same: it's just "CALL func" at the call site, "SUB RBP, <frame_size>" at the prologue and "ADD RBP, <frame_size>; RET" at the epilogue. As for chances of a cache miss... probably, but I guess you also double them up when you enable CFET/Shadow Stack so eh.

In exchange, it becomes very difficult for the stack smashing to corrupt the return address.
macOS is trying to keep its systems safe. Can’t leave the back door open for few who were used to it.
Check out It's Quieter In The Twilight movie.
I can relate to the issue: tests work with specific check conditions, and there might other side effects that are not critical to the test but still impacting the user.

For instance a page that properly loads, but surprisingly slowly. If you had no requirement of speed and it still loads within the test timeouts, it will pass fine, but a manual check would have raised the issue and perhaps underlying well hidden bugs.
What’s cool is that they dithered the images to voluntarily to make them as small (in bytes) as possible.

So it’s visual nice but it also is coherent with their editorial and with the choice to host on a solar powered server.

Everything is explained here :

https://solar.lowtechmagazine.com/about/the-solar-website/#h...

I think that just this set of choices transforms this somehow classic blog into something special. Maybe some sort of technical art. Somehow it’s the living proof that in a low-tech world, we don’t have to ditch the internet, just transform it.
Yes it very likely would have. Most libraries have their types shipped alongside the JS, and if that's where the change was, it would have been caught during build.
I'd argue that even if the types for the changed package were from DefinitelyTyped, it probably still would have solved the issue if the developer had just blindly updated some package versions-- they likely just upgraded everything, ignoring semver.
This exactly. Javascript needs a standard library.
A journey with Ngrok, WireGuard and TSNet for a mobile service
>The only change that isn't "breaking" is one that only adds functionality.

Ha! Think again. On of the more annoying problems I had to analyze was when a new PHP version added a function that already existed in my application (this was before namespaces). The runtime did not like that.
You seem to be stuck in the 90-ties. Computing is 64-bit nowadays, not 32-bit, and modern architectures/ABIs integrate frame pointers and frame records in a way that’s both natural and performant.
> I deleted all cache on my local environment, all node_modules references, all lock files. I ran an installation process once again and exported again… it didn’t work.

> The next message I sent: “We found it!”

May be I misunderstand something, but from the post it sounds that they don't even commit their package-lock.json. They're using node like its 2012.
It’s fine, as long as the suffering part is limited
Jup, and if your employer doesn't stop you or even expects such behavior that is called a bad work culture.

Sure, I would also do long programming sessions on my own things every now and then, but those happen because I am in the flow and it feels like more work to come back into it the other day. But those are my own projects. I don't owe this to my employer. If they want that they could offer me double my current salary and even then I would insist on only doing it when it makes sense to me.
Nintendo/Disney watches this before bed every night.
There was this sailor who always did extra knots and shit on his ropes and lines. Because he wanted it to be extra safe.

Then in a storm the ship sank because he couldn't undo that shit quickly enough.

I guess you can tank your software project too by too much or wrong testing.
Right. Edited :)
I agree. I knew the climate models were wrong so I dismissed the climate scientists. I did not know how wrong they were and on what measurement. The data on human causes is perplexing, as lower car emissions warmed the planet as the co2 scattered less light causing the temperature to rise, however this would cause acid rain and other issues even though the temperature lowered.

Temperature is like reading the Ghz of a computer, it could mean many things. Acidification, chemical dumping, and extreme weather patterns can occur with deadly effects with or without readable measurements in temperature.

Be ready for 'it' human caused or not.
I also worked for Nokia 13 or so years ago, though not on Nokia.com

Thanks for your work, one of the things that I really liked about Nokia was the passion for performance.

On the flip side: I was on the Meego project and we joked that we had the most expensive clock application ever created, because it kept being completely recreated.
The types should be shipped with the code which is nearly ubiquitous for NPM packages these days (at least the ones you should actually be using). If they were, you would catch the issue as soon as you built the app, which should be happening in a CI or deploy process (never commit your compiled code).

> Change in one file sometimes does not result in compile time error in another file where changed type is used.

Sounds to me like you are missing types or the types you have are incomplete.

When you do things correctly, this is not an issue. Part of doing things correctly is preferring (and in some cases requiring) that your dependencies either be written in Typescript or at least ship the types directly in the NPM package, per best practice.
Debatable, and I don’t know how that helps the author. I’m getting huge “silver bullet” sentiment from your replies too.
Let me take a guess:

You have exclusively used Debian-family distros.

Try a desktop distro like Fedora. Debian-family is a server distro that got famous after Conical/Ubuntu did marketing really hard.

Ubuntu is the Apple of Linux, they are famous from marketing, not quality.
There are quite a few discussions here on the topic over the past couple of years, eg:

https://news.ycombinator.com/item?id=36997834

Ocean Heat Record Broken, 289 comments

More:

https://hn.algolia.com/?dateEnd=1710661488&dateRange=custom&...
> Surely this is a problem with the tests then? Whatever manual steps you're referring to with "actually tested" should be automated and part of the test suite.

As far as I know there is no real way to automate ensuring that the code being submitted is tested.

Coverage gates are the closest, and coverage is routinely decried on this here site. The only thing that actually comes close is a very strong type system obviating most tests… but not all, and we’re back to square one.

Then there’s the issue of tests testing something useful, yet not over-testing.