skysight-inc/HackerNews huggingface dataset:
Storage failures are memorable everything else is easily replaced.
It's just not the case that the arithmetical algorithms implemented in circuitry have "nothing to do" with pen and paper algorithms. The core ideas of the algorithms we teach kids to add, subtract, multiply, and divide carry over to different bases. The biggest difference between the algorithms implemented in circuitry and those we execute with pen and paper isn't the base, it's the fact that logical gates can be placed in parallel so there's some additional trickery in exploiting that maximally. But understanding the pen and paper algorithms, in whatever base, is still a good starting point for understanding how computers do arithmetic.
Wait, I always assumed small stacks wasn't about the number of stack frames, but the amount of data in them! It's expensive to copy data around and most stack frames are ephemeral so would imply copying data around.

(Of course, you could set a limit on the size of a stack frame instead of the entire stack, so maybe that's not a good explanation.)
It is not Unix or even Unix-like but they added a POSIX compatibility layer so that you can use a variety of familiar programs.
Art, or creativity, is the part of the movie that is not toil.

Art being made purely for the enjoyment of all is purely commercial, and so it is in some ways equivalent to toil: it is something whose sole purpose is to be consumed.

Yes, being “tricked”, in your words, by human creativity is precisely the appeal. If art were simply an equation, it wouldn’t have any meaning to it - it would simply be fact.

I’m sorry, but I think we’re talking about two diametrically opposite conceptions of art here.
Tangentially related question: What is the [recommended|best|most used] iOS KeePass client? The KeePass site recommends MiniKeePass that's been archived for a couple of years already.
> Or, instead of surveillance dystopia, we just start having in person tests again, if we want to know, what a person on their own is capable of.

Why would I want to test someone's performance at say writing an email without the benefit of things like a spell checker, or grammarly style stuff, or chatgpt. They'll have access to this in the real world.

How about we test realistic scenarios. Instead of asking someone to calculate 96*451 by hand, ask them to workout the difference between buying a $700 phone and $5/month sim contract vs a $30/month contract for 3 years with RPI inflation. Give them a pop quiz to choose which of a dozen screaming offers in the supermarket aisle is the best thing with 10 seconds to decide, for added realism throw in a couple of kids causing some distractions.

For added credit have them consider opportunity costs of that $700 upfront payments, not just what they'd get with it sitting in a bank account. Instead of have them write a 1500 word essay by hand, give them 2 hours to write 1500 words explaining the benefits of X using normal tools like a modern word processor, google, wikipedia, ChatGPT etc. If they don't use the tools at all, you'd probably need to mark them down.
They have been selectively bred to produce much more wool than is natural, for human benefit. Their ancestors did not require shearing by humans to survive. If you believe otherwise you're an idiot.
Context: https://wiki.archlinux.org/title/DeveloperWiki:GitMigration
Simultaneously, I'm also noticing that writing styles in general are beginning to look very ChatGPT-like, even if someone isn't using ChatGPT to write with at that moment in time. If they're a user of it at any other time, or consuming a lot of its output, they tend to mimic what they're exposed to. Just an observation.
> What exactly makes anyone think that they can detect an LLM that is outputting text? The notion seems absurd yet it keeps coming up.

My sense of the general idea (non-authorative): Since the sequence emitted by an LLM is probabilistic completion i.e. predict the next word, the examiner can also do the same by progressively processing the text. Given the assumption that the semantic relations extracted from training corpus should be fairly universal for a given domain at the output level (even though distinct LLMs will likely have distinct embedding spaces), then the examiner LLM should be able to assign probabilities to the predicted words. The idea is that a genuine human produced text will have idiosyncrasies that are -not- probabilistically optimal and the examiner can establish a sort of 'distant from probable mean' measure, with the expectation that LLM produced text should be 'closer' to the examiner's predictions of 'the next word'.

The problem (if above is correct) then is the missing 'prompt' and meta-instruction embedded therein. Those should ("engineering") affect the output, possibly skewing the distance measure, thus defeating the examiner. But of course, say in context of academia, the examiner can 'guess' as to some aspects of the prompt as well. For example, if you are examining papers for a specific assignment, the examiner can self-prompt as well. "An essay on Hume's position on the knowledge of the self".
I'm in my thirties. I might fall into the category of having trouble recognizing revolutionary technology as you say.

> They all are looking at this and saying this is gonna be huge.

It's beyond me why would anyone assume an LLM that's already been trained in most relevant and available data will just keep becoming somehow way better and smarter. I get that it has it's uses, but what do they mean by huge anyway, theoretically it could end up a huge mess too.
I would like to see a codebase of the first kind. All larger python projects I have seen are of kind 2...
It hardly matters when userspace doesn't expose any POSIX layer, beyond ISO C and ISO C++ standard library.

Apple stuff is unrelated to Linux.
The value is not decreasing. The price is.
The information is still as useful as it was, but supply is increasing.
Two programs running under same user can’t by default read each other’s memory.
This doesn’t seem to be what was suggested? Using an up-to-date database that has had its distributed mechanisms tested - even if the test was a few versions back - is a lot better than something that uses completely untested bespoke algos.

As for verifying Jepsen, I’m not entirely sure what you mean? It’s a non-deterministic test suite and reports the infractions it finds; the infractions found are obviously correct to anyone in the industry that works on this stuff.

Passing a Jepsen test doesn’t prove your system is safe, and nobody involved with Jepsen has claimed that anywhere I’ve seen.
I really thought a split keyboard would be amazing, but it ended up just being a vehicle for tenting. Tenting is great, though!
Pure is not enterprise storage?
I saw this (now aged by four months) post from openAI on a method of detection. It’s not perfect but there is certainly some signal present.

https://openai.com/blog/new-ai-classifier-for-indicating-ai-...
People aren’t going to give up travel and it’s unrealistic to expect them to do so. If we rule that out, what alternatives remain?

I assume the answer is going to come in the form of reducing emissions from a typical flight and extracting CO2 from the air.
I bought my wife’s uncle a cheap Android phone after his old flip phone broke. At the time he needed to use Uber for his work commute, so a smartphone was in order. I helped him set up a google account, downloaded some important apps and showed him how to use them.

Fast forward 2 weeks and he’s complaining the battery only lasts a couple hours.

The Lock Screen was littered with gambling ads, there were all kinds of apps installed, and the phone was basically unusable.

He claimed to have no idea how it happened. I assumed he was just clicking on any/every pop up. Maybe he really downloaded 1 bad app which then self installed the rest of this crap?

Anyway, I went back to the store and bought him an iPhone SE. That was years ago now and haven’t heard a single complaint since.

I think android phones aren’t for the tech illiterate. It’s way too easy to screw them up.
Yes, that's correct, but I think the previous poster was talking about JSON.
This would be much more interesting if you posted the output directly, or linked to a pastebin service with it on. The context is pretty key to deriving value from the comment.
don't forget that most meat is also subsidized on many levels[1]. Cost would probably be the same or more compared to the normal supermarket price without these subsidies[2].

1. https://jia.sipa.columbia.edu/removing-meat-subsidy-our-cogn...

2. https://www.aier.org/article/the-true-cost-of-a-hamburger/
Game trailer
https://www.youtube.com/watch?v=5TFBoCeb38c

Game
https://store.steampowered.com/app/2216770/JOY_OF_PROGRAMMIN...
I'm a very happy user of strongbox: https://strongboxsafe.com/

I currently sync my vault via WebDAV and they even support storing the local keyfile.
The Primary Objective of Software Design: Minimizing Total Cognitive Load
So using Linux over Windows saves only $1.8 per user? If anything that makes an amazing selling point for Windows.
"citizen developer" no longer need to hire a .... patrician(?) developer.
Not sure what your classes are.
Could anyone please explain me why teachers are paid like shit? Not just in Australia, but I mean in general in many other countries.

It's not like Australia is a starving banana republic that's short on cash. Do you really value the education of your nation's kids so little?

AFAIK in the Nordics like Finland, teachers are paid quite well since the kids are the nation's future workforce so it's worthy investment.
I used it for years until one day it corrupted its own cache and become thoroughly unusable. Manually repairing tens of megabytes of serialised Lisp isn't fun or practical. If you live in Emacs, it's a great tool though.

Sadly, I had to move on to Thunderbird, and lately Outlook. Sad to say it, but email has become an absolute pain to use and text-based email clients are increasingly unusable. At some level, I feel I'm a sell-out. I no longer self-host my own email server, and I no longer use Gnus or mutt. It does feel like the rest of the world has forced us off these high-quality clients as it has consolidated around a small number of providers who deliberately prevent us doing it ourselves or using our own clients without jumping through major hoops like authentication, and this is a big loss.
It’s also 18% assembly so both “not quite all rust” and big kudos for their efforts.
Based on my limited knowledge and biases I obtained over time, I am going to blame Wall street and bankers for such issues. We will see more and even worse situation.

Why bankers and wall street? Because these guys optimize only for making money, demanding infinite revenues and growth, why? To make couple of people even more rich.
Looks like it is riffing off the name of the dearly departed MiniKeePass.
Ask HN: What are your favorite sci-fi books?
I was mostly reading non-fiction in the past but recently got into sci-fi after reading Seveneves, so I'm looking for more recommendations :)
I use the UHK. [1] It offers programmable key layers, including a mouse key layer. That combined with apps like Shortcat [2] and I haven’t needed an actual mouse or trackpad in months. That said, UHK offers thumb track pad and track ball modules if you just can’t give it up.

[1] https://ultimatehackingkeyboard.com/

[2] https://shortcat.app/
That only works if the temperature setting is low. If you set it to 1 the it will pick something that’s 1% likely 1% of the time, for example, which should match human text
This is incorrect assessment. The bureaucracy there may have sometimes wrong incentives but it still has skill and motivation to execute even very complex projects. If a project is political, stealing may still be acceptable, but not finishing it is a treason. This is why they have built Crimean bridge, Skolkovo and many other thing that other countries fail to deliver in time (see airport in Berlin).
Absolutely this - I use a Corne and it's my favourite keyboard for productivity by miles.

I do have another keyboard - a 61 key that I use for gaming, but for day-to-day productivity the corne is absolutely glorious.
Budgeting derived from available funding. Person in charge of the institutional coffers may well want to pay teachers more, but alas cannot because this is what they're given to play with.
Liar Paradoxing ChatGPT
If you drop me a line I can share the google doc with you so you can comment on it.

Email in profile.

And if you google my name + long range e-bike you get an article about a pack that I laid out (170 cells, 2.2 KWh).
Is chatgpt given a list of films to guess from beforehand, or does it just guess the film outright, no extra info? I wouldn't have guessed inception for [Puzzle-piece, scientist, city]
So if anything with OAuth is tied to Google, how would you survive losing your Google account?
Unix like and only mildly for iOS.
Concretely, maybe the question of whether the ideas are “my own” is too philosophical. Everyone remixes ideas they’ve found from other places.

The fact remains that this still is not considered cheating. Many universities have a “writing center” where students can bring their papers for grammatical review, rephrasing suggestions, and even suggestions to revise an entire paragraph or reorganize the paper. Far from it being considered cheating, students were encouraged to use this service. Nor were they asked to cite the assistant.
UCAS and USTC are holdovers from the Communist era, when a nation's Academy of Sciences would also include graduate education (eg. In the former Soviet Union).

In the present day, the CAS includes national labs (to use a CN to US comparison), USTC, and UCAS. Being affiliated to CAS doesn't necessarily mean affiliation to UCAS or USTC, hence why you will see researchers from Tsinghua or SJTU affiliated with CAS.
So there aren't any schools in poor areas? The kids there also commute to posher places for school?

That sounds hard to believe to me, but I also can't believe teachers are the lowest-paid workers in the country. This can only make sense with a very broad definition of "can't afford" - Sydney has of course become a very expensive place to live but that's not only a problem for teachers.

Add to this that the study quoted was confined to New South Wales but the headline makes a claim about 90% of Australian teachers, and it's clear the article is lying to you.
Benchmarking Intel, AMD and Graviton Using Erasure Coding Workloads
I dont know anything about Hawaii but Alaska and many other places with high Native American populations have high homelessness because substance abuse, mental health issues and poverty are a plague on them.

Homelessness is a problem on Pine Ridge in South Dakota where you can place down a used double wide for 10k.

I appreciate that I am not an expert in this area and that my wife and her group of friends living on the edge of homelessness could be an anomaly but my lived experience of SF tells me otherwise.
Same here. Nextcloud to sync the database, and a local keyfile that doesn't touch the internet/cloud.

It's also open-source under AGPL, though iOS doesn't have anything like F-Droid to verify builds.

https://github.com/strongbox-password-safe/Strongbox
I wrote something similar in Go for writing HTTP client integration tests. It's a very useful concept for quick tests.

https://github.com/multiprocessio/httpmirror
Ok, that's rather convincing :-)
It's performance advantage was only on 32bit code, 16bit code was not further optimized. The high cost (and high manufacturing cost) certainly didn't help either.
Great chart, thank you! I brought home some "honey" coffee from Colombia the other day and planned on trying it later today, so the guide came just at the right time and helped me remember what they told us on the coffee farm. :)
The problem is there’s no way to truely publish OSS on the iOS App Store (or Play store) you submit a binary to Apple and you can publish a repo to GitHub but AFAIK there’s no way to correlate that those two things are the same.
So unless you build the app from source yourself there could be anything in the binary.
For this reason I stopped using Google / OAuth a couple of years back!
I currently have 344 accounts in my password manager.
Exact opposite experience on my end - impressionable gen-z kids, and people with minimal background on the topic,* are seeing it as the second coming of christ, where as all the math-and-adjacent PhDs, especially ML-focused, I work with are not buying the hype.

