skysight-inc/HackerNews huggingface dataset:
Ah ok. Yes, indeed I meant "marketing" done by the user, in this case - satisfied user. Btw, I totally understand self rate-limiting thing.

Thanks for mentioning the LiteFS origin, Ben Johnson of BoltDB writes good stuff
> That is, by definition, monthly active users

That might be, by definition, "MAU", a vanity metric used by corporate-brainwashed people working to pump profit through financial quarters. Not "monthly active users", which is a phrase that has a meaning by itself - people actively using a product. Doesn't matter what Meta product managers say or other people trying to get raises by raising pageviews and calling it "MAUs".

Not coincidentally, Meta is having a hard time keeping their real active users on all their platforms. Throwing tantrums saying that this is the definition of MAU!1! won't save them.
OpenAI is $80 billion now, you want to buy it outright, that's probably $100 billion. Google does not have that cash, probably only Apple does, and OpenAI would not agree to any 'equity' based purchase.
Ask HN: What can tech people do for peace?
We live in trouble times, and i would like to hear what people here think can be done to live in a better world.
HN is nice as a place to have (sometimes) well-informed and moderated discussions about technical things. It would be great to have an equivalent forum for political subjects, but it doesn't exist and probably can't. I'm afraid HN is only hurt by trying to bring it here.

That said, HN is uneven in its treatment of political topics. Some pretty toxic posting is allowed if it follows certain lines while other things can be flagged for just a whiff of going against the grain.
I just get "unsupported browser". What should this page be about?

Edit: page contents:

"""

Ever hit a roadblock due to a missing Nix package?

We have all been there. Creating a developer environment with Nix, and then one package or dependency is missing.

We have observed this so many times that we decided to offer this service.

Let Nix veterans take care of the packaging for you, and get back on track with your goals.

Get started in 5 easy steps:

1. Submit packaging form

2. Receive a quote back.

3. Approve and sign the quote.

4. Packaging starts.

5. Receive the source code.

"""
Yet we biked everywhere and had no issues remaining mobile. Kids are more trusted to look after themselves in rural areas, adults are as well really.
Search "infinite series for pi". Several sources contain historical surveys of series: the earliest-discovered converge slowly, the best recent ones I think quadruple the number of digits on each iteration.
I think literature (and other arts) is primarily entertainment. You start with easy works and then gradually find that you're interested by deeper and deeper works. And at some point you start noticing that the best modern works are less deep, less able to interest you, than the best past works.

It's a bit of mystery why this happens. Since there are many more creators today, it seems their best output should be above the best of the past, but no. My best hypothesis is that we're in a phase of decline: all Western arts peaked at the end of the 19th century, then the world wars broke something important, and it's not going to recover. Similar to how Rome's decline was accompanied by a decline of art quality.
There's an even simpler solution I've used ever since I became aware of the first amplification attacks during the 00s: either implement your own simple 3wh, or if you really want a simple request/reply protocol with no state associated, pad the request so it matches the reply in size. Sometimes your reply is large though and needs a couple dozen packets so then you're usually forced to use the first solution.
Especially considering the mount of electronic waste that 400M of PCs represents. I think this should be one argument authorities should use against Microsoft when it makes all this hardware obsolete with a software update.

If there are software workarounds that can prolong the use of that hardware, even at the cost of performance, they should be liable (and maybe subsidized) to implement them.
It seems to me after the lessons, more students are in the "because you said so" camp whereas before the lesson they have more reasoning. I wonder, as parent, how much "indoctrination" and how much "reasoning" shall we impart to our children.
Is anyone aware of contemporary academic/scientific endeavours delving deeply into Yoruba culture, literature, and philosophy (Ifa) as has been the case with e.g. Chinese culture (Yijing, Confucius, Laotse), Indian culture (Mahabharata, Upanishads, etc.), putting findings in proper context as has been done with Western culture's Ancient Greek philosophical and scientific roots?
The simplest definition of natural numbers is as the free algebraic structure generated by a nullary and unary operation (conventionally named "zero" and "succ"), which makes it natural to associate zero as the value of the nullary operation, so that one can be it's successor and addition by one works as expected.

