skysight-inc/HackerNews huggingface dataset:
More info than the twitter post:

https://blog.rwkv.com/p/rwkvcpp-shipping-to-half-a-billion

No idea what this thing is, but it appears to be some sort of AI-related thing:

>While it’s unclear what Microsoft is specifically using our models for, it is believed, this is in preparation for local Co-pilot running with on-device models
Evergrande imploded because of massive amounts of debt that they had been rolling for years. Continually rolling this massive debt was working till property demand slowed and their revenues couldn't keep up adequately to qualify them to issue new debt.
Definitely want to try that too!! In general I think people sending an email expect a text format reply, but there's something sad about losing that handwritten letter :) Plus of course, drawings → attachments!
> Recent examples I've seen fall well within the range of innumeracy that people routinely display.

Here's GPT-4 Turbo in April botching a test almost all preschoolers could solve easily: https://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_pr...

I have not used LLMs since 2023, when GPT-4 routinely failed almost every counting problem I could think of. I am sure the performance has improved since then, though "write an essay with 250 words" still seems unsolved.

The real problem is that LLM providers have to play a stupid game of whack-a-mole where an enormous number of trivial variations on a counting problem need to be specifically taught to the system. If the system was capable of true quantitative reasoning that wouldn't be necessary for basic problems.

There is also a deception is that "chain of thought" prompting makes LLMs much better at counting. But that's cheating: if the LLM had quantitative reasoning it wouldn't need a human to indicate which problems were amenable to step-by-step thinking. (And this only works for O(n) counting problems, like "count the number of words in the sentence." CoT prompting fails to solve O(nm) counting problems like "count the number of words in this sentence which contain the letter 'e'" For this you need a more specific prompt, like "First, go step-by-step and select the words which contain 'e.' Then go step-by-step to count the selected words." It is worth emphasizing over and over that rats are not nearly this stupid, they can combine tasks to solve complex problems without a human holding their hand.)

I don't know what you mean by "10 years ago" other than a desire to make an ad hominem attack about me being "stuck." My point is that these "capabilities" don't include "understands what a number is in the same way that rats and toddlers understand what numbers are." I suspect that level of AI is decades away.
I feel like this framing is extremely convenient and ignores how things work in other aspects of when congress delegates power to a specialized committee. For example, OSHA doesn’t need to find a specific law to deem a certain work practice unsafe and prohibit it, FDA doesn’t need to find a law against arsenic poisoning to take unsafe food product of the market, and the TSA doesn’t need a law against liquids in an airplane before they prohibit passengers from taking them onto the flight.

In every other instance what is required is that experts in the field back up their reasons with adequate research. In this case the FTC has done that, they have argued that non-compete is an unfair practice and shouldn’t be allowed, just like the NHTSA has argued that Airbags are an important enough safety feature that all new cars should be required to have it. Both have plenty enough research to back up their claims, but only the FTC needs a specific law? I wonder why that is.
The same people might also dunk on public projects funded by their own governments.

But I think they may not be quite aware of:

1. How many present-day things we take for granted have been enabled by basic research, sometimes on weird or unimportant-sounding topics.

2. How basic research can't necessarily quite go only for "important" and big results and skip the "unimportant" results and topics, or know in advance which ones are going to be useful and which ones aren't.

3. How investments in fundamental research are, proportionally speaking, actually quite small. The 100 billion euros for Horizon Europe sounds like a lot, but that spans over seven years (2021 to 2027), and if it's funding a crapton of all kinds of research, there are also almost certainly going to be lots of results that are going to be useful. And, granted, also lots of ones that won't be, at least not directly. But even the vast majority of the useful ones are going to fly under the radar for just about everyone outside of the particular field so it's easy to not be aware of them (see also points 1 and 2).

The EU has a population of ~450 million. The 100B euros over 7 years means the costs are ~225 euros per EU resident in total, or ~32 euros per year. I'm almost certainly paying more than the average EU resident, so let's say I'm paying 70 euros per year for the whole deal.

