skysight-inc/HackerNews huggingface dataset:
Drawing a circle by drawing circles - tiny ones, they will just look like single pixels - might be confusing to some, including me. I would suggest connecting adjacent points with lines, that is conceptually not really harder than just drawing the points and it will always give you a complete curve even if a step jumps across a couple of pixels.
They don't have a message. They're PR work.
https://twitter.com/typesfast/status/1700114432792363016

Nope nothing.
This is the most balanced and relatable criticism of Emacs that I've read. The points about Org is an outliner vs. a task manager, the package ecosystem, the UI stand out and integration with external toolings stand out.
That's already how billing for industrial levels of power works.

https://en.wikipedia.org/wiki/Power_factor

https://www.energy.gov/eere/amo/articles/reducing-power-fact...

https://www.bchydro.com/news/conservation/2019/your-power-fa...
I think it's safe to say that you can just about give up on that. The IT landscape is a horrific mess and it doesn't look like there is any change in direction on the horizon that will help to rectify that.

If you trust Google or Apple with your phone then I'm fine with that, it's your phone, your life. But I've found that trusting companies to have their incentives aligned with your own or with what's good for the world in general is a structural mistake that will find you disappointed each and every time given a long enough engagement. You can't trust that which you don't own and can't verify.
You've got to charge enough for it to be a disincentive.

In the UK, I did not change my behaviour at 5p a bag but at 30p a bag I did. I keep couple of foldable bags in my laptop bag and it works great - zero downsides. It was frustrating to begin with but now, if anything it's entirely positive - less hassle relying on a shop's bags and I like the continuity of using my own - so I give such schemes a thumbs up. The resistance is about habit changes rather than actual lifestyle impact.
I don't think there is anything in life for which "one clear, right way" ever works.

For software at least I have very different requirements for

- the kernel on my work machine, coreutils, base system, etc (I want system updates and good stability and one single version installed on my system in a central location, can be read-only)

- development toolchains (I want multiple versions side by side in standard folders, e.g. multiple ABIs, cross toolchains, etc.)

- productivity apps (calendar, mail, etc). (I want one version in a central location with possibility of rollback)

- end-user apps, video, drawing & music apps, etc. (I want multiple version side by side installed in local folders as a very basic practice when doing some artistic work in a computer is to pin the artwork to a specific version of the software)
Has the UK government surrendered in its war on WhatsApp?
In reading lately have come across a lot of famous names that made 'walking' a big part of their learning. It is good way to let brain wonder and have subconscious solve problems.

Nietzsche, Schopenhauer, Aristotle, Thoreau

Also. Buried in the page farther down.

One of the more scary takes on how we could have 'Killer AI'.

Everyone seems to argue 'Killer AI' is still far in the future, because they associate it with the Terminator Movies and current Robot Tech is lagging AI. So why worry, we can still un-plug them.

This video is how it will actually happen. AI can be incorporated into a lot of weapons.

From the linked site

https://www.youtube.com/watch?v=O-2tpwW0kmU
An inside look at Intel’s Malaysia chip assembly and test operations
The square outage wasn't just credit card processing, it was their entire product. You couldn't log in, update your ecommerce site, accept online orders, book appointments, anything. Even things that had nothing to do with accepting payments were broken.
I switch between WSL/Powershell, US/UK keyboard layouts and Ubuntu/Windows/Mac shortcuts frequently. It only usually takes one mistake to context switch. It usually harder for me to switch to things I use infrequently - but they also matter less.

> "\" compared to "/"

Powershell :)
For me, the #1 advantage is being able to ask follow-up questions
nobody with a brain thinks that, most people just genuinely don't care about the welfare of other living things but get angry at the notion that they aren't good people.
Why China is turning into a liability for American companies
Ask HN: LLM Research Discords?
Hiya, I'm a researcher investigating LLM's and have various queries that I'd like to discuss with others.

For instance "what are the advantages of putting instructions in a system prompt versus in the prompt itself?".

