skysight-inc/HackerNews huggingface dataset:
It really sucks when you want to keep a secret but keep getting asked the right questions. It would have been much easier for Amazon if people just took the first statement at face value.
maybe because valuations trumped sales. If only they could add AI to their names
By RAM usage?
Turn your phone off every night for five minutes, Australian PM tells residents
I've not read this paper, but it sounds similar to this earlier paper by one of the same authors:

https://www.usenix.org/conference/osdi21/presentation/fri-ke...
"It's Time for Operating Systems to Rediscover Hardware"
Also pedestrian and cyclist safety on top of crash saftey requirements.

There still are some designs that are different. They just don't sell as well as the mainstream stuff.
why would you eat popcorn after the age when you become conscious of food anyway
Copilot will AI wash your data
I really dislike the taste of coffee, but the article is a very interesting read.

Funny quote:

>Coffee began to replace the common breakfast drink beverages of the time — beer and wine.
"holding governments to account" is rarely a function of classified information, it's typically revelation of some corruption that was found via some kind of investigative work -- and almost always via public documents, hence the importance of the FOIA.

When leaked classified documents show something highly troubling, like the Snowden leaks or Wikileaks, the government doubles down and does everything it can to punish those leakers to the maximum extent, which is not what a "healthy system" would do to a whistleblower exposing illegal or corrupt activity.
> the bot could be prompted to make excuses or to delay the date

I'm so glad I'm (at least currently) married and don't have to worry about finding myself using this app to meet people.

Your post said:

> "I think the Match Group +/- monopoly/dominance is terrible for society"

