skysight-inc/HackerNews huggingface dataset:
Amusingly, the tweet that inspired this blog post—which is linked in the second paragraph of the article—is specifically about how automatically generating a JSON parser from your datatypes means you don’t have to implement that kind of stuff on your own, and there is no possibility of some separate “schema” going out of sync with your application logic.

Of course, if you want to share the schema with downstream clients so that other programs can use it, that is a great use case for something like JSON Schema. It is a common interface that allows two different programs—quite possibly written in completely different languages—to communicate using the same format. That’s great! But it’s only half the story, because just having the schema doesn’t help you in any way to make sure the code actually respects that schema. That’s where integration with the language’s type system can help, perhaps by automatically generating types from the schema and then generating parsing/serialization functions that use those generated types.
Has the financial situation of Signal changed recently? I've noticed in the last few weeks that it often nags me to donate when I open the app now.
FTX just updated its books
Curious to see if the 2nd phase applies more to countries they operate in that don't have "at will employment" style legislation, it might go some way to explaining the two phases. That would fit into your point b).

IIRC, the first set of layoffs largely affected the US a lot more than Europe - its a much more involved legal process generally to perform layoffs in cities like London vs their US offices and often can't be done as quickly.
Data scientist here, stuck in the Dark Ages of "deploying" my models by writing bespoke Python apps that run on some kind of cloud container host like ECS. Dump the outputs to blob storage and slurp them back into the data warehouse nightly using Airflow. Lots of manual fussing around.

What the heck are all these ML and data platforms, how do they benefit me, and how do I evaluate the gazillion options that seem to be out there?

