skysight-inc/HackerNews huggingface dataset:
I’m sure it is. But it starts to get murkier when I consider that the wood came from a tree 200m up the road, but the oil is from the Middle East, processed somewhere and delivered to me 10,000km away.
Perhaps there is some belief in this that an AGI can save us from our biggest problems? Energy Crisis, Environmental Pollution, Waging Wars.

But I agree with you ... it is not really urgent since we know answers for the most of the problems but do not like the solution.
Their focus is long running digital intelligences that interact with their environment over long periods of time. I enjoyed reading The Alberta Plan when it was released earlier this year https://arxiv.org/abs/2208.11173
... but for such a microbenchmark, you need none of this.
https://archive.ph/CngwG
Not really. Linux was impressive. What you described is just normal incremental development. Even less impressive is to be responsible for one line of code of it. I don't deny it is an amazing engineering to create a machine with 10s of thousands of engineers working in one direction (mainly, increase shareholders value).

But being one of those ants doing the work? Nah, not impressed.
In what world do bots run firefox with adblocker? Surely a bot would pretend to be the most average US chrome user
Based on Carmacks Tweet:
>I am explicitly not working with LLM — there are plenty of smart people doing so. Still, (waving hands vaguely) it does feel like the technology could be used to “argue with itself” and eventually produce a body of knowledge much more coherent than the raw training data.

Source: https://twitter.com/ID_AA_Carmack/status/1630632423351304203...

I would assume they are not
I wouldn’t expect language to be the only modality.
Paperless-ngx – Open source document management system
what is an effective energy policy in his eyes?
I always use self-checkout and vastly prefer it. My music, book, or podcast never has to stop, I can scan and bag faster than most employees, and the lines are normally short or non-existent. I regularly walk up to a self-checkout and process 10x items compared to the person next to me and I’m walking out while they are still working through their handful of items.

The only thing that I hate is how the person they do staff is normally MIA or not paying attention. Too often I get “assistance is on the way” which really means “you need to flag down someone”. For everything from “you skipped bagging too many items” (sorry I was buying 4 cases of water), to “you tripped the weight sensors too many times” (again, sorry I’m fast at this and your system is slow/buggy), to “you are buying alcohol or meds that are restricted” (totally understand but pay attention and come over when that happens please).

But if I don’t hit one of the cases above (which I don’t in 80-90%+ of my trips) then it’s way better. Even having to wait 20-30 seconds for an assistant isn’t the end of the world and better than waiting in line.m and make small talk while an uninterested kid puts your bread under cans in a bag.

Whoever though self-checkout = no staff was a moron from the start _but_ it does mean fewer staff. You can have 1 employee supervising 4-6 stations and if they are halfway competent they can bounce between them checking IDs and the like.

Lastly I wish more self-checkout stations had the spinning bag carousels and more space to put stuff. That’s my only other gripe. Sometimes they have like 2-4 bags stations/holders and I often need more than that.
A “solution” that isn’t viable nor palatable isn’t a true solution; it is often merely a hope that people are not people.
Has anybody checked what Turnstyle actually does?
Is there a duopoly play happening here?
There are two major flavors of Blazor: Server and WASM.

Server is considerably easier to program with because it removes the complexity of making REST calls to a server component. It creates an illusion of seamless coupling between browser client and server methods. In reality, internet delay makes Blazor Server UIs unacceptably slow because UI interaction often results in a round trip call across the net. As well, every browser connection consumes significant resources on the server.

WASM is more difficult because of the need to use REST calls (typically) from a client project to the server side project. But the client side can be nearly entirely written in C#, targeting WASM and running in the browser - even including powerful .NET libraries (see NuGet repo.) The server code implements client services. Note that this should all sound very familiar with conventional web apps, except that a radically superior language is used instead of Javascript on the client side.

The ProTip is this: if you can make the choice, choose WASM. Even for an intranet app and despite the additional dev work.
> Maybe the second line should be "listen 443 ssl;" (without the colon, like in the non-HTTPS version)? That's how it is in my config.

That's a clerical error while copying to Hacker News, it is without the colon in my config as well. I've edited the post.

