skysight-inc/HackerNews huggingface dataset:
> You're also correct that you don't have to use lists, but again most OCaml code does.

If the list is not being used in a critical section, what's the problem? The implication here is that OCaml is slow or inefficient. OCaml is often orders of magnitude faster than other high-level languages (e.g. Python). Arrays in OCaml can result in some very fast code.
Rust currently cannot reliably panic on allocation failures because the error object is inside a Box, which itself requires allocation. This means that if memory is tight, panicking itself might fail.

For reference, this is the type that is returned from catch_unwind: https://doc.rust-lang.org/std/thread/type.Result.html

But I completely agree that Rust has exceptions. They are even used in the toolchain implementation for non-local control flow.
Technically if you take credit/a loan to pay for the car, you are not the owner of the car, the bank is, and you’re just in possession of the title, so it’s not exactly the same as this situation.
The obvious solution to the moral hazard is to require that the company not profit from the disposal of the lost luggage. Unfortunately this is difficult to achieve, even imperfectly. “Give the proceeds of the lot sales to charity” sounds like a straightforward solution, but who’s charity? Whoever ends up profiting now has incentive to cause more to be lost; the further they’re disconnected from the airline industry and the specific airline the better. Anonymous donation of proceeds would be best, if it can be managed.
James Lindsay, new discourses, does the best analysis of woke I know of. Including reading books, analysis of academia, etc

https://www.youtube.com/channel/UC9K5PLkj0N_b9JTPdSRwPkg
Forgive me, but I don't get what the issue is. Surely the "ownership" of the domain is irrelevant? The package-name is just a unique name; the only thing it refers to is the package.

In particular, I don't see any reason why the package-name needs to be related to the mailing-list/bugtracker, or to the location of the canonical code repository.

XML uses URLs as labels for namespaces; they are just labels. Nobody expects to find a document about the namespace, nor a schema, at the namespace URL. There's never a need to resolve a namespace URL. Why should it be necessary to resolve a Go package URL?

[Edit] I honestly don't know, because I've never used in Go.
> 8. Your Code as a Crime Scene (Finding problems in the code using code history)

There's a brand new 2nd edition on its way: https://pragprog.com/titles/atcrime2/your-code-as-a-crime-sc...
> More cynically, it will always be the case if teams are allowed to use whatever they want

Are you a manager?

My cynical take is that this happens when managers choose tech as they know nothing and push for LinkedIn driven development
Back in 2019, I was using blokada but from outside the phone source network analysis, I found blokada is doing network requests but not showing them in ui.

Nuked the app.

I was at around 1 million blocked requests so its not like I did not use it or like it.

Now I just do pihol
Children of Time is a really good novel. Was scrolling through the comments to see if anyone was going to mention it.
Indeed, this follows from "efficient market hypothesis", "TANSTAAFL", etc. and probably has some more solid theoretical grounding too: if you're getting a good bargain, someone is getting screwed. Quite likely it's you.

It may not seem like that to the bargain hunters, because they're being used indirectly (the bargain is there to get them into the store), longer-term (the bargain is there to form a habit), or stochastically (the bargain may screw over only subset of buyers, so while on average, the buyer is losing, you in particular may be winning this time around). Sometimes the scope is even larger (e.g. the vendor burning money to dig themselves into the market). Or, it may be just the buyer exploiting some corner case so obscure it's not visible unless your time is literally free.

It's a simple idea that's hard to swallow: the bargain benefits the dealer somehow, or else it wouldn't be offered.
I have had no issues with Chinese IME (either ibus or fcitx5) using GTK4, iow using the --gtk-version=4 chrome flag.
Online Disinformation Surges in Balkans Amid Israel-Hamas Conflict
They are all viable as backend operating systems, understood as server use. I don't think it's uncontroversial to say that it what they are mainly used for, although some people also use them on desktops/laptops.