I don't really have a huge problem with that. If it were for some kind of a small or narrow range of projects, I might. But it's not.
Why is there is so little Atlantic hurricane activity?
Its because Selinux wasn't really designed for "sysadmins" it was designed for "governments" or organizations that need to meet a specific level of security as a contractual/legal requirement. Selinux came out of the NSA and is based around the Trusted Systems Criteria / Common Criteria, aka the Rainbow Books. If you look at 'Trusted Solaris' (or IRIX, AIX) you'll see very similar systems.

Is this poor design or simply, not designed _for_you_?

I agree, its a royal pain to manage, and it might be overkill for a small shop trying to lock down their web server. Thankfully there are other solutions, and operating systems that may better fit your use cases.

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

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

https://en.wikipedia.org/wiki/Security-Enhanced_Linux
> If you are writing a lot or working on a text file to take notes etc. it's a great product.

Even for this intended purpose, I am disappointed. The screen is imprecise up to 1 mm, no search in notes, etc. I went back to paper, which is certainly not what I expected.
I didn't say anything about agency, free thought or freedom, but yes. Colonialism existed. Empires existed. And the spread of Christianity throughout the Western world was inextricably linked to both ever since the day Constantine decided Christians dying in his army would be more useful to him than Christians dying in the arena. That just bare historical fact.

And theories of mind (and associated disorders) tend to be culturally based and coded - see the syndrome/myth of the wendigo as an example. And it does matter if your culture is colonized and forcibly assimilated into a religious paradigm that explicitly suppresses "shamanic" practices as heretical. The degree of common cultural recognition of shamanism as an esoteric interpretation of hallucinatory experience in any Western culture is roughly in proportion to the degree to which colonizing powers sought to eradicate, and resisted syncretism with, existing native traditions. Because that just wasn't a thing in Christianity in the West at the time.

I don't know what the snark is supposed to be for, and your comment just seems to descend into a bout of logorrhea. It's difficult for me to know what point you're actually trying to make, or what you're trying to prove or disprove. I guess I did a wrongthink and short circuited your capacity for rational thought? Sorry about that.
I am just one person atm, I cant really afford to give money :)

If you have OpenAI API key you can use that instead of going through the plang server.

Instead of 'plang' you run 'plang --llmservice=openai'

doc is here: https://github.com/PLangHQ/plang/blob/main/Documentation/Pla...
Better than investing in blockchain or another openai wrapper company
This is connecting via the reMarkable cloud tool, but everything is abstracted into a `DocumentManager`, so you could also use, for example, the document manager that just drops PDFs into the filesystem [1] so that you can use whatever tool you like, including, say, iPad, writing with a wacom on your laptop, etc.

[1] https://github.com/j6k4m8/epistolary/blob/main/epistolary/do...
For any technology we haven’t achieved yet there’s some probability we never achieve it (say, at least in the next 100 years). Why would AI be different?
I've seen poorly implemented SELinux policies make a workstation unusable and fill up /var with audit.logs that are tens of gigs.

You have to do 100% coverage testing on whatever program you're using. (Good luck if you don't have the source code.) Otherwise, you don't have any guarantee that your program won't seemingly be killed randomly.

Good luck, x2, if you have some snake oil "endpoint security" that keeps overriding your SELinux policy changes.
Yeah I uninstall it and then I reinstall it every now and then for a bit. HN is infinitely better though limited in scope
Beyond the credentials, this reminds me of other fast huge investments such a Theranos, WeWork, Better Place, Faraday Future, and the list goes on.
Have you ever looked at how A/C systems are designed? The engineers determine the parameters on a “design day” by calculating the “sensible load” (heat entering the space from outside + sunlight + people + equipment, etc) and the “latent load” (rate at which water vapor enters the air from ventilation, leakage, people, kitchens, showers, etc, times the heat of vaporization of water to get it in units of heat), and then design an air conditioner that will remove heat and vapor, in the corresponding amounts and ratio, at steady state at the indoor temperature and humidity they choose, under the design conditions. Then they throw a thermostat in so the temperature is under closed-loop control. Of course, this means that the humidity is under open-loop control based on the wild guess they made — YOLO! And there is absolutely no effort made, even if the calculation is right, to get the system to converge to design conditions quickly.