Not having zero and associating one as the result of the nullary operation works as well, but then the natural definition of addition will result in x + y - 1 rather than x + y and it seems likely extension to rational numbers would not give an intuitive result.
Is it extra work though, it's not like backend engineers sit around not doing anything because they don't have FE work to do.
Plus all the things they haven't yet published... there must be something, because nobody has yet come close to the performance of GPT-4 8 months later, despite many people trying.
There are already several "tech for peace" initiatives all around the world. For a discussion, it might be worthwhile to skim through some of them in order to see what has been already been proposed.
You can avoid being used for amplification attacks by simply requiring the request packet be at least as large as the response. Burns some extra inbound bandwidth and doesn't protect you from DoS attacks on your server, but at least avoids being used as an amplifier. Or you can implement a three-way handshake with a cookie or hash of a secret and the requestor's IP address, but just requiring large request packets is simpler if you're designing a really simple protocol.
https://sel4.systems

Working on a number of platforms, verified on some. Multicore support is an ongoing effort afaict.

An OS built on this kernel is still subject to some assumptions (like, hardware working correctly, bootloader doing its job, etc). But mostly those assumptions are less of a problem / easier to prove than the properties of a complex software system.

As I understand it, guarantees that seL4 does provide, go well beyond anything else currently out there.
There is a great semi-recent, two part Podcast interview of Chris DeLay, the creator of Uplink at:
http://www.designer-notes.com/designer-notes-68-chris-delay-...
and
http://www.designer-notes.com/designer-notes-69-chris-delay-...
WinterJS doesn’t support any other runtimes other than wasmer though?
>Doesn't it mean that you are paying for the ads you see?

I don't follow, sorry. By "you", do you mean the end-user, sitting in front of their browser? I'd agree that that person is paying Google with their attention (hopefully in exchange for other valuable content nearby in time or space). But it's the companies trying to advertise stuff that pay Google cash (in exchange for that attention). Google then pays a cut to the site hosting the ad.

>I would rather have all google products be paid, and lessen the incentive for business to spend a large share of their revenue on advertisement.

I don't think Google would have ever gotten off the ground if you had to pay cash to search for stuff -- do you?

How many people do you know who watch YouTube?

How many of them have YouTube Premium?
I am in Firefox 118. I added your domain to the exception list in uBO and the error still happens. The only request that was being blocked was the Vercel analytics request, but on the safe list that doesn't get blocked and the error still happens.

Standard privacy settings in Firefox.

React error claims to be "Objects are not valid as a React child (found: [missing argument]). If you meant to render a collection of children, use an array instead."

Probably useless information... looks to die in the hydration of the page. There's a flash of the HN header and "Loading..." before it dies.
Your doctor is providing a correct explanation for the care you're receiving as this is likely a sufficiently good approach for you in your circumstances.

However diagnosis, especially in early stages, is enhanced by more frequent testing:

"To determine the most reliable way to measure blood pressure, researchers followed 11,135 people from Europe, East Asia, and Latin America for 14 years... The researchers found that the 24-hour and nighttime blood pressure measurements provided a more accurate estimate of one’s risk for heart and vascular disease compared to the in-office readings." (1)

It is a fact that your blood pressure changes while you go about your day and while those values aren't useful for comparing a diagnosis against the standardised test, there is still value in understanding how your blood pressure changes, the duration and amount of that change and risk factors for bringing about those changes.

Furthermore similar to measuring the beating of the heart, continuous blood pressure monitoring can be an useful as indicator of other kinds of medical conditions, this would go beyond what is pragmatically possible with a 24 hour testing cuff.

If you're a person who needs to have their blood pressure checked - then you are a person who will benefit from continuous measurement.

My only qualm to telegaph: continuous indirect BP measurement is hard, and past approaches have had a limited scope. This is one of those technologies where it is wise to have an amount of skepticism.