For example, I recently came across DStack (https://dstack.ai/) and have had an open browser tab sitting around waiting for me to figure out WTF it even does. DAGWorks seems like it does something similar. Is that true? Are these tools even comparable? How would I choose one or the other? Is there overlap with MLFlow?
I believe Netlify introduced this feature. It is now ubiquitous (as alexgrover said).
Sum types are used here for error handling, but if your language has a different error handling convention you can and should just use that.

In Java, you'd implement this by making a class with a private constructor, no mutator methods, and a static factory method that throws an exception if the parsing fails. Since the only way to get an instance of the class is through the factory method, you've made illegal states unrepresentable and know that the class always holds to its invariants. No methods on instances of that class will throw exceptions from then on, so you've successfully applied "Parse, Don't Validate" without needing sum types.

The point of the article isn't the particular implementation in Haskell, it's the concept of pushing all data error states to the boundaries of your code, which applies anywhere as long as you translate it into the idioms of your language.
Not really truthful, @luckylion.

It's factually really relevant to hacker news.

It's about a technology innovator, Musk, who has behaved in a way which actively stifles innovation from other unique thinkers - like people who have muscular dystrophy and are pursuing remaining in the public sphere, themselves helping to refine human technology for everyone's benefit.

It's fine being on Reddit as well.
The point is that I can use one app for all messaging, and if the other party has opted in, it's encrypted. Generally, I don't care whether or not any particular message is encrypted, but I want the world's communication to be encrypted by default. Using Signal as my main messaging app was a frictionless way to do that, while it included SMS. Now that they are dropping support for that, I will likely stop using Signal altogether, which means that more messages will be unencrypted. It's a loss for the world, but the friction is too high for me to use multiple apps.
Will Meta’s leak democratise AI – and at what cost?
I think you don't know todays youth...

Most of them are keenly aware of exactly how information is shared or leaked. They know that if they do something stupid in public, there is a good chance of someone catching it on video, it being published, and them being teased or punished for it.

Perhaps those born in the 80's might have been happy to do something illegal or stupid as long as it was only trusted friends looking on. But those born in the 2000's won't do something like that even with the audience being just trusted friends for fear of evidence spreading later. They all know how to screenshot a snap message without being detected...
While the intelligence (like law enforcement) community is very heavily Republican, there is very little reason to suspect that the Republican's majority in the House has a substantial impact on the internal political bias in executive branch agencies.
Prime numbers are interesting in this regard not for the notional reason (low Kolmogorov complexity) but because if their high “randomness.” They are not patterned so much as they are the leftovers excluded by patterns (notably, nontrivial multiplications) but, for this reason, of interest to number theorists simply because facile pattern “shouldn’t be” there. Which I guess gets to the heart of why diagonal arguments so easily torpedo discussions of “interestingness” or the lack thereof.
A sustainable nuclear fuel cycle would recycle the transuranic wastes, like Plutonium, which are valuable fuels. In this way they would unlock a vast multiple (50x or so) of energy out of uranium and the resulting fission product waste would decay to less than natural uranium in 1000 years or so.

The problem of building structures that last 1000 years is well within our experience.
Not just Bluetooth but Wi-Fi too. It’s literally on the network while asleep and unplugged. Not 100% of the time, but very often.

Drains the battery fast too.
Any constructive comments or we’re /r/ProgrammerHumor now?
> Can an application still use the microphone on a Bluetooth device that’s connected?

I don't see why not, given that it's also possible to use external wired microphones in clamshell mode.
> Are they e2ee between Signal SMS users?

Fun fact, they used to be. When I started using Signal that's how it worked.
You can filter in a compactMap (called just compact in lodash, apparently), FWIW. Not that this negates your point.
Look, it’s the AMP guy. He’s CTO of Vercel now?

Edit: I can’t overstate how much this changes my perception of Vercel. I thought they genuinely cared about the open web, but I guess that was just good branding.
As an amateur musician, three things stand out:

1. I'd have a hard time seeing that small screen onstage, and my big foot would likely mash the wrong effects button. Others might find it easier.

2. There are tons of good, cheap effects boxes out there, and easy to find used. I like Pi boxes, but this seems like a homebrew replication of what's on the market.

3. All good boxes are low-latency, in my experience. It's a fundamental thing I think most players need.
Ha, I agree that the pin prompt is confusing. If you're curious, it's used as a passcode for the on-device key. You need it e.g. if you're transferring messages to a new device.
They are also illegal in Texas, as they're considered paraphernalia.
>I'm supposing that whatever interchange format was in use does not have any "END" delimiters (e.g. closing quotes/braces), nor any checksumming to ensure the entire message was delivered.

Those only ensure you get the whole message, not that the message makes sense.
Bigger homes take more space, and that's the constrained resource in places where houses are expensive.
Was going to say this. Sodium batteries are looking extremely interesting.
> Oxfam France a calculé que seulement 2% de la fortune des milliardaires français suffirait à financer le déficit attendu des retraites.
> Spain, Italy, Portugal and Greece is de-facto OTC (you can go to a pharmacy with an A4 blank piece of paper and 'be your own doctor' by writing in what you need by hand and signing it off still as 'your own doctor' with a fantasy name and a cool autograph).

In Spain, things were quite lenient 10-15 years ago (basically, many pharmacies would sell you Viagra/Cialis without prescription, it was just a matter of trying and finding a lenient one) but not anymore AFAIK.

You do need an official prescription, and there seems to be a lot of control so no pharmacy seems to sell without prescription now (maybe some do and I don't know, but if that's the case, they're definitely not easy to find).

The situation is getting more and more ludicrous, as now you can't even get 1 g paracetamol pills without a prescription... but you can still get as many boxes of 500 mg pills as you like. Excellent measure to protect people who don't know basic addition.
Honestly, is there much money to be made from these things long term?

Like I know they will get “better”, but I still struggle generate something that isn’t kind of “weird”, today a horse with a harness melted into its face etc, and even if it generated picture perfect images, there is already a lot of images and art available for cheap, and a lot of competition will come along, but the thing with image generation is there’s nothing really special about it once’s it’s working to a decent enough level ? Will we just have ten services that generate similar stuff ?
> Please expand on how you are defining full text search distinctly from sparse search to continue the discussion

In addition to the indexing algorithm, there is the tokenizer, which depends on the language, lemmatizer, synonyms, stop-words, and so on and so forth.
In addition, the ranking function itself may be quite different and based on different rules. See how Meilisearch does it.
Reducing full-text search to just a reverse index is a misconception

> Your criticism of the Weaviate ANN benchmarks isn't relevant to our discussion on Hybrid Search.

It is very much relevant, as I mentioned, in parallel processes

total_latency = max(BM25_latency, Vector_search_latency) + merge overhead

and my claim is that in specialized tools both BM25_latency and Vector_search_latency will be better than what the multi-tool system can provide.

> I have linked this to show that Weaviate has produced comparative benchmarks which was your original claim.

I don't see any comparisons in your benchmarks here - https://weaviate.io/developers/weaviate/benchmarks/ann

You just benchmarked yourself, that is not interesting and not helping.

> I also agree that it would be interesting to run ANN recall tests on several hardware configurations.

That is not the point. In our benchmark we run all engines on exactly the same machine to make it fair.
Sometimes same configuration in different regions already gives very different performance on some cloud providers.
yo congrats again on the launch! Anders dbt Labs here with a "tough" question for you. Apologies for 1) my response being half-baked,and 2) if i haven't done my homework about Hamilton's features.

coincidentally, my PR to the dbt viewpoint was closed by the docs team as "closed, won't do" [1]

I really like the convention of data plane (where you describe how the data should be transformed) and the control plane (i.e. the configuration of the DAG, do this before this). In this paradigm, I believe that the control plane should be as simple as possible, and even perhaps limited in what can be done with the goal of pushing the user to take data transformation as tantamount. Maybe this is why I fell in love with dbt in the first place is because it does exactly this.

