skysight-inc/HackerNews huggingface dataset:
I think a more complete way to say it would be that probability theory is a refinement of interval theory. Per that last remark, I suspect that if you add any probability measure to intervals such that it has positive weight along the length of the interval then the upper and lower bounds will be preserved.

So in that sense, they're consistent, but interval theory intentionally conveys less information.

Bayes' Law arises from P(X, Y) = P(X | Y)P(Y). It seems to me in interval math, probability downgrades to just a binary measurement of whether or not the interval contains a particular point. So, we can translate it like (x, y) \in (X, Y) iff (y \in Y implies x \in X) and (y \in Y) which still seems meaningful.
Until pretty recently drivers license ID numbers in many states were effectively public, and if your license was issued at least 10 years ago, it probably still is.
A lot of protocols in low latency trading systems just have fixed maximum size strings and will right pad with NUL or ASCII space characters.

Packed structs with fixed size fields, little endian integers and fixed point is heaven to work with.
Love that! One nanocentury - about 3.16 seconds
There's a similar JVM version here: https://github.com/zonkyio/embedded-postgres

It's well maintained and seems to do what it says on the tin. I start it up once across all the suites (managing DB state as required in the suite) and the overhead is very minimal.
Author here: Sorry that I was so harsh on textproto. You are right that it has some strengths over JSON... I'm actually a fan of JSONC for this reason. It does limit you on tooling... but so does textproto, right?

I think the bigger thing that I'm worried about is that gRPC has so many mandatory features that it can become hard to make a good implementation in new languages. To be honest there are some languages where the gRPC implementation is just not great and I blame the feature bloat... and I think textproto was a good demonstration of that feature bloat to me.
No worries! Didn't mean to ask for free work, thought since you were trying out Figma Slides you might on the hunt for a new tool.
Big Banks Can Endure a Severe Recession, Fed Says
I’m a big vue fan, it’s a great oss success story and feels good not to use any facebook tech
Modern PHP applications use Composer to manage packages as well as to install PHP extensions. Configuring your PHP app is entirely for you to do - whether you keep your configuration in the database is not a problem of PHP, it's your applications and how it was made. These days I'd think the common thing is to just use ENV variables, like all other modern applications do. If you mean however to configure the PHP runtime, well yes, you have to touch php.ini for that, much like you have to have tons of flags to configure the Java runtime, I don't see how it's very different.

For PHP monitoring there are numerous modern solutions out there just a quick google search away.
Show HN: Semantic Search of 1000 Top Movies of All Time
Think of it this way - if you found out your great-grand-uncle was a Nazi official, and that the house you grew up in or the favorable college you got into or whatever lifestyle you had growing up was initially partly funded by his misdeeds? Could your assets be targeted by descendants of the victims and you personally be made bankrupt?

That's a bit of an exaggeration, but a lot of the wealth of the Sackler family is distributed this way. The original brothers have died, there is a huge lump of easily gotten money from the direct family, and then there is a lot of money that has been spread around 2 or 3 generations removed. At a certain point if you want the full $11 billion you are going to have to go into the weeds.
> 200 amps

Something I’ve been curious about: is the current actually required for the thermionic effect, or just the heat?

Could you lower the current requirement by thermally insulating the tubes?
A less risky use is to use the model to choose compilation flags and pass orderings many (but not all) of which (in theory) should always be correct but that's more of a problem of the compiler itself than of the model if it produces incorrect output, in order to replace auto-tuners that do the same in order to optimize production binaries. Large companies already use such auto-tuners anyways for widely used public or internal binaries (e.g., code size is a huge problem for mobile application builds that you are delivering to a billion people, and the pieces of code that you care about for code size compression you are doing so explicitly because they are not of serious performance concern (e.g., you don't need unrolled loops or whatever); it's not the entire binary to which you are doing this). Such flags/pass ordering options for binary optimization are already an exponentially huge search space.