(1) https://www.utrgv.edu/newsroom/2019/08/07-international-stud...
It’s all to do with the latest trends of edge computing. If you’re not familiar with that then a lot of the principles here wouldn’t make much sense. But equally, if you’re not interested in edge computing then this is going to be of zero value for you regardless.
Also: Parmar and Vaswani were cofounders of Adept in Nov 2021, but have since left to found a different startup around Nov 2022 per Niki's LinkedIn denoting a "Stealth" startup [0] (and supported by a news article [1]).

I guess my point is that it's really hard to tell which pieces of information are correct vs outdated vs outright hallucinated, without doing the legwork yourself.

[0] https://www.linkedin.com/in/nikiparmar

[1] https://www.theinformation.com/briefings/two-co-founders-of-...
Reframing MEV from wealth redistribution to wealth creation
Start searching dude: https://www.cloudflare.com/en-gb/press-releases/. You lost my respect in this convo so I give zero fucks, believe in whatever you want to believe. Fairies, Monopoly money, whatever.
If you like Uplink, there is a free (you don't require the original game) fan-made modification called Onlink that heavily extends and improves the game.
Turning a boring file move into a privilege escalation on Mac
-edit-

Sometimes we swing and miss.
Don't have a horse in the race. Isn't Israeli constitution specifically about the Jewish people, as a ethnic, religious group? I read it discriminates against interfaith marriages, etc
Created this plugin to fix URL shared on Twitter with context issue
Fix your twitter context issue with Our WP OG Image Generator. It make your shared content stand out on Twitter. We understand the importance of context, this tool empowers you to create stunning (OG) images for your WP posts automatically.
https://gorewada.com/WP-OG-Image-Generator.html
Well most modern TV series use these in their plots like Bitcoin and SuperPACs in The Good Wife springs to mind. So same for books?
No, I think it did come from our sewage dumped in the seas. People swim in it and introduce the infection into swimming pools. That and the bloody Tories penny pinching on testing pools would be why.
> This is effectively a 400M device niche that will open up, not sure how thats a bad thing.

The Android fragmentation problem suggests that no market will open up, and the 400M pool of devices running Windows 10 will simply continue using an operating system that won't receive security updates.

> People shouldnt use Windows, its not that great.

If you are a Windows user who uses Windows software, what better option is there?
I can't see any links you've posted that agree with what you're saying. I only checked a couple, you said all of them so I figure thats good enough.
You need to be careful when looking at wasmer.
They build upon the Wasm and WASI standard their own stuff like WASIX.
Running WASIX compatible services/stuff may not be compatible with other WASI runtimes.

Furthermore they do offer their own package manager to serve Wasm modules. Which is why it is published there.

They are doing a lot of effort to speed up the development around Wasm, but you need to know what you can use with your run time and what is the "real" Wasm/WASI standard.
Show HN: Fix your Twitter context issue with Our WP OG Image Generator
Fix your twitter context issue with Our WP OG Image Generator. It make your shared content stand out on Twitter. We understand the importance of context, this tool empowers you to create stunning (OG) images for your WP posts automatically.
Funny, seeing that Amazon seems to be dipping their toes in the same water.

https://press.aboutamazon.com/2023/9/amazon-and-anthropic-an...
It’s not as good as GPT-4, the only feature I used often was their PDF QA. The rest ChatGPT plus ( GPT-4 ) still miles ahead
> This question reminds me that one of Euclid's postulates

The question is one of Euclid's postulates (or the combination of two, 1 which defines a straight line segment, and 2 which extends the straight line segment to a straight line).
Is this comment on the right article?
Incoming international SMS is free for US carriers too. I use it all the time to receive one time codes.
So what you're saying is Twitter/X works the same way as every other human communication medium, i.e. provocative statements get more attention.

On the other hand, if zero people retweet your "substantive Tweet", maybe it's just not that interesting to anybody but you?
Weird. They compile to webassembly, which is what cloudflare workers does too.

But they don't mention that Cloudflare workers supports rust, c... And just say "mainly js"

But they did add it for their own...

So, misleading...
You need boring sports where you don’t need 100% attention to not get hurt. E.g. road cycling on backroads is perfect. Mountain biking… no chance.
The investment for the chargers is much higher. The big hotel chains will likely change relatively quickly, but there is a long tail of smaller hotels living paycheck to paycheck. I think that a better comparison is how long it's taking for fiber to arrive everywhere.
One Year After Elon Musk Bought Twitter, His Hilarious Nightmare Continues
Interestingly in Elements that is a line: a line was defined only by having no breadth (= being 1-dimensional). What is now generally called a line would have to be qualified as straight.
It was not! Thanks for bringing that up.
Thanks for the review and kind words. This was really one of the core goal to make it super accessible.

We developed it in Rust because we wanted to create a client/server architecture that you can deploy everywhere (Caido runs even on a rapsberry pi). We worked a lot on the frontend to make it snappy too, so its a combination of both.

Yes for sure, there is a privacy concern too with us forwarding request. It is in the issues of https://github.com/caido/caido.
Ada2012 adopted the concept of design by contract, clamored by some of the biggest Ada users.

At the same time of this update of the language, a large effort was in progress to modernise the 'old' spark that used contacts and proof annotations in Ada code through some kind of comment-based language.

The 'merge' here was to make contracts and proof annotations actually executable Ada code (when it made sense).

SPARK is first a toolsuite that examines Ada code to prove properties on this code (variable initialisation, dataflow properties, absence of runtime retors, partial or complete functional specification). The proverbe tech being only so capable, they had to restrict the supporterd language features (calling it the 'SPARK subset') for a while (most of the restrictions have been lifted in the recent year such as dynamic allocation, exceptions, aliasing) and some very hard things improved too (e.g. floating point handling).

Also, to be complete, since executable contracts are not always enough, they introduced in the Ada language (for SPARK) what they call ghost code (seen and used only by the proof tools).

So, yes, in a way SPARK features were merged in Ada, but you won't be able to use them for proof without the proof tools, you'll have a very expressive form of runtime assertion. Some features actually cascaded back to the compiler and the actual Ada language implementations.

Also, to be easier to use for proof, the Ada2012 and 2022 language specs added a lot of sugar: quantifiers, if-expressions, case-expressions, raise-expressions, but also delta-aggregates... all greatly improving the expressivity of Ada.
Elon Musk seems to be aiming for turning Twitter into zombo.com.
True, the paper is dated Jan 2015 and company was founded in Dec. But if you read the paper it is signed:

> Diederik P. Kingma*
University of Amsterdam, OpenAI
dpkingma@openai.com
I don't think that the implication is that "helicopter parenting" is doing it. The article posted by GP says this (and provides references):

"This has been attributed to the widespread adoption of seat belts and appropriate child safety seats, the production of cars with improved safety standards, better constructed roads, graduated driver-licensing programs, and a focus on reducing teen drinking and driving"
Solid advice that exemplifies the principles which it describes.

I write a lot of instruction material for my undergrad students. They can be absolutely guaranteed to zone into whatever gap in the material I carelessly leave. In this way, most of my material undergoes plenty of iterations before it reaches its final form.
Maybe. But we got on our bikes and went there. We'd sonetime bike 20 miles in a day...for kicks. Just to bike.

There's a third place in every kid's head - and every adult's head - if we don't exercise that muscle (so to speak) we will lose it.

The evidence seems to say we are losing it. The adults, and in turn the kids.

Fwiw, I liken the situation to Legos. When I was a kid you bought "raw" legos and then created whatever TF we could imagine.

No. Wrong. Answers.

Today, Legos are highly kit-focused. That is, build THIS. There is a right and wrong answer. Ffs Legos today intentionally mitigate the opportunity for kids to color outside the lines. Just the though of that straight-jacket is demoralizing.

p.s. Yes we occasionally went to a skateboard park. But we also built our own ramp for when we couldn't. We also found a drainage ditch in the woods off Rt 195 that we frequented in the summer. 100% adult-free.

The "Dogtown and Z-Boys" story could never happen today. Not to belittle depression but that's depressing.
WebRTC uses SCTP over UDP, so there are Free implementations out there you can grab if you want to give it a try. It's a shame that the Internet has ossified to the point that we'll never have any protocols riding directly on top of IP besides TCP, UDP, and ICMP, but tunneling SCTP over UDP doesn't add ridiculous overhead.
> How did they explain what plotting was without defining a line?

Plotting is simply putting a point for a specific value. Drawing the line is inferring the un-plotted points from the plotted ones which may or may not be correct though for y = x - 3, it's easy enough to prove that a straight line covers all the solutions.

If "plotting" is only defined in terms of lines, then a student could attempt to plot y = x ^ 2 using only two points and a straight line.
> So there would be a net loss of free (i.e., paid-for-by-Google-ad-money) content and services available to people. Also, it's not like a new wave of smaller, more democratised ad-sellers would arise in Google's wake, since ad-blocking works on them too.

You're correct, but I don't know how bad a thing that is.

To my mind (i.e. my opinion), there's no such thing as a power vacuum that remains a power vacuum.

Something is going to arise that replaces (for example) youtube. It is inconceivable that those content producers on youtube are simply going to give up the ghost and die.

It has to be a self-sustaining something(s) that isn't driven by ads (I agree with you on the point that a replacement can't be ad-supported), and I am arguing that whatever it(them) is will be better than the current ad-driven youtube.