I'm not terribly familiar with NetBSD and FreeBSD anymore, but I can provide some of my own motivation for using OpenBSD on servers whenever I am able. I don’t consider myself a beginner to Unix or computers, but I do consider myself a fairly inept and inexperienced systems administrator, with no great desire to spend the time to become better, and my needs are fairly basic - just the usual web/shell/IRC/mail server stuff, and other random infrastructure needs that come along for my work. I prefer OpenBSD because it is is so minimalist, the defaults so sensible, and the documentation so good, that I trust the machines I set up. I have confidence that I did not overlook something crucial. The OpenBSD http daemon is beautifully simple - too simple for many uses, but perfect for mine. The OpenBSD mail daemon is the only mail daemon I have ever been able to set up from scratch, just from reading the man pages. Other systems are more featureful (and probalby faster), but I always worry that I might have overlooked something.

I run Linux (NixOS and RHEL) on my desktop and some servers respectively, because of needs that OpenBSD simply does not support (mostly GPU computing). Linux is fine and certainly runs very fast, but OpenBSD is the only operating system I honestly like.

I've heard someone mention that FreeBSD is "the Linux of the BSDs", meaning that it is bigger, has more features, and is faster, but (probably) also that it is more complicated. I don't know if that is actually true. My last FreeBSD experience was in 2003, where I used it because the Linux emulation could run 3D games like Enemy Territory faster than Linux itself could. (I don't think that is a common use case anymore.)
I had a look at the repo in https://sourceforge.net/p/recoil/code/ci/master/tree/ - I think the meat of it is a giant file called 'recoil.fu' (22481 lines long)

[edit] it is written in the 'Fusion Language' https://github.com/fusionlanguage/fut (and not https://gaelduval.com/introducing-fusion-the-ultimate-progra... !) - there's a playground at http://fusion-lang.org/ . I'd never heard of it before but seems a bit like Haxe perhaps?
I’ve heard this discussion point often “most users won’t switch to the new store” but the problem with that point is it makes all of the 3rd-party App Store development and related activities pointless. I don’t buy that they will need to maintain a presence. iOS is what moves the needle and drives revenue.

US regulation will almost certainly follow EU regulation to allow 3rd-party app stores or it’ll just be a tax we all pay in the US on prices (probably small, admittedly) for devices and software cost as Apple has to maintain increasingly divergent os profiles for different locales.

Also I think you are correct that Meta may follow 3rd-party App Store rules and regulations, but if they’re all subject to to the same rules and relegations allowing the 3rd-party stores is either pointless and annoying (download the Meta store to download the Meta apps) or it’ll just be used for scummy and scammy software.

But also a lot of let’s say user data tracking for example could theoretically be banned by the EU but Meta can just get around that and maybe pay the cost later. It’s not like there are any watchdogs here. They don’t need Apple or their requirement to allow Sign in with Apple or to follow any sort of checks and balances (they are dogfooding) from another institution.

All that to say, I see no benefit to these 3rd party app stores and lots of potential negatives. But I guess it’s “more open” or something?
And yet this does not prevent anyone from doing it in the EU.
Never had FB, IG, X, etc and am happier for it.
A deepness in the sky - Vernor Vinge
It's actually too good. I have a habit of reading before going to sleep, and this book is so hard to put down that I am becoming sleep deprived
> Technically if you take credit/a loan to pay for the car, you are not the owner of the car, the bank is, and you’re just in possession of the title

You are the owner, they just have a lien. Before that qualifies as ownership, possession takes hold.
NetBSD is characterized above all by its support for many different hardware platforms (slogan: "Of course it rund NetBSD"). There are currently 57 - including legacy systems such as Commodore Amiga: https://www.netbsd.org/ports/

Support for all these platforms is based on a single source tree. This is organized into machine-dependent and machine-independent parts. The machine-dependent part contains the parts specific to a particular computer architecture, which establish the connection between the hardware and the independent parts.

This division, together with the central management of the source code, is the reason why newly developed solutions are immediately available on all platforms: The time-consuming backporting of new functions is not necessary. New functions and error corrections in the machine-independent code are immediately available on all supported architectures.

This also applies to the development of new device drivers. A PCI card therefore works on IA-32, DEC Alpha, PowerPC, Sun SPARC and other architectures with PCI support. An Ethernet chip that is included on various PCI, ISA and USB devices only requires a single driver, which is then connected via various bus attachments.

(Partly translated from German Wikipedia: https://de.wikipedia.org/wiki/NetBSD)
The grapes of wrath, John Steinbeck. Still feels surprisingly relevant with regards to workers organizing and how we view migrants today.
Since fractional scaling got cut from GNOME, I guess I will be waiting a bit longer.
Of course anyone could be monitoring SMTP that's not encrypted. It possibly could be your VPS provider but that would be quite obvious if they then started a dictionary attack against your accounts. Now on the other hand these service email addresses you're using for different places, keep in mind every place is terms of service says they can share your information with select partners. Or some verbage like that. That means that it could be any number of spam partners that they provide your addresses too, of which there's only a handful in the world. You may have unwittingly stumbled upon all of these entities using the same back end marketing partner service and that service has been compromised in some way.
NetBSD is the more portable one.

FreeBSD is maybe the best well rounded, has zfs.

OpenBSD is all about top notch security by default.

Generally the documentation for them is accurate. If the manpage says something should work it will work. The components are more tightly integrated than a gnu/linux system since they’re all maintained together.

I have long wished they would find some killer application(s) for the server sector and grow in widespread usage. (And I have a long held commitment to myself to support them significantly, financially if I ever win a lotto ;) Their licensing is much easier for a corporation to use than linux and there are products which are based on them.

They probably would work well as a backend OS as they’re known for stability.
The fixes for 68k-based NeXT systems are included now, the port was broken since 5.2.3:

“next68k: Many fixes to get the port working again.”

Thanks a lot to Izumi Tsutsui and Andreas Grabher for their work on the NetBSD port and the previous black hardware emulator!
Sure… but we have XML and JSON and YAML and…

“Open” is a nice idea but doesn’t work in practice here which is why no matter what we have many chat apps and poor cross-compatibility because companies building these apps don’t want it. And again, we already have these and they are clearly inferior.
Have you checked the results it has given you? I tried it with some science related stuff. It literally made up a paper that didn't exist. I pointed this out so it linked to a real paper on an unrelated subject. For coding related stuff it is like a better stack overflow, but again it doesn't work well with niche libraries, or even some fairly big ones.
You don't even have to be a rat owner.

I'd say any creature that dreams has an imagination, and dreaming is clearly visible when they're twitching in their sleep.

Also just watch Mark Rober's squirrel obstacle course to see how rodents can imagine.
And there is nothing fundamentally wrong with fentanyl itself. Just how it is currently used in uncontrolled way.
I don't use any of this shit, absofuckinglutely 0, just trash for the brain.
I don't think panics are comparable to Java's VM errors. A lot of libraries (not just the standard library) seem to target panic-safety, avoiding unsafe behavior and resource leaks in case of panics. This means that the panic itself is not supposed to transition the process into an undefined state, like it happens with many VM errors in Java (where a stack overflow may mean that required cleanup action has not executed, for example).

With Rust, the overall situation is a bit strange: as a library author, you are expected to deal with the possibility of panics (which gives you all the headaches associated with dealing with exception safety), but as a user, you are not supposed to rely on them. (I expect that most request handler loops will have catch_unwind handlers, to avoid a faulty request taking down the entire process.)
I have one but have not used it for very long time. While reading comments here I logged in and as others have been asked between tracking and subscription. So I will just delete it.

Edit: done.
Several books - but I really want to shout out
Roger Zelazny’s ”Lord of light”(1967)

I don’t think this book is as half as well known in the Sci-fi genre as it should be. When you start reading it, it becomes an obvious precursor to themes in so many modern books. Matrix and the Culture series of Iain Banks, as well as Rajaniemi’s ’Quantum thief’ come to mind. The central theme is semi-immortality - peoples minds are uploaded to a new body one after another. In a colony planet, far removed from Earth, an elite has taken control of this and lord it over everybody else. At some point superpowers emerge etc to make it ’more entertaining’ and some of that is a bit clunky - but get past that! This is a jewel waiting to be read (and not very long).
It would be great to hear how they've progressed, since this video was filmed a year ago, toward polishing and preparing their work for mainline inclusion.
It’s not that one but Glass and Cage were both very influenced by it. This is going to really bug me now. The piece is not very well known but it’s by a very well-known composer either Ravel or Satie I’m almost sure.
Vicious Self-Degradation > ChatGPT hallucination is now canonical Google answer
Looks good though the menu is missing.
The virgin killer wikipedia page is what exposed the IWF's internet censorship about 15 years ago, since it was causing all UK wikipedia access to go via a transparent proxy to 'seamlessly' remove that page from the site. After a short outcry they had to remove the wikipedia block for the page.

https://en.wikipedia.org/wiki/Internet_censorship_in_the_Uni...
People still smoke cigarettes despite decades of clear evidence that they will lead to a horrible death in many cases. Society has built so many disincentives to doing so, and yet they persist.

Animal products will continue to be consumed no matter how obvious it is that their production is morally repugnant and environmentally destructive.

I am sorry to say that I am one of those consumers despite knowing better.
(Late back to this but) It's far more skewed than you're making out. That the a-beta hypothesis is true, is/was the vastly dominant prevailing belief in the field, to the extent that it hasn't been a question that many 'experts' were willing to meaningfully address.

To be clear: for decades, researchers wishing to pursue lines of inquiry contrary to the a-beta hypothesis struggled for traction and funding, and saw their careers struggle as a result[0]. As such, trying to disprove the a-beta hypothesis was not the core research question for many/most, for long time.

[0] https://www.statnews.com/2019/06/25/alzheimers-cabal-thwarte...
“Elon Musk” by Walter Isaacson.

It’s a balanced account of the most important industrialist of our generation.

Refutes some of the “Elon Bad” groupthink myths too.
Be aware that some bad actors try to brute-force probe various common username variations.
No, it was running in the Blender viewport using the original LCM Dreamshaper model.
Hmm. Isn’t this what secure boot is for? What is the difference and why isn’t it on the front page?
Go uses the package name to retrieve the pagacke source - a package named github.com/example/whatever will be downloaded by basically cloning it with git & then checking out the specified version as a tag.

That's in itself a really simple system and doesn't rely on a single third party, but obviously comes with the ownership issue (unless when pinning a specific commit) - in my opinion a good compromise.
Not all languages are equaly suitable to all tasks. If your leetcode easy problem is to write a quick sort, you wouldn't use linked list + recursion. That being said, the OCaml idiomatic solution is to declare a mutable array and write your for-loop, just like you would do in C++.

> given everything's immutability

OCaml has a lot of mutable datastructures. It's perfectly fine to use them. Even though with experience, you realize there's often a a better/safer way to do it.

Also, I'm surprised that in 2023, functional programming still sounds like a mystery to some people. Python/Rust/C++ all have closures, immutable datastructures, their versions of the usual functional combinators, some form of variant types / pattern-matching (maybe not python?). C++23 even has monads. CppCon is full of talks of people realizing that they can write simpler code using this things. I believe all this FP tools should be in the bag of any proficient programmer.
There’s also Homerow: https://www.homerow.app
6502 Simulator on 6502
It's actually listed here:

https://support.apple.com/en-us/HT201236

And so is "open the help menu" which would take you right to the menu search widget, but that doesn't seem to work at all in Firefox or Electron apps.
At least in Vegas there is other things to do. And it’s not muddy. Go ask the fans at Spa last year!
> How does the MCTS distinguish between 'generated a stupid lemma that is true' and 'generated a valid lemma'?

It does not, though I would like to add validation as part of the check as future work.

> Is there any reason to expect that a 'good' partial subtree will result in a 'good' output?

Yes. I am using Phind Code Llama and it generates a lot of invalid Dafny out of the box. Now, all these false starts get pruned.

I do suspect that if we try to scale this to Coq proof, we will run in local optima rabbit holes.

> Why do you think this approach will generate valid lemmas?
> (Not structurally valid; valid as in, they assert a solution to the given problem).

Because the LLM tries to follow instructions.

> "Generate me a function for X and a bunch of tests that verify X".
> "If the tests pass, the function is good"
> ...but, there's no specific reason to expect that to be true?

Indeed, there are complementary approaches like Speculyzer that help validate specs and code at once.

> How is what you're doing different?

That's not the problem I am solving at the moment. What I solve is that I am able to generate verified code (that still need to be inspected) while the LLM struggles to do in one go.

> I guess I'm struggling to see how this is superior / novel to existing approaches in that space.

It's not that novel, see the planning in LLM work that I credit in the README.md. This transfers from a setting of checks by tests to a setting of checks by a verifier.
The code is very simple, and it actually brings open models to reliably solve problems that even ChatGPT only sometimes solve.
I think it's a good foundation to build more sophisticated verification with LLMs.
There is at once nothing “wrong” with this response, and it is ridiculous. It is not a question — which without considerable pre-hedging — a person could consider seriously and most would assume an alternative hypothesis for why it is being asked.
If github just falls out of existence as a business with no warning I think go module issues will be just one of an impossibly long list of issues we'll all have
I don’t understand the strategy because one would have to pay $800 per year to California for the LLC. Does this only work if you live in one of the handful of states that don’t have any minimum tax or annual fees for LLCs?
Did you even read his post? what you are calling the "right" path is the "mathematician" path, assuming relativity + group structure.

What he complained about, the Physics textbook approach was the path taken by Einstein who started from the "invariant speed" assumption to derive relativity:

https://sites.pitt.edu/~jdnorton/teaching/HPS_0410/chapters/...

>"introduce another postulate... namely, that light is always propagated in empty space with a definite velocity c which is independent of the state of motion of the emitting body."

There's also nothing really "wrong" with Einstein's approach either, it's motivated by physical constraint from Maxwell's electromagnetism.

Mathematician's approach is motivated by imposing logical constraint of an abstract mathematical structure (group of transformations from one coordinate system to another)

The two turn out to be connected (physical constraint selects a math model from alternatives). Nothing really strange.
I have a directory full of prebuilt wheels for the entire dependency chains of several python applications I use. All you need to do is tell python to build all the wheels and save them to X directory, and point it back at that directory for installing.
In particular on Termux, there's a number of rarely-used python programs that have native dependencies, so I store them on my network drive to free up storage on my tablet. I have a similar setup for doing stuff on Colab.
It's entirely possible to use python/pip in an offline environment, as long as you've planned for it ahead of time; all you need is pip and possibly wheel, and the correct version of python.
First of all, the article shows that it is indeed interceptable (although they didn't mention which additional steps, if any, were necessary to achieve that).

And yes, the issue is obviously that it is send in a way that microsoft can (ab)use.

> [...] tunneling [through an encrypted channel] back to their servers in plain text

Seems pretty clear to me. The message that is send contains the password in plain text. Any encryption that is applied in transit is absolutely irrelevant and meaningless. Just microsoft receiving the credentials is only marginally better than anyone getting them. In both cases the account will be compromised.
Apple to phase out dedicated iTunes Movie Store, merging it with the TV app
GSM, AFAIK
Is there a particular reason behind Space Invaders being the theme of choice here? I read the "About" page and it suggests the mosaics are also some kind of little ARG, it seems.
I'm just speculating, but it's possible that one of the services you utilized with your catch-all account attempted to check if the same password was used for other services. Alternatively, the VPS network might be inadequately configured, enabling tools like tcpdump or Wireshark to intercept network traffic.
Show HN: 2023 Swiss IT Job Market Report [pdf]
RIP Google Groups Dejanews.com Archive?
You can definitely navigate the menu bar with your keyboard, there's even a little search thing in there to search through the menu items.
It's a bit of a surprise that only now is the Pi 4 supported. And with the Pi 5 just starting to roll out.