How is using AI and bot accounts to chat with lonely men (who think they're chatting with real humans) any better for society?

> Aware of that too, hence why it would be quickly disabled.

Or you could just... not do it at all
I learned it mostly just by reading through the official documentation[0], but also by looking at code examples in the test suite of the compiler itself at janet-lang/janet[1], the official contrib library at janet-lang/spork[2], and hanging out in the community chatroom on gitter[3].

Recently, one of the veterans in the community published an online beginner-focused book called "Janet for Mortals" that I wholeheartedly recommend: https://janet.guide

Aside from that, the community and ecosystem around Janet is still very much developing. I don't know of any really good tutorials on YouTube, for example, and while I know of a blog or two there aren't many. So there's totally a niche for someone to create new content, if that's something you're interested in doing.

[0] https://janet-lang.org/docs/index.html

[1] https://github.com/janet-lang/janet

[2] https://github.com/janet-lang/spork

[3] https://gitter.im/janet-language/community
Again, the point isn’t that China is doing problematic things. It’s that the media actively ignores or misrepresents the same behaviour by the West/USA.
Scott Manley had some things to say on this matter that were not revolting, trite or giving nauseating tech-bro vibes
https://www.youtube.com/watch?v=qdz9vcSFBqw
> FWIW I'm pretty sure this is how Microsoft does it. Verifier is in userland and signs programs post-verification.

Almost. Yes the verifier is in userland, but it doesn't sign things — it's a trusted component of the system, there's no need for a signature on this step. It simply says "OK". But the verifier itself is covered by the usual system integrity mechanisms.
My household follows this method, though we find high heat, while extremely efficient, frequently results in chewy output.

In my experiments heating the pan and oil to a medium-high temperature, just before smoking, with 3-4 test kernels preloaded allows them to generate an alert by their popping, signalling the optimal time for addition of the rest of the kernel package.
this exactly. git itself is all ya need. u can connect clients/ides like vs code to such a repo easily.
Just FYI, use:

yt-dlp --write-auto-sub --sub-format json3 --sub-lang en

I don't know why automatic subs require a different flag, but they do.

What's that "mods" CLI?
I think in the case of Mumble, the chat feature is intended to be used to let people fix sound issues, nothing more.

This sort of is yet another data point related to a conundrum: on one hand, applications that integrate multiple functionalities are convenient but there's always one or more functionality that doesn't fit your needs; on the other hand, applications that focus on one functionality do it well, but you have to hand pick one-by-one to fit all your needs, perhaps add some glue scripts/plugins to make them work nicely together, and this is inconvenient (in particular if you are not alone and not in an organization that "dictates" those choices) and a slow process.

Basically it is Office365/LibreOffice/Emacs or Browsers (with plugins to add chat, email clients, etc.), issue trackers (sometimes feature Wikis and more), Git online front ends (sometimes offer Wikis and issue trackers), versus e.g. raw Git, Vim/Notepad/Nano, bare-bones browsers (Surf, Midori browsers), ...

I favor the dedicate apps for things I do a lot - usually I eventually know them pretty well and I have the know-how to make them interoperate. For more casual stuff, I'm like the random user - the convenience just wins.

But for communication applications, as long as people jump the bandwagon of the latest private service provided "for free", you have to go with the flow or only be the nerd that talks with nerds on obscure networks.
I use my laptop everyday and leave it connected to power. Battery power is nice but rarely used.
Darknet Diaries has an episode on it.
mods decide what appear on subreddits, most anti-reddit narrative was spread as sticky posts on popular subreddits.
GitLab CE is far too heavy and requires minimum 4GB to run. Contains lots of componnents including PostgreSQL and Redis and various components and startup takes long. With Gitea I can run it with just 1GB or a raspberry pi. It includes wiki, package repositories and releases as well. ldap, service desk - these are enterprise features that I don't need.
Very interesting. Ties sub tech to Steve Fossett, who was working with Scaled Composites before his death.

Not saying they are related at all but I am reminded of this:

https://en.wikipedia.org/wiki/VSS_Enterprise_crash
So Yogi Berra works in the security department, not letting you use your card because you never use your card. I love the self-reinforcing nature of it.
I've heard plenty of non-technical users complain about ads that they think we're shown based on tracking, most often the complaint is concerns of the use of an idle phone's mic.

I've also talked with non-tech people about how the tracking and data mining world actually works, I've never had someone say "so what?". It may simply be that non-tech people aren't as aware of what the tracking does based on ignorance of the problem, not a genuine acceptance of the practice itself.
The rant in the middle is very dismissive over voices against in the discussion, and that makes me agree with OP.
"IBM Doily" is cute. Love that.
After a quick/superficial read, my understanding is that the authors:

(a) induce an LLM to take natural language inputs and generate statements in a probabilistic programming language that formally models concepts, objects, actions, etc. in a symbolic world model, drawing from a large body of research on symbolic AI that goes back to pre-deep-learning days; and

(b) perform inference using the generated formal statements, i.e., compute probability distributions over the space of possible world states that are consistent with and conditioned on the natural-language input to the LLM.

If this approach works at a larger scale, it represents a possible solution for grounding LLMs so they stop making stuff up -- an important unsolved problem.

The public repo is at https://github.com/gabegrand/world-models but the code necessary for replicating results has not been published yet.

The volume of interesting new research being done on LLMs continues to amaze me.

We sure live in interesting times!

---

PS. If any of the authors are around, please feel free to point out any errors in my understanding.
Sure. A lot of things click. I actually happen to think that it's an imperfect solution to a very hard problem.

Muslim extremism is a worldwide problem. I suggest reading a few of Sam Harris' essays.

To me, re-educating them and removing the extremism is the imperfect solution to a hard problem. It's a hell of a lot better than invading muslim countries and bombing innocent them.
Gitea has all these features as well, except maybe the last.
> I just don't think there's any chance you or anyone else has any idea how far Jupiter is except as a calculation.

I agree, it's very hard – almost impossible – to really "understand" things at scales that are so far outside of our human experience and intuition. However, "near Jupiter" does put things in to relative proportion, whereas "X million miles" doesn't.
The CI is for the mean, not for the entire data. This is the difference between a confidence and a prediction interval: https://stats.stackexchange.com/questions/225652/prediction-...

I do agree that it's fairly noisy though.
Credit card companies run sophisticated anti-fraud operations in real time. Visa "analyzes more than 500 unique risk attributes" the moment you attempt to make a purchase with a card.

They make decisions in milliseconds on each purchase to determine whether it might be fraud. This includes looking at past purchase history to see if this transaction is unusual.[1]

[1] https://usa.visa.com/visa-everywhere/security/outsmarting-fr...
If I ask for centaurs, I expect centaurs; if I ask for a sauna, nude people are a contamination from what's commonly found in a sauna, and naughty poses and details are further contamination that is evidence of models trained from porn.
Aren't these kind of odd prices usually just laundering money for black projects?
Sadly, worth a mention: Regular reboots can also improve the behavior of the buggy OS & buggy apps.
Tinkering other than alcohol, caffeine, sleep aids? Which have profound effects on consciousness? Ok. I guess that's news kind of. Been going on since 1000BC (caffeine), 7000BC (alcohol)
does anyone have specific and unique enough code in their pvt repos to see if co pilot and such things will actually recommend their specific private code or methods (i guess this is the thing ppl worry about?)?
I want to believe, but I don't have a UV light handy to verify this.
Failure to meet a requirement, one of which is user satisfaction, is, by definition, a defect.
I'm not familiar with running ClojureScript on Node.js, so I can't give a confident answer. :)
Actually, most life insurance pays out on suicide. After 2 years of holding the policy.
how so? Nope, never intended to do such a thing. Can I ask what gave you that idea? Asking unironically
GitHub: We are owned by Microsoft. And Microsoft is known to secretly forward much or all of the user data and communications to the NSA (National Security Agency), as part of the PRISM program