Add people to an office with lots of windows and sunlight coming through those windows, and the sensible to latent load ratio changes, and there goes any semblance of humidity control. If you’re in a hot, dry climate, it may be impossible to get the parameters right under any conditions with ordinary air conditioners.

Never mind that the installer probably messes up, resulting in leaky ducts, and the sign of the resulting massive error isn’t even well determined if you can’t predict which duct leaks the most.

I’m aware of exactly one vendor of A/C equipment that will attempt to adjust the coil temperature to control humidity based on actual measurements. Mitsubishi has a “dry” mode that is very much not closed-loop and is barely documented. Good luck.

At least in humid climates, it’s possible to install separate systems for cooling and dehumidification.
> Containers are increasingly the preferred method for developers to deploy their software – myself included. A common misconception is that if you run something in a container, it’s inherently secure. This is absolutely not true. Containers by themselves do not solve a security problem. They solve a software distribution problem. They give a false impression of security to those that run them.

To the extent that containers are a software distribution method outside of a single authority, they are a security nightmare. They are the exact equivalent of shipping a developer's laptop off to the datacenter and replicating it as a production image.
You might like planetary annihilation

https://planetaryannihilation.com/
SELinux is pain to maintain in more or less complex system. I more like approach taken by OpenBSD [1] but it requires code changes.

[1] https://man.openbsd.org/pledge.2
Try searching for accumulation buffer antialiasing. OpenGL ES (WebGL) doesn't directly support an "accumulation buffer" the way desktop OpenGL does, but you can emulate it with render to texture and appropriate blending settings.

Now that I think about it, it may not work as well for your app as Google Maps. The thing about Google Maps is that when you zoom or pan the map the whole screen moves. In your app when you drag something, everything else remains static. The static items on screen will flicker between aliased and smooth whenever you drag something else. That will be distracting.
Ilya has discussed this question: https://www.youtube.com/watch?v=YEUclZdj_Sc
You should read the entire comment.

They also have the warchest to afford a $1B gamble.

If the math worked out for me too, I’d probably invest even if I didn’t personally believe in it.

Also investors aren’t super geniuses, they’re just people.

I mean look at SoftBank and Adam Neuman… investors can get swept up in hype and swindled too.
ha, I learned shorthand in second grade (and yes, it was already an antique by then). I wonder what a multimodal language model would say to shorthand...
Like the atom was in the 18th century? Electrons and protons in the 19th? Quarks in the 20th?
> But it turns out that to ‘just learn’ the statistical correlations in text, to compress them really well, what the neural network learns is some representation of the process that produced the text

This is pretty sloppy thinking.

The neural network learns some representation of a process that COULD HAVE produced the text. (this isn't some bold assertion, it's just the literal definition of a statistical model).

There is no guarantee it is the same as the actual process. A lot of the "bow down before machine God" crowd is guity of this same sloppy confusion.
Business Moleskine Mania: How a Notebook Conquered the Digital Era
> Is there any point in Fail2Ban if you're using keys and have disabled passwords?

I’d say no. Back in the mid 2000s, I used to use Fail2Ban as an extra layer of defense but users on Stack Exchange and Hacker News (like tptacek¹) convinced me that it was pointless if I’d already disabled password authentication.

To minimise noise in my logs and to have an extra layer of defense, I only allow TCP access to Port 22 (with rate-limiting) from my home ISP’s network block, my work IP address and via the Wireguard network interface (in case my home or work ISP change the IP addresses they provide to customers).

I have considered using Fail2Ban to stop spammers using too much Postfix resources but so far I’ve got away with postscreen and configuring Postfix to reject spam attempts as early as possible during the SMTP transaction. Similarly, my Apache server gets hammered with exploit attempts but I haven’t got around to investigating how useful Fail2Ban would be for minimising how much server resources are used in responding to these malicious HTTP requests.