Are there any discords you can recommend for these sorts of discussions / conversations?
Isn't SageMath based on SymPy?
I'm not the one you are directly replying to, but I love other aspects of emacs too much to switch (magit, org-mode, macros, code navigation, eshell, etc.) But everything can and should be improved.
That is completely tangential from Qualcomms SoM/SoC support cycle.
I mean, to follow that analogy, yeah people absolutely should abandon their families if the families are out there actively murdering innocents.

The person saying that they're only staying to murder with their families because they care about them is not a redeeming quality, and they should definitely be held accountable and not excused for their crimes.

For the record, I consider any armed person outside their home country should be considered as a terrorist and a militia and treated as such. There is no reason someone from country A should be carrying a weapon in country B and attacking people there. This is 100 times even more valid when country B has not authorized this.
> Hand-waving at the garbage collector whilst seemingly doing very little to understand what’s happening doesn’t convince me that there isn’t another, possibly pretty obvious issue going on.

This is pure voodoo profiling. “The job is slow. I guess it’s. . . . here!”

Although the author has my sympathy - I spent a month rewriting a module, optimizing every line of code, squeezing every last bit of performance out to discover that the slowness was entirely due to a downstream SQL statement to which I had made a minor “innocuous” change.
Imagine you bought a new MacBook and it's ⌘Command key doesn't work until you sign-in online and pay a subscription.
It mystifies me why the smartphone ecosystem is so insecure by design.
Are there not basic IDS or exfiltration snitches that will pop-up on a
phone to say "Hey this app just accessed your contact list and send
encrypted messages to a dodgy server?
The range of use cases including media, gaming and compiling on similar form factor MacBook Air Mx is enormous compared to this similarly priced laptop.
xocolatl

In catalan still is -xocolata- close nough
Two common arguments against Anarchism are that...

1. You can't have Anarchistic societies without advanced technological infrastructure, large production surpluses, group communication etc.

2. You can't have Anarchistic societies with the advent of technology, only primitive Anarchism.

This story seems to help undermine a little of both :-)
Reminds me of https://hackertyper.com/ (and clones)
Is it really that far fetched??

The software stack is 90% identical and we are seeing smartphones & tables getting closer to laptops both in terms of functionality and form factor

See for example Samsung Dex, "pro" and foldable tablets, chromebook Linux and android subsystem, ...
I still get occasional emails from the class action law suit for that one
> I'm not sure what this paragraph is doing in this context. I was specifically talking about my own experience.

Just a small precautionary statement. I've observed it enough times to get very wary of it.

> I see far more praise for Rust compared to negative comments in any case, and was biased towards assuming "Rust rewrites of tools may lack features (due to being newer) or be less portable or whatever else, but the one thing they'll have is stability and reliability".