I think I figured it out, Hetzner lists 2a01:4f8:c012:175e::/64 as the IPv6 for my VPS, so I put 2a01:4f8:c012:175e:: in the DNS record. However it seems it only actually listens on 2a01:4f8:c012:175e::1. Probably just me being an idiot and fundamentally misunderstanding how IPv6 addresses work. I've updated it, although it will probably take some time before the DNS cache refreshes.
John is nice to work with. Very numbers-focused. If you have a flaw in your logic, he’ll call you on it. And he’s looking for vice-versa —- nothing seems to make him happier than when you point out a flaw that he hadn’t considered.

I don’t know Rich, but John has said they work well together, and it’s exciting to see them collaborate. There are some unique ideas at Keen worth pursuing that I haven’t seen elsewhere. Looking forward to seeing more researchers join in the future.
If it boots, then you (or the thief) needs to provide credentials. When not booted, the disk is encrypted so the thief cannot overwrite the /etc/shadow file.
Prob same reason they are in bed with tencent
Show HN: Seed your Postgres database with production-like data
Than there will be never be a solution to some problems.
These are very good points. The programming language used is a tiny sliver of the pie chart required to run a profitable company. The entire “technology” portion of that pie chart is still only around 20% (at best) of a profitable company.
New MIT Desalination System Produces Freshwater That's "Cheaper Than Tap Water"
The massive noise difference between brands, models, and generations of rack servers is astounding to me. I have five rack servers in my house, not in a closet. Three are Dell R620s, one is a Supermicro X9, and one is a Supermicro X11. The Dells are 1Us and by all rights should be screamers, but they aren't. The Supermicros are 2Us, and while they weren't screamers, they were loud enough that on the one that's on 24/7 (the X11), I swapped the PSUs for quieter models, the CPU fan for a Noctua, and throttled the case fans. When the X9 boots up to ingest ZFS snapshots, you can definitely tell it's there.

I used to think the R620s being bizarrely quiet was because homelab loads are understandably small, but then one day I got well over half the cores to 100% sustained doing something, and it didn't get any louder. I know they _can_ get loud, because at boot the fans go to 100%.
Maybe it’s Epic software devs slacking off on HN?
"If both of the addends have the same sign, the output must have that sign. However, for x−y that means if x and y have different signs the output must have the sign of x."

This is trivially wrong, or mixing two different meanings of "signs".

Given variables x and y with values 5 and 10, ie both having the same positive sign, x-y will produce a result -5, that has negative sign.

Even if we assume that the sign of the y variable is actually inverted, it's still trivial by choosing say -3 and -6, the latter which has now inverted to 6, and the result is +3, which has different sign than x.
Bots pretend to be whatever works.
Yeah, whatever happened there?
http://braid-game.com has similar "coming soon, in early 2021" message from 2020.
Yet Domain OS was a distributed multiuser and multitasking system, with BSD and SYSV compatibility which run decent on 1989 hardware when x86 was almost only DOS and Windows 3.
The thing is, with captchas I can retry 2, 3..5 times before giving up. This thing here just doesn't work and I can't do anything.
In the long run, the only option is to privatize knowledge entirely.

Machines don't care what numbers they run, cpus and users should be blind to the meaning of app code. .exe's should be absolute black boxes by default.

When we have the techniques to privatize knowledge from machines, the desire for privatized faces and biometrics, will rise.

The entire premise for biometric tracking is that mental locks don't work (passwords, ect). It's not true.

Privatize knowledge and mental locks work fine.
When I learned Git, many tutorials were pretty clear that what goes into git stays there as they were added, which is the whole point of a vcs.

So I would dare to say that your example is not entirely a good one? In my 10 years of using Git, in both privately and professional this has happened exactly zero times. But that's just me.

To use an somewhat odd analogy, it would be akin to asking the average car driver to replace the crown wheel in the differential. I'm certain everyone can do it with enough youtube tutorials and practice, but.. I digress.

But actually it makes sense, Git is like a car, once they understand what basic problem it tries to solve and learn the commands to push, pull, commit, rebase and merge, it's enough as learning navigating traffic and use the car from point a to point b.