* There's really bizarre tendency of that group to woo-woo and anthropomorphize all those language models. I get answers like "oh it just knows" or "you should try it" when asking probing/hypothetical question.
People say that, but when the Academy of nutritionist and dietetics and various government agencies says it is possible to live a healthy life on a plant based diet you know it is baloney.

It consists mostly of the things people have been telling us to eat for ages. Whole grains. Legumes. Leafy greens. Vegetables. Some vegetable oil like rapeseed or olive oil.

Supplement with b12 and drink fortified milk alternatives you will be just fine. If you are a woman and have problems with iron absorbation you should probably take an iron supplement as well.

Online it seems to be a controversy, but among people who actually study nutrition there is pretty broad agreement that a vegan diet can be fine.
Can you explain how these are related at all? It seems you think economics is zero sum, so if that if these guys win, others must be losing.
I think the volume of self-promotion in places that allow it has increased to a point that failing to take some action to limit it will lead to a forum most people don't want to participate in more often than not.
I guess that's why John Oliver has no segments on the American justice system. Oh wait ... /s

Just look at any article that comes up on this site that covers the justice system. It's a hot mess everywhere, to a varying degree.

Japan is no exception, and there are countless number of injustices. But at the very least, the police there don't get to shoot people and walk scott free.
Family sized houses often require two incomes (or at least one and a half) to afford. The idea that a single person working 190 or so days per year can get one is a bit deceptive. Teachers can work summers or after school to assignment their incomes
Where is this mild part coming from?
or maybe they translated the parent comment into pirate speak on their own, which would not be difficult, to see if anyone accused them of being an LLM text.
By default, curl interprets braces and square brackets to expand into multiple URLs (similarly to bash and other shells). You can disable this, and use literal braces & brackets in URLs, by passing ‘-g’ (‘--globoff’).
Hello, cool demo. Can you share more about the tech behind this? What’s your objective? Will you release an OSS product?or a SaaS?
They don’t need to pick 10%. Nuclear escalation will always end in full scale strike, so even if only 10% will survive and only half of it will hit the target, that will be enough.
High supply of people who want to be teachers and are willing to trade some upside for security and flexibility.
It's fun to redo Plan 9, is very gimmicky between the name and the 9front fork and its memelords, but even the creators of Plan 9 have moved on to Inferno OS from what they've learned.
> I don’t know Knuth.