The whole TLDR of my argument is that, even if the ad-driven sites go away, the content-producers and the content-consumers aren't going away!

Right now, the arbitrage is performed by ad-driven middlemen, so the motivation for abuse, control and censorship is incredibly high. I think that whatever arbitrage process or middlemen arise is going to be a lot better for society as a whole than the obnoxious ads with which I am bombarded with whenever I turn off the ad-blocker.

Maybe I'm wrong, but this is one of those things we'll only see when we see it.
Probably doesn't help, but they started killing small cheap cars in North America even before COVID. Examples are the Toyota Yaris (which was a rebadged Mazda 2) and the Honda Fit.
The likely architecture of GPT-4 was invented at Google - MoE. OpenAI poached the team who developed it.

OpenAI is ahead on the RL data side. To me that’s the likely biggest advantage they have in GPT-4.
There’s also Lagon, which solves that

https://github.com/lagonapp/lagon
Note: I think we broke their edge cloud with the example app?

Which should be just a hello world

https://js-service-worker-demo.wasmer.app/
I don't think Android has a big priority on storage size, every APK bundles all of its dependencies (except for ART), so if multiple apps use the same exact library and version, that library's code will not be shared among them
https://amperecomputing.com/systems/altra/kraken-comhpc-WS
Ofcom revises net neutrality guidance
I concede that my opinion is worth very little to nothing and I didn't even check what's the mathematical consensus on this matter, but when one sees that 1100, 110, 30, 22, 20, 15, 14, 13, 12, 11, 10, A are all the same number one starts thinking about the difference between symbols as numbers and symbols as digit.

I hopefully didn't make mistakes in the several representations of twelve.
---

Edit: deleted what I had written. I was mixing up service workers and web workers.
> it's the set of all points in a plane that are equidistant from two particular distinct fixed points

I don't like that definition as how do you determine the distance from a fixed point without using a line?

> it's the shortest path between two points, if you extend it to be infinitely long

That's probably a better definition
Ha “set a timer”

The author seems to be missing the point of his own exercise.
We old people watched the "Once upon a time Life" anime for that
I believe they are using much more synthetic data than others. That's the secret sauce besides their larger training set and model. Synthetic data makes the model more consistent.
SE series is great. I’m still rocking the very first SE, and apart from OS software updates (I still have security updates sometimes) it’s fine. Given the broken protective glass screen, it doesn’t look very attractive. The same could be said about modern SEs with the looks of iPhone 6.

I bet something that looks like iPhone 5/5S/6 in 2023 isn’t that attractive to steal, even compared to modern Android phones.

But if we stay on the subject of travelling, I would definitely took _at least_ two phones, an iPhone for stability and an Android for functionality.