(https://www.lawfareblog.com/snowden-revelations)

... but we'll never share your data with anyone!
It's a surprise to see a paper actually try to solve the problem of modelling thought via language.

Nevertheless, it begins with far too many hedges:

> By scaling to even larger datasets and neural networks, LLMs appeared to learn not only the structure of language, but capacities for some kinds of thinking

There's two hypotheses for how LLMs generate apparently "thought-expressing" outputs: Hyp1 -- it's sampling from similar text which is distributed so-as-to-express a thought by some agent; Hyp2 -- it has the capacity to form that thought.

It is absolutely trivial to show Hyp2 is false:

> Current LLMs can produce impressive results on a set of linguistic inputs and then fail completely on others that make trivial alterations to the same underlying domain.

Indeed: because there're no relevant prior cases to sample from in that case.

> These issues make it difficult to evaluate whether LLMs have acquired cognitive capacities such as social reasoning and theory of mind

It doesnt. It's trivial: the disproof lies one sentence above. Its just that many don't like the answer. Such capacities survive trivial permutations -- LLMs do not. So Hypothesis-2 is clearly false.
If its going on an aircraft and it's no longer made or stocked, then yes there will be extra cost as it has to go through certification, testing, flammability, tooling and various other things. So while the top line price may be high for the bin, but a breakdown of costs would indicate where the money is going. Overcharging? perhaps and possible, but more info needed.
someone who knows what he's doing did the optimizations,
this thing is smoooth, kudos
I'm not looking at the keyboard, but I often move my right hand to click brackets or comma with index/middle finger. Takes muscle memory.
As a UK-based Amazon customer, these dark patterns are getting out of control. They keep swapping interfaces every few days, and they are becoming increasingly complex. Now you have to de-select "use the remaining balance in my gift cards to pay for prime" every time you checkout. The you have to select a non-obvious button to not get fast delivery (otherwise enable prime). You then have to go through all of the orders in the checkout and ensure that the "free" option is selected.

That, plus they keep pushing this subscription service for repeat purchases, meaning that can slowly creep the prices of everything up and not notify you. They also now display prices as if you are subscribed, not the actual one-off purchase.
>(Wanted to switch my SBC work from ARM to RISCV but it looks that you need to put in a lot of effort to get Linux reliably going).

I got a VisionFive2 (~$100) and I am impressed with the progress made since it shipped in February.
This applies to 'pro & team' paid services too.
Does that ever work? After all, an enterprise that cannot grow at the same speed is effectively shrinking, isn't it?
There are people still doing this. Example: Serenity OS

https://github.com/SerenityOS/serenity
Like any US-based service (or one controlled by a US company), reCAPTCHA is subject to US laws which mean they CANNOT guarantee that your PII is only used for fraud detection purposes because the govermnet can order them at any time to hand over that data while also ordering them to keep silent about that.
Mass Extinction
UX is definitely an issue. One interesting thing coming up is confidential computing (where basically the RAM and registers of the workload are encrypted so they hypervisor cannot see them). The hardware implementations are all based around VMs, so they require you to run a full kernel, even if what you're doing is basically a confidential container workload. We think there might be a niche for unikernels here.
Can't believe I had to scroll that much to see this comment. Upvoted and Thanks.
> Except getServerSideProps is no longer used in Next 13

Yes it is?
this guy doesnt popcorn.
Apart from just hoping the companies come around, what do you suggest then? Or are we perhaps just screwed and have to walk on eggshells when we are on the internet?
On giving AI eyes and ears
Indeed it should be spoken aloud (or at least 'aloud in your head'). But if it should be spoken as if it were prose, why do you think he took all the trouble to put it in to verse?
That is an excellent point I hadn’t thought of.
There is no "away" on a finite planet that has humans on every continent.
https://web.archive.org/web/20230621222550/https://responsib...
The Most Mysterious Song on the Internet
Yeah, if you count teetotaling as anything which substance which causes you happiness you will have to look at ascetics. A few would fit this.
I was thinking of any intoxicating substance which quite a few religions fit.
I’m also I’m a similar situation, but I get the call when the thing has been on fire for a while so it’s a lot easier.

I can’t imagine a software engineer developing an interest defensive software engineering will be very visible until after there has already been a crisis to screw people’s heads on straight.

A lot of people seem to see “Do things that don’t scale” and think that’s a phrase meant for engineering.
Gaddag
We'd still need a way to know when someone violates it. When you see a copy of your licensed software being used you can at least try to enforce that, but how do you know it was fed through an AI for training?

At best that would be like a Don't Track Me flag. Some will follow it, though ironically it is also useful for fingerprinting and can signal you may be doing something worth tracking.
Deploying a Rails App with MRSK
Allende never existed
>First, it is plagiarism by definition.

There's a bit of a motte-and-bailey situation here - the student clearly plagiarized if they passed off ChatGPT's work as their own, but this has no bearing on the more interesting question of whether ChatGPT itself "plagiarizes" from its training set or creates new knowledge by synthesizing it.

EDIT: Fixed the spelling of Motte-and-bailey
Isn't most of the malware these days mostly automated? If so, why would the attackers care about latency? All they have to do is wait for a ping.
Once things hinge on the definition of commonly-used verbs and nouns, you've got a problem.

And if you don't agree, just remember that my claim hinges on the definition of the words "you", "definition", "got" and "a".
Finding monthly visits is easier but how do I figure out Keywords?
black pocket ;)
That has as a prerequisite that the software is available as OSS. Compare Figma with OSS. Why would anyone in their right mind not go the Figma way, if they actually have to offer something valuable?
While defense spending is the most egregious, governmental budgets are inflated across the board in the US. For instance, the US spends far more per capita on infrastructure and education than other industrialized countries, for at best comparable (and often worse) results.