Well you should before taking unwarranted potshots at the man. He's done more for humanity than you or I ever will, eh?

Anyway, you do sound like you know about LLMs, so apologies for that bit.

> People look at LLMs and shake their head failing to realize it’s a single model and single technique that we haven’t even attempted to augment and fail to realize that it’s even possible to augment and constrain LLM with other techniques to address their non trivial failings.

I doubt Knuth is doing that, rather I think the whole thing is orthogonal to his life's work. FWIW, I would love to know his thoughts after reading the GPT4 version of the answers to his questions, eh?

- - - - - -

> I think they’re extrapolating the current state to a state where it’s limits are restricted and [not] augmented with other techniques and models that address their short comings.

I think you might have dropped a negation in that sentence?

> Lack of agency? We have agent techniques. Lack of consistency with reality? We have information retrieval and semantic inference systems. LLMs bring an unreasonably powerful ability to semantically interpret in a space of ambiguity and approximate enough reasoning and inference to tie together all the pieces we’ve built into an ensemble model that’s so close to AGI that it likely doesn’t matter.

I agree! I've been saying for a few minutes now that we'll connect these LLMs to empirical feedback devices and they'll become scientists. Schmidhuber says his goal is "to create an automatic scientist and then retire.", eh?

(FWIW I think there are serious metaphysical ramifications of the pseudo- vs. real- AGI issue, but this isn't the forum for that.)
Definitely, should have mentioned that. However it is interesting that using temperature may lower the quality of the output and you may get a C and not the hoped for A+.
I’m not sure I understand what you mean (well to be honest if blunt I think I understand and believe it doesn’t really make sense).

Android has bsd-derived core utils on top of a souped up Linux kernel. That’s pretty much a textbook Unix-like. Meanwhile Darwin is Unix-certified and a significant part of XNU was originally lifted from BSD.

Unless you meant the Java based/NDK development experience? But then you can have the same thing on a Unix machine: once you are removed enough from the OS what it is doesn’t really matter.

In a way, I think I agree with you in that I also believe that what’s happening at the lower-level matters less and less for the majority of developers.
Show HN: AI-tool using WebRTC for improved and respectful conversations
Btw, many more integrations are coming soon :) NPM is already lined up for release, just gotta test it a bit more and make sure everything works as intended
And we wonder why LLM's hallucinate.
My company thankfully supports Windows and Mac. The PowerPoint & meeting types generally use Windows. All us devs use Macs. It’s bad enough we have to suffer the horrible UX of Teams. I could not imagine having to deal with Windows on a daily basis, although Linux Subsystem for Windows is pretty cool—-like a sip of cool water on a desert island!
Is there a good data source/site that keeps up to date on which smart TVs have which surveillance elements and what can be done to disable them?
You could ask why the people that clean the toilets are paid so little. It is obvious that what they do is important. Dirty toilets are annoying and potentially a health hazard. The truth is that there are many people who can do the job adequately (as defined by societal consensus), so they are paid relatively little. The same goes for teachers.
For me the telltale was the last paragraph: summary starting with “Overall”.
I ran zipslack!
I've moved away from the Android ecosystem long ago, so I don't know if this is still maintained, but there's the Addons Detector app[1] which can be used to locate adware applications.

[1] https://play.google.com/store/apps/details?hl=en&id=com.denp...
Meaningful work is desirable, people are willing to do meaningful work for less pay, this results in meaningful work being paid less. (This is a existential crisis realization for me.)

Is there anything to prevent the pay for our most important and meaningful jobs from approaching zero?

Value (as in profit generating value) and meaning are different things. This explains why meaningful work is not necessarily valuable work. But here's the thing, why aren't value and meaning aligned? Don't we want to value and pay for things we find meaningful? This misalignment seems to be an underlying cause of many problems--the root of all evil even.