¹ https://news.ycombinator.com/item?id=37795100#37796639
So... we about 5 years out from a Linux desktop, right?
Ok, but now every time you switch commits you have to wait for clangd to reindex. Grepping in the kernel is just as fast and you can do it without running a 4GB+ process that takes 10+ minutes to index
Yep. I love gaming, and game nights with a squad, but I can't ass myself to follow every single option.

Also, back when I played Valorant, a regular match could be anywhere from 20 to 40 minutes long. Add up queue times, waiting for people to group up (because there's usually one more person who's almost online, etc), and waiting for the potato-pc users to load in, it could easily turn into 3 hours for 2 to 3 matches.

These days, I'd rather watch a movie, and be in a different chair than the one I'd spent my working day in.
it would be nice to have the expanded window on Cody et simila
Congress already made the law. The law says "these guys make the rules". To me, that counts.

The issue is that congress are not experts. They also move really, really slow.

I don't expect my congressmen to know if Red 40 is safe to consume, how much can be consumed, if it should be reported as an ingredient, etc. There's thousands of ingredients in food, I imagine. If that was written into law the law would be very long, no?

And then wouldn't it go out of date remarkably quickly? Hence, we have the FDA. They know about Red 40 and also medication.

What level of specificity do we actually need here? Does Congress need to list out, specifically, what molecular compounds are and are not allowed? That seems absolutely absurd to me.

It seems to me that once we get to the FTC or <insert any federal agency you personally disagree with>, suddenly the rules change and congress does need to be absurdly specific.

Funny how that works.
I've just spent a half-hour looking high and low for a picture of the one she described in detail in her Atlantic article but found nothing.

I wonder if the Atlantic opted not to show a picture because of the critical tone of the article and fear of igniting legal action by one or more of the four companies — BeBionic, WillowWood, Ottobock, BOA — cited.

That would be my guess.
Programming – Naming Things Is Easy [video] (2020)
> what does this test flight prove?

This? Nothing of general consequence. Once XB-1 goes supersonic, which Boom says it’ll do later this year, we’ll get real-world sonic-boom reduction data that could influence the FAA. It will also demonstrate the drag of their nose design, which should inform fuel-burn estimates for their airliner.

Following that, the hurdle is the supercruising engine. The XB-1 uses afterburning J85s to go supersonic. Presumably, getting the FAA to flip on overland bans would unlock the capital needed to finish Symphony [1].

[1] https://en.m.wikipedia.org/wiki/Boom_Symphony
If the game state is "meaningfully changed" each iteration then it is considered a non-deterministic loop and it cannot be shortcut.
Fail2ban can also block ips for other services that may be listening beyond just ssh.
“Can’t be uninstalled” and “not optional” aren’t the same thing.

This headline implies users won’t be able to prevent recall from taking screenshots of what they are doing. I don’t believe that’s true.
It's today. I encourage you to actually try it rather than repeat an old trope.
Are there good places to read more about this?
Totally, the reMarkable has handwriting recognition as well — this project was partially borne of the workflow of "write text, auto transcribe, send to a computer, copy paste into an email." How do you like the Boox? My friend loves his!
Private Packagist Is Joining the Open Source Pledge
This is spot on, and my main use case as well.

However it would be good if it OCR'ed in the background and created a searchable index.

https://www.scientificamerican.com/article/why-writing-by-ha...
I hope Boom can make supersonic travel commercially viable. Would be nice to have a faster option for long-distance travel, even though the cost will probably be too high for most. I'd sooner spend money on that vs. edge-of-space tourism (a la Virgin Galactic/SpaceX).
Great find. It's a shame their blades are not double-sided though so you could get 2x more life out of them.
Doesn't PHP require a whole LAMP/LEMP stack? You need a web server, the PHP runtime, something like PHP-FPM in between, and a database server at the least. In production you'd probably also have to add Varnish and maybe Redis. I wouldn't exactly call that a lightweight dev environment. You'd need to replicate/containerize that whole stack, along with many config files, if you want a reproducible dev environment. The difficulty of managing that stack is why there are entire utils (like XAMPP or MAMP) and businesses (Pantheon, Acquia, Wpengine, etc.) that have sprung up around it.