I wonder how much of this is due to the US’s unique ability to essentially endlessly deficit spend. If the supply of governmental funding is effectively infinite, there is absolutely nothing controlling costs.
Because in some places Whatsapp is the only way to talk to people. Yes it's a sad status quo. But it IS the status quo nonetheless.
Tell HN: macOS's `open` util is nifty
Open current dir in Finder:

open .

Open a CSV in default spreadsheet program:

open example.csv

Open the same CSV in TextEdit instead:

open -a TextEdit example.csv
Sorry to reply to myself here, but I found this comment really interesting on the difference between 'tower jumpers' and 'arm whirlers': https://news.ycombinator.com/item?id=36412847
Have you even read the comments?
A postcard is not a letter; its contents are written in the open, right near to the postal address, and are fully visible to the postman. I imagine that's why the OP chose specifically a postcard for his example.
Of course it would be nice if every app can load up its own untrusted eBPF code and for the kernel to not be compromised. But why such high standards, where else is that the standard to go for? Seems perfect is the enemy of good.
Neither have I, but what does that have to do with anything?
> if I were asking that sort of question in an interview

The impression I had was that the question was asked in a social context: over coffee, beers, or something like that.

> What units do you think you know the scale of the solar system in?

AU, as I mentioned: https://en.wikipedia.org/wiki/Astronomical_unit
They do have a policy that they deduct purchases for friends/family, but the tone of the wording is that they seem to recognize it happens:

"Why is there a deduction for personal use of the program?

We do not pay referral commissions for products you purchase through your own links. This includes orders for customers, orders on behalf of customers, and orders for products to be used by you, your friends, your relatives, or your associates in any manner. Due to the proprietary nature of the way we determine if the order was personal, we can't share the full list of criteria by which we detect these ineligible orders."

https://affiliate-program.amazon.com/help/node/topic/G46FTB8...

I don't read anything there, or in further text that sounds like you'll get banned. Just that they might exclude those purchases from paying out affiliate fees.
Vin Mariani was the inspiration for John Pemberton to create his own "French Wine Coca" nerve tonic, which also included caffeine from the Kola nut. Later, influenced by the temperance movement, he left out the alcohol (but not the coca), and thus, the first iteration of Coca-Cola was born...

https://en.wikipedia.org/wiki/Coca-Cola#19th_century_histori...
https://youtu.be/QdmH47VNiS4?t=61
When I click that disable all button there is a modal window with a checkbox that says "Enable by default for new repositories"

I'm assuming I want to definitely not check that if I dont want my code stolen?

But I dunno, they have worded this all so confusingly, this is some dark pattern shit. Do I check the box or not?
They do not seem to record keywords.
To me it's more sensible to consider writing a database from scratch for the unikernel. Or at least the storage engine portion of it.

Plenty of recent DB research about running up against the wall of what the Linux VM subsystem can provide for them in terms of memory management. LeanStore[1], Umbra [2], and research [3] since then show that to crank the most out of buffer pool mgmt, we're getting closer and closer to the TLB itself. Fiddling with mmap & vm overcommit, pointer swizzling (or not), userfaultfd & custom page fault handling, even custom kernel drivers, etc.

To really crank performance on in-memory and hybrid in-memory/disk systems -- why even bother with Linux then? Let's run direct on hypervisor! On the whole, DBs already manage their own persistent storage, so don't strictly need a filesystem (esp in the New Cloud World where pages often go up into S3 buckets etc); they manage their own memory; and often user accounts, etc too, and often managing their own concurrency. They're really an OS within an OS in many respects.

Virtualization already handles abstracting things enough that drivers for network and disk etc aren't as big of benefit from the OS side. Security and monitoring can be handled at the per-VM level. We're no longer held back by the requirement to have to have a pile of drivers for different hardware configurations. At least in broad strokes.

But I wouldn't start with Postgres as a base, that's for sure. If you're building enough of libc and a POSIX/Unix ABI that you can run stock programs, there's likely little benefit at all.

I doubt you'd get much win for analytical workloads, but for very high throughput transactional workloads ... what fun!

Let's go all the way baby!

[1] https://db.in.tum.de/~leis/papers/leanstore.pdf

[2] https://db.in.tum.de/~freitag/papers/p29-neumann-cidr20.pdf

[3] https://www.cs.cit.tum.de/fileadmin/w00cfj/dis/_my_direct_up...
Late update: I'm now convinced it's a single-muon thing, because of the paper's discussion about the distance between, and *solid angle* subtended by, the two detectors (eq. 2). If they go too far apart, the rate of individual muons that coincidentally hit both detectors drops to unusably low levels (eq. 3, the 1/D² dependence). If it were instead a "they're detecting secondary particles from the same cosmic shower" like someone proposed, this part would be totally different.
If anything I'd expect the federal government to give them a pat on the head.