To use something for this for IR rewriting directly by the model is certainly more risky (it's difficult to guarantee post-rewrite that you would be computing the same thing; at least for compiler passes and optimization options, many of which also perform IR rewrites, the compiler such as LLVM/gcc should already have a huge suite of test coverage anyways).

(I'm not a compiler person but I'm a researcher on the same team at Meta FAIR as the authors)
The feeling of how long certain tasks can feel!
There is always going to be false positives. Even more so with a tech/privacy minded userbase which uses ad blockers, disables JS, etc.
" According to the Federal Reserve's annual stress test on the banking system, all 31 major U.S. banks could endure a severe recession. However, new claims by JPMorgan Chase are undermining the certainty of those results. The bank says that in the Fed's hypothetical scenario — which imagines a world with 10% unemployment and steep drops in property values — its losses would be greater than what the regulator concluded. Per CNBC, banks have complained about opacity in the stress test process, and Bank of America and Citigroup issued similar corrections to the Fed's results last year. "
Model collapse was basically a coping idea made up by artists who were hoping AI image generators would all magically destroy themselves at some point; I don't think it was ever considered likely to happen.

It does seem to be true that clean data works better than low quality data.
> On a per-module basis a simple fixture is used to determine if the db should get reset for each test, each file, or the entire module.

That sounds interesting. How do you determine, if the db should get reset?
This is what makes me come here every single minute my anti-procastination setting allows me to.
I don’t think this is true at all. I remember vividly when I learned about loops („oh it is just the statement multiple times“) vs learning recursion (spending 3d on an assignment from uni and scratching my head and not getting how the heck this makes sense)
Just accept the fact that software does age with time. If it didn't change a literal bit, the real world in runs for and the software ecosystem it runs on did. Any software older than 10 years should be rewritten from absolute scratch, not be kept on life support at ever increasing expense.
Try making socca chickpea flour pizzas. So quick to make, so much good stuff (protein, resistant starch, fiber). You can get organic chickpea flour from the bulk bin for cheap too.
If you don't think your current startup will scale and achieve escape velocity, and you don't see a path to that or have the energy to take it there, it's time to move on.

Thinking about the long game, if you want to raise VC funds again, your reputation might be better served by winding down and returning the funds you haven't used, instead of burning through the remaining 7M.

If your team is still energized and believes, it might be better for the company for you to move on. You could explore an advisory or board only role and help identify a new leader to take the reigns.
Moving companies is far lower friction than changing nationality.

Ethics are relative and have tradeoffs. How many innocent people are you willing to hurt to change the behavior of the IdF / Israel’s Oslo Area C policies / Netanyahu’s government coalition?

If you are too sloppy with the splash damage, how are you any different than the IdF or Hamas? Would you even punish Stripe for Israel’s military/government behavior because you read some unsourced comment on social media?

I would rather target boycotts to the most precise entity, within reason, so the entity knows what they are being punished for and what change in behavior would change the boycott to a non-boycott.

If you don’t set an objective standard, then you will always be subject to your own emotions or a mob mentality.
Macbeth can tell you how.
It seems like movies have been getting longer. Streaming platforms has influenced movie lengths I think in some ways.
Fair point. The higher level languages have been leaking back down into assembly.
> The big benefit of open source for me is that it’s another way to share the work that goes into Kinopio.
There are also lots of horribly written, superficial articles that do call themselves research. Hence my overarching point: let's quit with the dog and pony show.

EDIT:

"Research is 'creative and systematic work undertaken to increase the stock of knowledge'. It involves the collection, organization, and analysis of evidence to increase understanding of a topic, characterized by a particular attentiveness to controlling sources of bias and error."

The crucial/key words/phrases here are: "systematic", "increase understanding of a topic", "controlling sources of bias and error". Nowhere do I see "completely brand new never before heard of".

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

EDIT2:

> It’s a terminology issue for me.

PLDI, the premier compilers/PL conference, which you must put a lot of stock in since you care about the current institutionally supported notion of "research", disagrees with you.
> Element is meaningfully worse to actually use. And it's still the best Matrix client I personally have used.

fwiw we’ve spent the last few years fixing this, starting with mobile, and Element X is the result: https://element.io/labs/element-x. it’s more of a whatsapp/imessage/signal replacement rather than a discord replacement right now, but i really hope we fixed the UX this time.

(edit: that said, at this point i’m worried that even if we made Element better than Discord, it would still have its old reputation to shake off, and I’m
blanking on projects who have managed that. just like even if someone built a desktop linux env which outperformed macOS, it might have an uphill struggle for adoption.)
They are better than my ISP. My ISP is very aggressive about abusing the fact they offer DNS service to their customers. Several domains are inaccessible or get routed to some marketing garbage.

Until something better comes along, I will continue to use Clouflare and Google DNS.

Also, the Cloudflare DNS is working for me. If it was down, it was brief.
Nonsense.

Oral arguments are the lawyers making arguments. The justices ask questions and collect answers. Their proofs are in their opinions.
Yes, I remember reading the post and the discussion surrounding it being very high quality!

I particularly like the section on escape hatches - though you start to see the issue with this approach when you use something like Celery, where the docs and Github issues contain a number of warnings about using Redis. RabbitMQ also tends to be very feature-rich from an MQ perspective compared to Redis, so it gets more and more difficult to support both over time.

We'd like to build in escape hatches as well - this starts with the application code being the exact same whether you're on cloud or self-hosted - and adding support for things like archiving task result storage to the object store of your choice, or swapping out the pub/sub system.
How they voted(Name and the party of the administration that picked them):

Majority

Neil Gorsuch (Rep.)

Samuel A. Alito Jr (Rep)

Clarence Thomas (Rep)

Ketanji Brown Jackson (Dem)

Amy Coney Barrett (Rep)

=======

Minority

John G. Roberts(Rep)

Sonia Sotomeyer(Dem)

Elena Kagan(Dem)

Brent Kavanagh(Rep)

Whats really surprising is how Gorusch is quite the wildcard, he also authored the majority decision that said that 1/2 of Oklahoma belongs to Native Americans - https://www.npr.org/2020/07/09/889562040/supreme-court-rules...
Create OPML Feed of Starred GitHub Repos
Wisdom teeth extraction is far from trivial and opioids are a very reasonable prescription for pain from that surgery.
I've been using my FreshRSS feed more and more, and found that I wanted my starred GitHub repos' releases to show up in my feed. GitHub has a lot of options for subscribing to individual feeds for repositories, but as far as I could tell, has no great way to do this dynamically for all of your starred repos.

So, I put together this repo that uses OpenTofu to create an AWS Lambda function that queries a GitHub user's starred repositories and returns an OPML file containing all of those repos' Atom feeds. Now I just have to press the refresh OPML button on FreshRSS and it will hit the Lambda function and update my feed. Maybe a little overkill, but hey, now I don't need to manually generate and upload an OPML file everytime I star a new repo.

Hopefully other fellow RSS sickos here find it helpful!
Why the fuck they still write papers in 2 columns? It's a pain both for humans and computers alike. Here is the link to PDF https://dl.acm.org/doi/pdf/10.1145/3652588.3663324
Yes and Russia promising to arm North Korea and support them in any battle may change that calculus very quickly.
two reasons: 1 is im very familiar with the field and 2 i think it’s both common enough not to be dismissible as a weird edge case (you’ll find at least one architect in most towns and the construction industry as a whole is massive) and demanding enough to set a meaningfully high bar for productivity.

But you could swap in many of other industries
Not only to share, but to read and earn the half of each subscription revenue as well.

Also: Notion like AI text editor (with GPT 4).

Thanks for your comment anyway.
I mean, the whole point of C is for it to be used by people who "know what they're doing" and just won't write code that dereferences invalid pointers (dangling pointers, null pointers, pointers that write past arrays, writes to read-only memory, uses of unaligned pointers on platforma where that causes a bus error, etc.) or divides by zero. That way, you get the maximum theoretical performance and flexibility without writing the assembly yourself, assuming you make no such mistakes. It's supposed to be a thin wrapper over the hardware.

If you want a language that does these compile-time and runtime checks on pointers and integers, but is otherwise like C (in that it compiles natively and doesn't use garbage collection), your choices are basically Rust and Ada.
Slack started as a set of features over IRC (at least to a large extent), and was compatible with IRC servers for quite a while. Turns out, when you try to make IRC actually suitable to the environments where users aren't always on (among other deficiencies in it for enterprise use-cases), you end up with something sufficiently customized to no longer be IRC.

You can either lie and say it is (but get called it), try to change what IRC is for everyone else (good luck, the open servers don't want your features and consider lack of history a feature not a bug, but it is a "bug" from an enterprise perspective), or create something new out of the old system. Then you get Slack again.

Or you can make a largely from-scratch system (Discord) that resolves these problems from the start rather than trying to patch over something that doesn't actually do what you need.

Or you can try to make a new protocol (XMPP, Matrix) that tries to resolve these and hope people build compatible clients and servers and don't fork it in a way that breaks compatibility.
> For example for AirBnB (well, granted some "conciergerie" service belonging to AirBnB, in France: but even if it's top-end it's still AirBnB) they wanted me to record a video of me of 20 seconds.

> They're not the only ones to do that: I've seen other sites asking these vids.

So basically they're trying to do a "liveness" check, probably under the assumption that videos are too hard to fake (and hopefully they compare the ID documents against the video). Honestly, that seems legitimate to me. With data leaks and generative AI, it's going to be increasingly hard to do the kind of identity verification tasks online that we take for granted.

I predict there will soon be a huge necessity and demand for in-person notaries to verify identities for online services. Want to open a bank account online and there's no branch nearby? Go to some ID verification business with a ticket number from the sign up workflow, they check your documents, and then they tell the bank if you checked out or not.
I totally agree. I have also been captivated by the oral arguments. To the extent that I find myself pre-researching some of the cases' background beforehand. Makes for compelling entertainment when you have a sense on why the justices approach questioning the way that they do. Beats any podcast I know.
That's why Pomodoro Technique works great..
I think the key is using them in an open space away from people and where you can have some measure of safety. My friends would use theirs in an uninhabited valley off a ridge.
A dev's thoughts on developer productivity (2022)
I don’t see what that has to do with this story, though. Starliner’s issues have nothing to do with the breakup of a satellite nor do the issues affect Starliner’s usage as a shelter.

This article and headline just reek of the author grasping at straws to try and shoehorn Starliner into this story. The headline could’ve easily said “shelter in Soyuz” and nothing would’ve changed about the actual story at hand.
All-in-One AI Productivity Suite
what is the difference between a scraper or crawler and an "AI scraper/crawler"?

And how does cloudflare differentiate between them?
Interesting, and even wilder that it’s buggy like that. I get that desktop apps are probably not OpenAI’s expertise but the app is unfortunately pretty unusable most of the time as of the writing of this comment. You would think for the amount of money they pay their engineers something better would have been released.
Good thing they did that then, it’s a very useful instruction!
I personally have had more issues with Google Captchas than Cloudflare Turnstile when using the dreaded Firefox / Linux combo.
They're also eminently readable, which (to me) shows the massive skill of whoever writes these. The fact that I, a layman, can easily understand them speaks to the quality of the writing.
> Go make a table with 4 legs and also every leg has 4 legs.

If you have to make up nonsensical examples to prove your point, then you probably don't have a point.

> You were a kid in shop class. Now you want your kids to take shop class. Because, recursion.

That's not recursion.
I've seen wire protocols that had junk for the alignment buffering in such structs. And I've seen people have to do a whole lot of work to make the wire protocol work on a newer compiler/platform. Also, the whole point of a network protocol being documented is that it decouples the interface (msgs over a network) from the implementation (parsing and acting on msgs). Your v1 server might be able to just copy the read buffer into a struct, but your v2 server won't. And it is possible and desirable to live in a world where you can change your implementation but leave your interface alone (although some parts of the software ecosystem seem to not know this nice fact and implicitly fight against realizing it).

My issue with gRPC is simple, the Go gRPC server code does a lot of allocations. I have a gRPC service where each container does 50-80K/second of incoming calls and I spend a ton of time in GC and in allocating headers for all the msgs. I have a similar REST service where I use fasthttp with 0 allocs (but all the stupidly high number of connections due to the lack of multiplexing thru the connection).
I mean... realistically, everyone should just assume their data is public, because if it's not for private companies, most states have had their systems hacked and data taken.
How does Cloudflare know whether a bot is scraping for AI purposes or any other? Or are they blocking all bots but basically adding AI to the feature because AI is the cool thing right now?
> When I worked at a hpux shop we had to go to a separate machine use some Citrix thing to log onto windows NT to use internet explorer to do our time cards… we’ve come a long way.

Completely off topic but I'm working on a time tracking app now and these types of stories always give me a chuckle.
I've often felt that one of the reasons such warnings are even necessary, is because the notation we use to denote probabilities in the first place is atrocious, and clearly an abuse of notation.

A better convention would make clear the distinction between the set of possible outcomes, the act of obtaining a (range of) samples from that set, and the probability that those events match a value range of interest. p(x=X) is not enough to capture all that information. let alone p(x) vs p(X).
Sounds like burnout. Take a one-month sabbatical and then revisit.
Problem is, "Evil Hackers" always get the blame rather than the negligent companies, who play the victims. They trot out all the usual flawed analogies about locked doors and burglars, to excuse their negligence, and it works! So, the only legislation we ever see is to be Tougher And Tougher On Hackers instead of holding these clown companies responsible for the data they act as custodians of.
> The more regulated stuff,

They have been regulated for a reason. Without regulation they will also do all kind of stuff. (They still do a lot of really harmful stuff, but not as much as they could otherwise)
Why do you think Zulip is going to be better? What happens when their VC funding runs out?
PLD is currently required for deposited materials that have, for example, high Faraday rotation (https://en.m.wikipedia.org/wiki/Faraday_effect)

These are types of important material properties for the future of compute if we are to use light based computation. E.g. how can one make a medium for light to only propagate one direction.
Yeah, his advice fails to consider that people aren't all the same as he is. For example I like to cook, and I have a lot more dishes/pots/pans than could fit in two dishwashers. What do I do with the rest, store it on the ground?
Maybe fight fire with fire. Feed the ChatGPT PR to ChatGPT and ask it to do a review, paste that as the comment. It will even do the markdown for you!
Also attoparsec [1] ≈ 3 cm.

[1]: https://youtube.com/@attoparsec
>The moment that any element has more than one underlying meaning the problem class exceeds what is capable by a computer (also known as a deterministic finite automata).

This is complete bullshit, and computability theory has nothing to say about which (if any) cognitive tasks people can do that AI cannot.
How does the recoil work out?