"spicy" take:
allowing users to write imperative code (e.g. using loops) that dynamically generates DAGs are never a good idea. I say this as someone who personally used to pester framework PMs for this exact feature before. While things like task groups (formerly subDAGs) [2] appear initially to be right answer, I always ended up regretting them. They're a scheduling/orchestration solution to a data transformation problem

Can y'all speak to how Hamilton views the data and control plane, and how it's design philosophy encourages users to use the right tool for the job?

p.s. thanks for humoring my pedantry and merging this! [3]

[1]: https://github.com/dbt-labs/docs.getdbt.com/pull/2390
[2]: http://apache-airflow-docs.s3-website.eu-central-1.amazonaws...
[3]: https://github.com/DAGWorks-Inc/hamilton/pull/105
If startups/small companies are of any interest, there is often a large amount of horizontal maneuverability due to people often wearing multiple hats. For example I joined one startup (~12 employees) as the sole DevOps engineer but it quickly turned into not just DevOps but security (everything from dull SIEM monitoring, to red and blue teaming), database admin/optimization, backend development, customer onboarding, and even a little frontend. Most of those came through because I was the only one with experience handling them or a specific issue (but not always on paper) and I actively offered to help. I could have also avoided them if I wanted to, but when you can actually trust your small group of colleagues to not screw you over, its a good time branching out and learning new things at the same time. By the time I left I was spending most of the time doing security and hiring to build out teams (~100 employees when left), both my preference. Would strongly recommend small startups where you talk to the CEO practically every day and you get the sense employees are pretty happy.
Especially recently, Paradox has a streak of publishing overpriced, unfinished, even broken games. I'd wager that the success of Cities Skylines lies more with the developer than the publisher, and hope hope hope that PDX stayed away as much as possible from CS2s development.
It's even more mind-blowing when you remember what EA was at the start. It was a breakaway company that showcased and honored game developers as artists and game development as art, and for a while produced some of the best games on the market.

Then it turned into everything it was opposed to at the start.
I think what you suggest is possible, derivation might even be well suited for this application, however I can't tell if it would be better than existing approaches.
There are some chances that it might be interesting in practice, since it seems that this application of derivatives has not been much studied, but that's highly speculative.
> As we continue to build Signal to be an alternative to the surveillance tech that dominates most of our digital communication, we will remain attuned to the different ways that people want to connect and build ways for them to do so without compromising on their own privacy, wherever they are.

You require a phone number for your service to be used. That is a clear compromise on privacy, and you have no intention of changing it. Spammers can easily use my number to send me garbage. (Edit: you also require that users have Google Play or the App Store.)

You are anti-diverse since you are hostile to desktop users. Also, you are pro-harassment (Edit: people here think harassment requires intimidation) because you teach people that no doesn't mean no; I say no to donating and you keep asking me.
> Mocking them on Twitter for their well-documented physical disability is just abhorrent.

I agree, but we've allowed our upper class to do this since November 26, 2015.
Curious because Porsche no longer makes any diesel engines. I don’t know about Ferrari but I assume they’re gasoline-only.
> U.S. officials declined to disclose the nature of the intelligence, how it was obtained or any details of the strength of the evidence it contains. They have said that there are no firm conclusions about it, leaving open the possibility that the operation might have been conducted off the books by a proxy force with connections to the Ukrainian government or its security services.

There's very little of substance in this article, since it doesn't disclose the intelligence or the officials making the judgement. So it comes across as "x refused to comment, y refused to comment, but we wanted to break the story first so trust me bro"
Well maybe not all of us, but that's an impossible standard to meet.

I distinctly remember elementary school classes, some 25 years ago where we had to learn about computer safety and privacy, and what the possible consequences of posting things online could be. We were <10 years old and we understood.

I also remember a lot of kids in class working on their html website.

I don't see why we should have lower standards for kids today, it's so sad how it all turned out.
I hate that this isn't configurable by default, but bluesnooze solved this for me: https://github.com/odlp/bluesnooze
You haven't answered the question. Who, in your view, has the right to determine the future of Taiwan?
I think the point is that the person in question was in fact doing work. You've taken Elon Musk's words at face value and as gospel, which does say something about you if not the gentleman who lost his job.
One of the first things I did at Cloudflare was change the format of a file that contained vital information about the mapping between IPs and zones (no longer used these days) so that it had something like:

START <count> <sha1>
.
.
.
END

because it was just slurped up line by line assuming EOF was good.
No, this is strictly a regression. A perversion even.

Infrastructure is what you ultimately pay for. making that more complicated (contextual, my ass) so that people might give up faster and "just use vercel" is very clearly the driver here.

Usually, companies even have guidelines what developers can use and how, probably none of these fancy new cloud-for-your-framework-aaS things are allowed. And often not running into just another lock-in situation has business value.