By contrast, something like JS can be deployed as just a single function or a self-contained project folder with just Node. And you have sites like codesandbox/codepen/stackblitz that can host your entire dev environment as a webpage.
Why would the NSA want to make something easy to use for others?
Because they can learn a bunch of symbolic formal arithmetic without learning anything about quantity. They can learn

5 x 3 = 15

without learning

***** **** *******
***** = ***** = *******
***** ****** *

And this generalizes to almost every sentence an LLM can regurgitate.
this is not evidence in favor of your position. We could use this to argue in favor of anything such as “humans will eventually develop time travel” or “we will have cost effective fusion power”.

The fact is many things we’ve tried to develop for decades still don’t exist. Nothing is guaranteed
I work on the NASA NEO Surveyor project (and have helped out a lot on the WISE/NEOWISE mission, which found a lot of asteroids). I create and run simulations of asteroid detections, which ends up being mostly orbit calculations.
In the next few years the rate of detections of these sort of objects are going to go way up, NEO Surveyor and the Vera Rubin LSST telescopes are going to take our current knowledge of the solar system from about 1.4 million asteroids to approximately 10x that. It is somewhat difficult to estimate how many we will see, since the size distribution follows a power law, and small changes in our estimates of the slope can be huge changes the number which exist.

There are most likely hundreds of thousands to millions of a few meter sized asteroids flying around the inner solar system.

I did a large chunk of the numerical analysis in this paper:
https://arxiv.org/pdf/2310.12918

I recommend figure 12 to get a sense of how far we can see at any given moment.

The definition which is commonly used as "hazardous" is about a 140m asteroid, which would cause a significantly bad day regionally, but not end civilization. That being said, 50m is still a very very bad day.

These meter-ish size ones usually just make a pretty fireball.

Some various links to data about this impact:

https://cneos.jpl.nasa.gov/sentry/details.html#?des=2024%20R...

https://minorplanetcenter.net/mpec/K24/K24R68.html
>I don’t believe that’s true.

Indeed, from the article:

>Once shipped, Recall will also be something Windows users can disable but not entirely remove.
1. Smart people can learn new things. Musk was also a SWE before starting his companies. I don't know what he demonstrated to convince investors, but if nobody else is pitching you a supersonic jet company and you think a supersonic jet company is a good idea, you don't have the option of a different founder, you have the option of the deal in front of you.

2. People want to work on cool stuff, if you have the cash for it, it's not actually that hard to find talent, particularly if you are working on something without a competitive hiring market (ie jets, not AI atm).

3. I feel pretty confident they can build a plane, there are many people who have worked on planes, many components are off the shelf, etc. The question in my mind is if they can meet somewhere in the middle on sonic boom reduction with regulators in a reasonable amount of time.
>The Pennsylvania Dutch serve a doughnut called a fastnacht

In Swabia it's called a Fasnetsküchle. Maybe the Küchle part got dropped (little cake).
Exact opposite here, all the RHEL shops I've worked at were required to have SELinux for industry/security regulations.

Most of the places who used CentOS for a 'free' Linux ended up shutting it off, though.
> [T]he coloured regions represent impact probabilities (to 1, 3, and 5 sigma). The red-orange-yellow area shows where the asteroid would reach Earth's surface if there were no atmosphere in the way.
>
> But there is an atmosphere! So we also mark in green where the asteroid will be when it is at an altitude of 100 km. This is roughly where it will begin to break up and therefore where observers could start seeing a fireball.
>
> The red line would be the asteroid's trajectory between those two points, if it were still one solid object, which it won't be.

from https://x.com/esaoperations/status/1831349538583445693
No, it really isn't, and I've been working with Linux on desktops since I installed slackware from floppy disks from the back of a giant book after having used Sparcstations. Every single implementation is terrible and breaks in weird ways.
Where do you see this compared with Cursor or Copilot?