Filter bubbles in a nutshell, I usually see mostly negative ones and barely see any praise (though I'd define "praise" here as "fan-boying", and NOT as "recognizing the strong sides"; the latter is quite normal and should not be called praising).

> That came crashing down when exa crashed and core dumped.

That's the part I find a bit overly dramatic, this was likely Rust's `panic` mechanism so they likely just didn't handle an expectation / assertion in the code? I had several Rust services in production for years and former colleagues have contacted me to tell me the thing hasn't crashed even once and was only ever restarted for upgrades.

> It didn't turn me into some anti-Rust fanatic either (which people seem to interpret any criticism of Rust-related things as), it just made me realize that in the end it's still up to the individual tool and programmer, and I shouldn't make strong assumptions based on the language a tool is written in.

Yes, fair. If you pepper your Rust code with `.expect()` and `.unwrap()`, the program ending abruptly is expected because the team hasn't taken precautions to handle all possible errors.
I've been thinking about this recently also. I can't think of any downsides off the top of my head but I might be blinded by the idea? Can you?
Many proxies these days call themselves VPNs for branding reasons.
None of these proofs listed in the Wikipedia page are formalized in Lean at the moment, although a few are formalized in other theorem provers (Four Color Theorem in Coq, Kepler Conjecture in Isabelle). The "Formalization papers using Lean" section of https://leanprover-community.github.io/papers.html lists some theorems whose proofs have been verified in Lean, but (despite being written in Isabelle) I think the Kepler Conjecture formalization is the best example of what you have in mind.

The main difference between most of the examples you list via the Wikipedia page and the examples listed in the URL I cited above is how the computer is being used: in many cases, "computer-assisted" means an ad-hoc program was used to check a bunch of cases which would be too tedious for a human to check. But what happens if there is a bug in the used ad-hoc program (or, e.g., in a linear programming solver)? To increase confidence in the verification result, ideally both the validity of the case-checking and the logic for deducing the main theorem from the checked cases would be verified by a small and general "kernel"/proof checker. This is what theorem provers such as Lean, Coq and Isabelle allow.
Certainly ransomware that corrupted data and required restoring everything from backups. Remember, your backups aren't backups until you've validated they can be restored!
It has the following which means the same as what you wrote:

do let x ← List.range' 1 10; return x^2

The syntax is flexible enough that you could build your own:

macro "[" r:term "|" preamble:doElem "]" : term => `(do
$preamble; return $r)

#eval [x^2 | let x ← List.range' 1 10]
Ask HN: How to transfer K8s cluster to on-prem Linux server
Good day HN!
I need to transfer a production kubernetes cluster from Scaleway to on-premise data center with a clean Ubuntu server.

I'm looking for the easiest setup solution, so that it's easier to transfer cluster to another ubuntu server in future (within few months), preferably with fewer steps possible. What options do I have?

I found multiple OSS options like Kubespray and Rancher. But their setup process seems a bit "manual". Should I write a script? Appreciate your time!
Surprised this hasn't been posted yet [0]. It's got some very useful and compact pdfs that you can print off with the algorithms you need.

[0]:http://www.badmephisto.com/
Ahh that is certainly a very interesting idea to explore! Indeed, programming on the nets directly would not need messing with the fairly complex details of beta-optimality, leaving it as something to be dealt with, if required, by the programmer directly. As a language in its own right rather than as a computational device, interaction nets becomes a kind of Prolog-like language, where one similarly directly defines atoms and uses them as if they were data types.

By the way, I'm fairly certain that the Interaction Nets is the more general term, encompassing Interaction Combinators as merely some set of nets that happens to be a universal model of computation. They definitely both share the distinctions of principal ports v.s. auxiliary ports.
You're right - mine was from memory, but this is closer to the original formulation - it's supposed to have been "James while John had had had had ... "
My policy has always been to not have children.
I haven't worked on smartphone apps.

But I'm looking at the matrix in TFA and the highlighted section for permissions -'lines 1, 4, 10, 15' - which are unique to this app, and wondering why an app that does what TEMU purports to do, needs all those.

Your claim 'all other major apps use those things' feels inaccurate, then, if that matrix is on the money - as those perms are exclusively used by them, albeit when compared only to the competitive apps they reference.

Sure, perhaps, as you say, a scripting language for games explains one of them. And a 'this unique permission is no big deal' may wave away another.

Anyway, that was just the first, but didn't feel like their major, point in making their argument.
According to the page you linked, the policy in question was specifically about children with no blood relatives to be returned to (which would have been a lot of them).
> Surprising to see this taking so long to evolve.

Qualcomm's competition isn't Apple. It's Intel and AMD. Intel and AMD offer chips that run Windows much better than whatever Qualcomm can make. Apple managed to do that because they control the whole stack - they made macOS run well on ARM, something Microsoft has little incentive to do because chicken and egg.

For Windows, binary compatibility with 3rd party apps is extremely important, at least for the apps that aren't browsers running JavaScript, so, what Qualcomm could aim to do is to optimize the heck of their ARM offerings for x86 emulation/JITing, and efficient JavaScript execution, more or less what Apple did.
Turkey, the bird, is one of my favorite quirks of etymology.

In English, it's turkey, in reference to it's supposed origin from Turkey.

In French it's dinde, which could be viewed as d'Inde, or "from India".

In Arabic it's "habash" which refers to the Horn of Africa.

Clearly one of the most confused birds around ...
I say Rome and Cologne, I don’t say Koln or Roma. Do you get upset when foreigners say ‘nweva jor’ or ‘nweva d3or’ and don’t say ‘nju jork’.
I'm not HN.
>Apple is making a killing with their iPads.

You're missing the point.

The fact that Android and Windows ARM tablets aren't "making a killing" and not selling even remotely as good as iPads dealing with an abysmal market share, is not because they don't have M1 chips, but it's their shit SW ecosystem that's been a clusterfuck from day one, angering consumers who expected more than just stretched phone apps and 2 years of SW updates, and the indifference and lack of commitment Google has shown to Android tablet ecosystem over the years.

iPads were outselling every other tablets even before they got the M1 chips. In this tablet space it's the available SW ecosystem that sells the HW, not the other way aground. Android tablets could get fictional M3 chips from the future and they still wouldn't outsell iPads because both developers and consumers already got burned by the Android/non-Apple tablet SW experience and decided to stick with Apple.
Of course I understand it’s a subjective matter. But a 100 list in AI without Jürgen Schmidhuber is ridiculous and frankly embarrassing.
There is no peer capable of running a SOCKS proxy in my scenario. My home router only supports Wireguard.

SOCKS is also usually not encrypted.
That's just malware. There's no 0-day here.
NASA's Oxygen-Generating Experiment Moxie Completes Mars Mission
Yeah. I spent money on it back in the day but it was never updated.
I just watched a tutorial on Shogi and apparently the pieces are distinguished from each other by the Japanese-language symbols on them, which is a deal-breaker for me.
He went there only once no
> You should be able to understand why your current system performs so absolutely terribly before you decide to rewrite it in any language.

This is the case if the rewrite would take more time than the time it takes to debug and fix the issue. If you already have evidence that this is just an issue with the runtime (ie: "I have a very hard time controlling allocations in this language and allocations are a significant part of the compute time") I don't think it's the wrong call to just pick a language where you have very high confidence that it'll be "just fast".

I've run into this with Python. I just didn't care to figure out what was going on that was making things slow. Rewriting the logic in Rust was not hard, so I did it, and things were fast. I look back now, in this moment, and absolutely don't give a shit about why the Python code was slow or if I could have made it fast.
Sorry for late response. Yes, I did some further research and it turns out your characterization of the Hukou system is much more accurate than mine, which is why you find disclaimers and such on my comment. Mea Culpa.
... in Nearby Universe, riiight.
What do you mean by "psychotic break" exactly?
Naive Rust code is super-awkward compared to naive JS code. I doubt one can do 1:1 port of anything more complex than Hello World (even FizzBuzz may get you tripped up).
Sure!

def f (n : Nat) : String :=
String.append
(if n % 3 = 0 then "Fizz" else "")
(if n % 5 = 0 then "Buzz" else "")

#eval List.map f (List.range 100)

theorem poop (n : Nat) : f n = "FizzBuzz" ∨ f n = "Fizz" ∨ f n = "Buzz" ∨ f n = "" := by
unfold f
split <;> split
· exact Or.inl rfl
· exact Or.inr (Or.inl rfl)
· exact Or.inr (Or.inr (Or.inl rfl))
· exact Or.inr (Or.inr (Or.inr rfl))
Your answer to "why does the technology stack of a critical multi-billion dollar business not have a failover ability" is "because it's hard"?
For that you'd use Applicative

(*) <$> [1..10] <*> [2,3,5]
-- or
liftA2 (*) [1..10] [2,3,5]

Admittedly also not accessible to non-haskellers. But on the other hand, if you're going to learn a language, you ought to learn its idioms at some point.
Please define that.
The University Physics Competition
Are you using Bluetooth headphones? AirPods have a delay that makes playing rhythm games impossible
URL parsing semantics are defined by and dependent upon the scheme. (That's spec.) By definition, if you don't recognize the scheme, you cannot guarantee a correctly parsed URL. From RFC 1738:

The Internet Assigned Numbers Authority (IANA) will maintain a
registry of URL schemes. Any submission of a new URL scheme must
include a definition of an algorithm for accessing of resources
within that scheme and the syntax for representing such a scheme.

The behavior described (extracting the scheme and treating the rest as an opaque string) is pretty much the only thing you can do when the scheme is unrecognized. (The other options being to throw an exception or return null.)

Based on the description, it sounds like neither are breaking spec—it's just that Node supports "postgres". That is, unless it's true that Node's URL implementation is supposed to match what browsers do, in which case Node is breaking spec—its own.
Partially, yeah.

I always try to push projects to, if they choose to support nerdfonts, to default to off. It is confusing for new users to have to install a specific font (especially when they probably already have their chosen font, and possibly one that can't be nerdfont patched) to use a program.

LSD, in particular, can just either turn symbols off or just map them to commonly available Unicode symbols (a "well formed" terminal font covers most of, if not all, of the Box Drawing, Geo Shapes, Legacy Computing, and Arrows Unicode blocks, which is all you really need).
Ask HN: Would you hire an entrpeneur / founder?
Just read a Furtune article with the title "Entrepreneurs not wanted: Research suggests hiring managers discriminate against small business founders"

What's your take?
Android uses the Linux kernel, but, above that, there is very little in common with a Linux laptop or workstation.
How was your friend able to locate the car ?
The de minimis threshold is shockingly low as seen in various successful lawsuits.

Critically it’s not just a question of what percentage of a work is a copy of the original but what of the original work was copied. IE copying 3 lines in a book is a tiny fraction of the book but if you coped half the poem it’s well past the de minimis threshold.

Similarly only a small percentage of a giant library of MP3’s comes from any one work, but that’s not relevant.
You see, OP doesn't want AI, but a neural network seq2seq transformer ML model, trained on a vast amount of text data, say, now that would be something!
Replacing LoRA with a Generic Style Adapter in Stable Diffusion
> Now, Scotland is hoping to see similar outcomes when it pilots the scheme for some of its civil servants, The Times reported Sunday.

> The move, set to be unveiled by First Minister Humza Yousaf, will impact a range of departments and will reportedly run for about 12 months, the outlet said—without citing sources.

So there is no official confirmation for this yet. This would supposedly run for a year on a subset of gov workers, I guess it'll be interesting data if the scale is wide enough.

As an aside, this article only rehashes another news article[0].
Perhaps it would be better to have that as the main source instead.

[0] https://www.thetimes.co.uk/article/civil-servants-to-switch-...
> Isn't Arrow biased towards analytics workloads? Like sibling commenter brings up, I'm not sure what that brings to the table for OLTP.

That's right, I was thinking more about the network effects, not performance - see my other reply: https://news.ycombinator.com/item?id=37432563

> So "insert quickly then let me analyze later" is becoming a highly polished stone, but I think databases still present a very rough demeanour around transactional workloads and the "hip tools" out there reflect that.

> I'm personally all for supplanting SQL but only if what replaces it has a sound relational basis.

100% agreed. I think the status quo UX is far more rough than the performance. Unfortunately it seems performance is what drives most investment these days unless you are a producer of hip tools.

> As for the Alice book, it's great, but it's quite focused on Datalog

True, although I posted more for the tour of Relational Algebra fundamentals. I guess the SQL section is probably the most out of date part of the book :)
Why not name the team on basis of what it actually does, but that would make too much sense in a organization, none of us want that.
> absence of evidence is not evidence of absence.

But it is. It's not _proof_ of absence, but it's certainly _circumstantial_ evidence of absence.

> people tend to make is looking at the current population and using it to fill in the gaps in the archaeological record.

Well, ok, but that's not the same as opposing the principle you cited.

> tempting to read this as evidence for having no hierarchy

You're again switching up arguments. What you're demonstrating is that evidence to the absence of some expression of X is weaker than evidence for the absence of any aspect of X. (And at the same time conceding that absence of evidence is evidence of absence.)
I'm no chess expert, but I think because at 17... Bxa4 followed by 18... Bxh2, the double bishop sacrifice, it's not obvious how Black will then dominate the rest of the game.
Tell HN: Facebook now requires login to read public timelines
Till yesterday it was possible to close login screen and continue read public accounts timelines without being logged in.

Today login screen on Facebook become permanent.