So I believe git is easy enough for normal, but of course when situations like your example occurs it's harder (but understandable considering what problem the tool is trying to solve).

I am not being condescending here, it's my real world experience that tells me that very few people have issues with git, and looking at how many use github/gitlab/gitea/etc everyday shows the same.
This has pretty much been my experience too, although I only read the low-star and 4-star reviews, I assume everything 5-star is fake/bought (or someone that hasn't put much real thought into the review).

I suspect it largely comes down to the brands purchased, the shadier brands will be lower quality, and more likely to be underhanded, with the more respectable brands being less likely to bribe, and more likely to be 'reasonable to good' quality.

All that said, I do purchase no-name brand chinese products occasionally, but have never really had much of an issue with that other than the occasional 'didn't arrive'.
Writing 'hello world', or a fixed set of dispatch calls is still trivial with epoll now. In the late '90s when the web APIs (before REST) started to become a thing, writing an http C server few specific calls was quite the thing - there was no epoll, yet.

Likely, I can write one (http1.1) in Java just using java.nio + DirectBuffer; no converting anything to String (similar to using void* for everything)... in several hours. It'd even scale with the amount of cores the machines has. It won't do much but as a micro benchmark (hello world) would be up there.

That's nothing about usefulness of the code, or skill - it's just the benchmark is not useful for anything outside toying with.
Reminds me of Dark - "The end is the beginning and the beginning is the end." – Adam

Hope Bruno will deliver us from this never-ending cycle.
I have thought about this because I've wanted such a platform as a candidate, and I think an interesting angle would be having the jobseeker's loved ones buy it for them as a gift. Many times, I've been sad that I wanted to "help someone " with their search but I did not myself have a role and didn't feel effective. Friends who are unemployed usually won't accept cash from you but they might accept a subscription to a job search service.
Nope. Being able to write in C# using a vast array of C# libraries in the browser is orders of magnitude better than writing in JS or even TS. C# is enormously superior to JS and superior to TS.
When I was a kid, I modified my (shitty, generic beige) case by cutting a hole on top, mounting a 120mm fan, and ducting it with PVC dryer duct to fit over the CPU's HSF (which I think was an Athlon XP 2000+). Airflow dynamics aside, it worked like a charm, and knocked the CPU temps down to ambient.
Easy...

$`ls -al`

or

ls('al')

And, transpile shortcut strings on-the-fly to TS code:

ls({
all: true,
oneEntryPerLine: true,
})
Cute. Next steps? If you fill out your soft-hardware instruction set in the straightforward way, you could rig up a compiler to target it. (There’s probably no practical use beyond obfuscation like hiding malware from decompilers.)
Where do you read details about Keen's work and ideas?
Ask HN: M1 Mac Mini fail to enter recovery or DFU mode
Wiped the disk as usual as I have done the same procedure to many other M1 Macs without any issue.

But this time it turned into a perfect brick.

Recovery mode do not exist.

DFU mode do not exist.

Boot from USB do not exist. Since long press to the power button has no effect.

Seems that Mac do not equip with stuff like "BIOS" in the motherboard so now no action can be done to this brick.

Any ideas?
> { NAND } is considered functionally complete, even though it can only produce a function that maps any input x to TRUE, and can't produce the value TRUE itself.

When you're reducing formulas, those are the same thing.

p 🡑 p ≡ ¬p
p 🡑 ¬p ≡ 1
¬1 ≡ 0

So then you're happy to say

(p 🡑 (p 🡑 p)) 🡑 (p 🡑 (p 🡑 p)) ≡ (p 🡑 ¬p) 🡑 (p 🡑 ¬p)
≡ 1 🡑 1
≡ 0

The expression "(p 🡑 (p 🡑 p)) 🡑 (p 🡑 (p 🡑 p))" is just a particularly longwinded name for the constant "0".

I don't see why you're comparing {NAND, FALSE} to {AND, NOT} - how do you produce TRUE from {AND, NOT} by a standard that {NAND} by itself doesn't also meet? The normal way to produce TRUE from {AND, NOT} is

NOT (p AND (NOT p))

but you seem to have already rejected that?
ChatGPT is a powerful language model that can be used for a variety of tasks, including generating text, translating languages, and writing different kinds of creative content. However, there are a number of other alternatives to ChatGPT that offer similar or even better features and capabilities.
Just no obvious choice like every other platform.
They're not saying it's urgent; they want to bring urgency - convince people to move faster.

It seemed appropriate to ask AI about the meaning of the phrase:

The phrase "bring urgency to something" means to inject a sense of importance and immediate attention to a specific issue, project, or situation. The aim is to motivate people to prioritize the task at hand and to act more quickly than they might otherwise.
You’ve missed the word “different”. Your examples talk about the same sign.
You’ll have to join them.
Does that mean you work with them? Can you tell us more about that?
Interesting stuff. I'm going on a 20 year old memory of a conversation I probably didn't understand at the time, so I'm very fuzzy on the details.
webhooks to slack
Why not? You're using a very bizzare conception of "sentience".
I've been at this for 2 years. The project got visibility very recently.

The code is MIT. I look forward to do this for a long long time.
You need SponsorBlock
Sure, agreed. But a few hundred bucks in cash (maybe) is extremely unlikely to be CAFed, exactly because everyone would see it for naked armed robbery by cops. But the cops count on the unusual individual carrying thousands or tens of thousands of dollars, knowing they can get away it.
This is the kind of weird (ab)use of floating point instructions that I can imagine some DRM solution using as a means to obfuscate a VM of some kind.

The next step would be to use these properties to write a compiler to run normal source code as floating point integers, maybe with some kind of FFI to call regular OS APIs.
React memo is good actually
> create AGI and then immediately enslave it to produce vast quanties of crappy video games
"I used to hate electromagnetism"

Not a sentence I expected to hear today.
Show HN: Teig.pro is an interactive dough calculator
Hi!

I built an interactive recipe builder (particularly for dough recipes). I bake a fair amount of bread and use it, along with the more primitive version on my personal blog, to simplify dough calculations. A friend urged me to share it with HN, so here it is.

https://teig.pro

Some technical details which may be interesting to this audience:

- The recipes, apart from a handful of hard coded examples, are fully encoded in query parameters. This comes with problems (like a browser-specific character limit), but in the context of a recipe I consider these edge cases.

- The body supports Markdown, but sanitizes the HTML with DOMPurify. This limits some of the most obvious attack vectors like including a malicious <script> tag in the body and sharing the link. I'm sure it's far from perfect and would greatly appreciate any tips to improve security!

- Using Cloudflare cache rules, all recipes are cached at edge. This keeps load on the underlying Fly servers quite low and will hopefully keep my hosting costs even lower.

Enjoy!
When you're doing a setup with dedicated servers and trying to avoid microservices, it's not exactly uncommon to end up with a beefy 32 core/64 thread server and it can be had for relatively cheap. Hetzner rents them out for ~150/200 EUR/month. I'm sure AWS has something similar albeit a bit pricier.
Signatures are still valid when removing X headers. They would need to be explicitly signed; they aren’t.

I don’t think that’s an issue really. Perhaps you are putting too many emotions into it because they turned you down? It’s not as big as you think it is imo.

Good to know anyway.
> Given variables x and y with values 5 and 10, ie both having the same positive sign, x-y will produce a result -5, that has negative sign.

If x and y both have a positive sign the condition "for x−y that means if x and y have different signs" is not met.

With -3 and -6, again, x and y both have the same sign and the condition is not met for subtraction.
The world's new arms dealers
Farmers Are Tentatively Embracing AI
Any excuse to revisit BBC4’s brilliant comedy drama doc “Micro men”..,

https://m.youtube.com/watch?v=sIcAyFVK0gE
That's a great feature which we currently don't have.

If you don't mind, it'd be great if you could outline your usecase on our GitHub issue tracker.

On cookies, we are building UI support, meanwhile you can use scripting workaround described here https://github.com/usebruno/bruno/discussions/385#discussion...
It ebbs and flows. My 13 year old son has picked it back up recently.
> Having to use streams in order to use map, etc., is noisy. Why weren't these APIs retrofitted to collections?

Sure, methods along the lines of the following could have been added:

public <R> List<R> map(Function<? super E, ? extends R> mapper) {
return stream().map(mapper).toList();
}

Yes, having them would make Java less verbose in the case where you only want to do a single map, filter, whatever operation on a collection, but I'm personally glad that they weren't because they produce extremely inefficient behavior when chained. So, it would add a performance footgun to save ~18 characters.
Delayed. By about 40 years.
In the UK the policing minister plans to 'integrate data from the police national database (PND), the Passport Office and other national databases to help police find a match with the “click of one button”' [0].

It becomes very difficult to escape mass surveillance via facial recognition if passport (and presumably soon drivers license) photos are used.

[0] https://www.theguardian.com/technology/2023/oct/06/mps-and-p...
Ah microbenchmarks, we meet again. (This refers to Bun vs Node only)

Basically my understanding is:

- Bun uses JavaScript core and Node uses V8. They’re a bit different, no clear winner.

- Node is bloated for historical reasons, or has an extensive stdlib, depending on your perspective

- Bun uses uWebSockets which is a C++ built purpose built low-memory HTTP1.1 event loop based web server that is extremely fast (and reliable). Credit for speed should go to them, for http at least

- You can just use uWebSockets with Node if you want, it will be roughly equivalent

- Bun otoh does not support HTTP2 but “they’re working on it”, but nevertheless this is a huge feature blocker and depending on the implementation you may see major performance regressions (uWebSockets are not currently planning to implement http2 afaik, which means they have to use http2 as implemented by a mortal instead)

Overall, I think Bun should stop promoting microbenchmarks (but whatever, marketing is what it is) and focus on their real innovation value: a single-tooling simplified and modern server-side JS environment. This is already compelling. If they insist on benchmarking, why not build a standard crud app with Postgres/SQLite, put it behind nginx with ssl and compare there instead? The difference won’t be that big.
> There is no need to argue about that between ourselves.

I don't know. Speaking strictly objectively: if you look at polls, Putin is extremely popular amongst republican voters.
> I couldn't have used typescript as the main language so easily without it.

I am very skeptical of this. Could you convince with me with more specific details?
> We have a branch that makes about 2x faster, but we need to prioritize our 1700+ open issues over performance optimizations right now.

Recently I have even tried to port onde of my nextjs projects to it, but to my surprise it does not work on Linux ARM64 due to a broken syscall.

To me, the biggest selling point of Bun is not the runtime performance, but the fact that it can replace all tools for installing packages and bundling apps. (No need for a node modules for with hundreds of packages for a simple hello world web app)

Runtime performance is not that important for JS servers, considering that most of the applications are just http glue code to a database server. (Maybe it is just me, but I would never use JS to write performance critical code).

So focusing on making things stable would be a really good move right now.

In any case I'm super enthusiastic about Bun and it has a lot of potential. I hope you can make it work!
Bruno is 'git-friendly' as well 'git-pr-flow-friendly' as well as 'developer-friendly'

Checkout things that you can do in scripting in Bruno which no other client does - https://github.com/usebruno/bruno/discussions/385

You'll love it.
I like this but the site is such a baffling mess. Sometimes I can find the "what to read after x" function, sometimes not. Not possible after I've done one to do another. It's never clear what each screen intends to show there's just loads of random content across many screens with functionality popping up at random.
More importantly, if you specify FP16, yet the hardware only supports FP32, then the library should emit a warning but work anyway, doing transparent casts behind your back as necessary.
Git is hard because it solves a non trivial problem.
But also, because it uses a lot of bad defaults (naming the remotes "origin" for example) and it uses the same name for different things. It's almost like the founders of the project didn't understood the problem space at the start of the project and now it's too late to set sane defaults and behavior. Just like bash, PHP, MySQL and others.
You could've said this every year for the last two hundred years. Maybe longer.
By the late 70s wasn't a secret, it's more that nobody would listen over the sound of oil prices crashing half a decade later. Exxon even briefly had a substantial research division into renewables. In the 80s!

YouTube channel Climate Town has a very good summary of history of early climate chance action, The Time America Almost Stopped Climate Change

https://www.youtube.com/watch?v=MondapIjAAM