A great framework allows you to ship your code into multiple different infrastructure situations (on prem servers, kubernetes, aws lambda, ...) and "just work" by abstracting over the individual infrastructure specifics.

Also IaC is not a buzzword, you may have infrastructure engineers that already agreed on a specific tool (CDK, terraform, pulumi, ...) and have built extensions to deal with internal specifics of the company and really want to leverage them across projects.

Having something like the _framework_ dictate all that is like completely going backwards. I can't think of any explanation other than trying to promote that lock-in towards younger developers that haven't felt these pains of lock-in before.
Who else clicked the link thinking the answer would be easy to find only to get sucked down a rabbit hole?
I wonder if the gap has narrowed over time.
Found this, https://github.com/odlp/bluesnooze/ looks to solve this problem.
Ah yes, those pesky fake sugars sneak into foods all on their own! Title should be: "Food producers seek new addictive adulterants as an alternative to sugar"
You're making some pretty big assumptions about the design of these unnamed studies. I don't think it's safe to assume the test population started with high sugar intakes, that the studies only tracked short-term effects, nor that they didn't use a control group.
Yeah, good question. For stateful infrastructure the way we are exploring it is basically like:
"Hey, it looks like you expect to talk to a database and we've never seen this before. Would you like us to make one?"
…and then going forward the mapping is persisted.
Ask HN: What resources to learn about raising money?
What are the go to resources to learn about raising money as a founder?
This is why I treat https://news.ycombinator.com/active as the real frontpage.
Surveillance inside, outside the house, and online. Surveillance in your car. Great!

It looks like privacy has become nearly impossible. Then we need to get control over our data and how it is being used.

My ray of hope: an air-gapped beefy desktop that runs generative text and image models, plus a large disk filled with cached content. You can do anything in total privacy as long as it doesn't connect outside.
Nit: they did say "pay well" not "pay as well".

"Pay well" might mean less than Meta but still at a comfortable level, subjectively.
salesforce should raise their hand here
We built the new engine behind .NET's RegexOptions.NonBacktracking with derivatives. We will have a paper at PLDI this year on the work that went into that.

PCRE semantics was indeed the big thing that required new techniques. Basically, you have to modify the derivation function such that the derivatives model what paths through the pattern a backtracking engine would consider before stopping at the current position.

The big thing derivatives buys you is the ability to apply rewrite rules lazily during the construction. For example, when we can prove that a regex R subsumes a regex T, then an alternation R|T can be rewritten to just R, since T is already included in it. These kinds of rewrites often result in the DFA that gets constructed being minimal or close to so. Of course, you do pay somewhat for the machinery to do this, so best-case construction times suffer compared to in traditional NFA+lazy-DFA engines like RE2 or Rust's, but a larger class of patterns get to stay in the DFA world with derivatives.

I hope our work ignites a new interest in regex matching with derivatives. I believe the ability to apply these syntactic rewrites on-the-fly is really powerful and I'd love to see how far folks like you with extensive experience in optimizing regex matchers can take this.
The approach used is elaborated nicely. You're working on each and every aspect of it. We need such innovators to bring forth their solution in market.
I had the same, switching to Airpods “fixed” this problem. I doubt Apple will ever do something about this, bt audio works fine as long as you use iPhone, Macbook and Apple pods
The way we handle it is to provide a "runtime" within those environments to normalize behavior along the lines that the framework expects.
My text editor, KeenWrite[0], provides the ability to write documents while using variables[1]. Having variable names sprinkled throughout a document requires a fast mechanism to replace all of the variables with their corresponding values. I wrote a benchmark comparing Apache's StringUtils versus the Aho-Corasick algorithm[2], using Robert Bor's Trie implementation[3] that may be illuminating.

The integration uses a factory pattern to choose between Apache or a Trie depending on the length of the source document.[4]

[0]: https://github.com/DaveJarvis/keenwrite

[1]: https://www.youtube.com/watch?v=cjQ-dle-tAE&list=PLB-WIt1cZY...

[2]: https://stackoverflow.com/a/40836618/59087

[3]: https://github.com/robert-bor/aho-corasick/

[4]: https://github.com/DaveJarvis/KeenWrite/tree/main/src/main/j...
I've always found the SMS integration to be lackluster and subpar. I switched back to using a dedicated App because there was no added value to using their SMS capabilities.

If the only thing keeping Signal on your phone is supporting SMS then you don't need Signal.
Just a small FYI, but the language's name (for now) is Coq, not COQ.
I doubt it. I said "far away" meaning buy in a low cost of living area. Especially one that is popular and growing. Although it's convenient to live in your first property investment, it's not a requirement. Rent near work as cheaply as possible but very likely in a neighborhood where you can't afford to buy. And buy somewhere else.