skysight-inc/HackerNews huggingface dataset:
From: https://github.com/MPI-SWS/genmc/blob/master/doc/manual.md

Basic Usage

A generic invocation of GenMC resembles the following:

genmc [OPTIONS] -- [CFLAGS] <file>

...

Note that, in order for GenMC to be able to verify it, file needs to meet two requirements: finiteness and data-determinism. Finiteness means that all tests need to have finite traces, i.e., no infinite loops (these need to be bounded; see Section 2.3). Data-determinism means that the code under test should be data-deterministic, i.e., not perform actions like calling rand(), performing actions based on user input or the clock, etc. In other words, all non-determinism should originate either from the scheduler or the underlying (weak) memory model.

As long as these requirements as satisfied, GenMC will detect safety errors, races on non-atomic variables, as well as some memory errors (e.g., double-free error). Users can provide safety specifications for their programs by using assert() statements.

**

I wonder how much this affects usefulness. How often is this the case?
Dobble (The Mathematics Of) (2018)
Thank you! The COVID policy example feels especially relevant because it illustrates the kind of sudden economic shift I'm curious about, rather than just changes in nominal currency values. To clarify my thought experiment: imagine a stable economy where suddenly every person worldwide is gifted $1 million USD. I'm interested in exploring how this kind of immediate influx would impact prices and standards of living, beyond just inflation.
Does Zig have an IDE worth its salt?
Show HN: I created a Figma plugin for small AB tests with real people in minutes
You’re right, I was wrong!
I think it's relative to the advancing state of the art...
Tip calculators have been around forever, and I too have never understood why. The math is easy to do in your head, especially once you realize it doesn't have to be mathematical perfection. Estimation and rounding are fine.
Here's a non-crypto example: I work on a mobile analytics library that has a core written in Rust and the platform-specific code written in Java and Objective-C.

We were actually hiring for a couple of roles, although we just sent out two offers, so we won't be if they get accepted.
I wonder how much data you could store if you turned the last ten pages into very dense QR codes that together formed a compressed tar?

The ink degradation might be a concern. And it would require some expertise to reassemble.
Even if they need supervision, watching a robot hang up the laundry to dry is better than having to do it yourself.

Like that old quote: "I love work, I can watch it all day."
For very long documents Word can be very difficult to maintain. Anything that requires you first write in simple text and then compiles is preferred. I tried Skrivenr, but found it old, clunky, buggy and poorly designed. I was far more productive in LaTex, but encountered problems when converting to Word (which most publishers prefer). Sure I tried Pandoc, but maintaining flow between versions of my book was a small hell.

In the end, I believe that there is no easy solution.

Typst has excellent collaboration tools. Both Typst and Overleaf do not support Doc export, but pdf to doc is relatively easy.
Fortunately, the mini's SSD appears to be replaceable. Apparently not with directly with standard parts, but sufficient for third party offers.

https://9to5mac.com/2024/11/08/m4-mac-mini-storage-speeds/
I have made a Figma plugin that quickly lets you get human feedback and preference between two designs. Select two frames and launch the plugin. Then describe the criteria that you want the two options to be compared based on, and launch to collect opinions from 100+ people in a few minutes. You can also configure targeting based on region. The results will allow you to further filter based on other demographic criteria.
When you launch the ‘survey’, the designs are being sent out in real-time to hundreds of real people worldwide. They are presented in-app on smartphones and tablets as an alternative to traditional video advertisement.
I doubt that people will know what to do with the "2D barcode" in 100 years. Someone who is willing to investigate will figure it out. But it is not something that will be convenient.

I for example wouldn't know what to do with a barcode even today.
Put it anywhere and archive it with the Wayback Machine.
Anywhere + get the Internet Archive to index it?

IPFS could be a contender, though I don't know where it stands now, but it's the ambition, at least.
Rampant Software Company Fraud
Would it be far fetched to think that CROs purchase fake leads for their sales reps to pursue, and then go commit fake deals on so that they can claim that the revenue is coming; only to leave the company holding the bag in the end.

The way the entire scheme works would be this:

Year 1: Come in with a strict sales process from a place that had a recent successful exit. Fire all of the current sales teams and replace them with people who are loyal to you. Use the sales process as a justification for gaslighting the current staff out.

Year 2: Overcharge current clients; front load revenue growth but try to get headcount approved and grow teams before the inevitable bottom out in Q3/Q4 when you miss your revenue goals significantly. In the meantime, put extreme pressure on the current sales team to fraudulently commit deals under the threat of termination. You make it easy for them by purchasing fake leads to “get the conversation going”. After which it is them who will commit the fake deals. You keep a few solid reps, but churn and burn the rest after 6-9 months unless they find real deals.

Year 3: Throw your current team under the bus and fire everyone; and just try to hold on for another year. Negotiate a good separation package, because at this point you have the leverage of the business wanting to appear stable for an IPO or possible acquisition.

Am I the only one who spots this obvious pattern of fraud.
Forever is a really long time, but I think a public GitHub repository should be reasonably durable. You can easily host sites on GitHub and Microsoft has a vested interest in keeping repositories around.
Put it on Blogger from Google. Has been around since 1999. There are some huge blogs/websites hosted on Blogger.

They make money with Adsense, and it turn Google does to.

Google has killed a lot of products but in my opinion they will keep this. There are just so many blogs, little and small, some who have posts dating from '99 even, still online.
Try Arweave: https://www.arweave.org/
Couple of additional comments a few weeks ago https://news.ycombinator.com/item?id=41608496
> almost every DAW provides it.

It's an up and coming feature that nearly every DAW should have, but most don't yet.

Ableton Live - No

Bigwig - No

Cubase - No

FL - Yes

Logic - Yes

Pro Tools - No

Reason - No

Reaper - No

Studio One - Yes
Also commits. I imagine that there is a lot of information to gather from the history of repos in addition to the "static view" of a codebase.

However, it doesn't seem trivial to do deduplication in that case without removing relevant/necessary context.
I know the reported scores of MT3 are very good, but have you had success with using it yourself?

https://replicate.com/turian/multi-task-music-transcription

I ported their colab to runtime so I could use it more easily.

The MIDI output is... puzzling?

I've tried feeding it even simple stems and found the output unusable for some tracks, i.e. the MIDI output and audio were not well aligned and there were timing issues. On other audio it seemed to work fine.
> So for those who actually want to learn. Unless you are trying to learn something narrow and specific, close those tabs with quick blog posts.

OK. <closes Twitter tab>
In bed with the enemy: how to fix science
wat. no.

“Never attribute to malice what can be adequately explained by incompetence”
They would probably read the input using a solarpunk low power LLM chip.
The internet archive seems to continually be getting into legally precarious situations. I wouldn’t bet on it staying around for too long.
If someone wants to measure this latency without special hardware or code, check if your (friend's) smartphone has a 1000 fps mode. I'm not caught up with newer phones but my 2019 Samsung has this and I use it all the time to look at things that happen quickly.

It just needs a lot of light (phone flashlight is sufficient at short range), or to emit light by itself like a screen (or microwave segment display, as a random example where you can see it lights up each digit individually and they're never all on at the same time, but we can't perceive that).

Method:

To measure, film the computer screen, positioning the phone in a way that it also captures the keyboard (best head on, since you're interested in when vertical movement stops). Press record, strike a key, and go frame by frame on the recording. The moment the key bottoms out is pretty clear by your finger stopping to move down (if the focus is good, you also see a ripple effect in your hand). I know the trigger point will be before the key's very bottom, but the whole key's travel time is on the order of 2-3 frames = ~2-3 ms, which is good enough for me. Then, count frames until the computer screen updates. I usually wait for all channels before considering it updated (my work laptop emits only red on a separate refresh cycle, sometimes noticeable if you look away with some lucky timing in the right way)

Similarly for the mouse, though I usually pick it up and hold it in one hand before the screen and click the button in the air so that you can hold it in a good (for the camera) position more easily. By lifting your finger off the mouse button until the moment where you're going to press it, the separation is very well visible on camera and the moment of pressing quite exactly determinable

Results:

On the LUKS disk password prompt at boot, latency is about 19 ms on a laptop. It feels extremely fast, a little like it shows the asterisk before I've finished pressing the key. After booting the OS, in gnome-terminal I get 48 ms. Connecting an external screen and keyboard via a cheap USB hub, it grows to 62 ms. Finally, inside the virtual machines we're supposed to use for everything (because security), my input-to-photon latency is 134 ms. Guess I can see why that boot prompt feels like a time traveller compared to what I need to use all day long!

On a different setup (a family member's iirc, running Windows) with an external monitor that has three gaming modes, called standard, fast, and faster, the latencies are 67, 67, and 62 ms. Pretty disappointing for a "low latency gaming" mode!

---

Compared to the submission:

> One source of latency users experience that my tester doesn’t measure is keyboard latency.

The high speed camera method will include this, which is an advantage if you want to know how much latency your setup has, but doesn't help you in picking apart where the latency occurs
Your analysis is very much correct, and that's why it doesn't make much sense today to rewrite reverse proxies in Python if your goal is raw performance.

Whether it's going to be a worthy goal in the future, I'm not quite sure. I consider this class of software an already well-researched subject in a congested space, and I'd just move on to something more interesting, to a greener field.
> Most people do not write well…

This very much needs to be said. Also… as we are ‘most people’ we all need to be reminded of this of our own writing.
> know it won't read whatever is in that notification,

Aren't notification contents E2E? The website is rather light on details.
> Groceries are a highly competitive market so a large fraction of cost savings end up being returned to the customer in lower prices.

It doesn't look this way from customer perspective, so I propose alternative interpretation: it contributes to hiding inflation, because instead of seeing the prices rapidly rise, we see them rise slower (further slowed down by "shrinkflation" and related shenanigans), but the quality of service goes down too. So what we get is ever worse shopping experience and lower inflation rates reported by economists.

(Not to mention, shopping taking more time because of this "optimization" is effectively even more hidden inflation.)

> From my perspective self checkout is a latency optimization. The person in front of you in line may have 3 items and still take an unreasonably long time finishing the transaction, but replace one line with 4 machines and the line keeps moving.

It's a good reason to have both. Because in practice, 2 out of 4 machines are, at any given moment, locked and waiting for a supervisor - and many stores "optimize" further, by eschewing a dedicated role and just tacking responsibilities on to existing work roster. Meaning, the supervisor you're waiting for is likely staffing a checkout point or unloading boxes in the back of the store at the same time, so you better get ready to wait.

Ideally, the store would have both automated and staffed checkout, and direct those with few discrete items to the former, where a dedicated supervisor would ensure problems get resolved quickly. That would indeed optimize latency/maximize throughput.
When's the last time he gave a compliment?
> If anyone is interested in the a more common way that modern 3d rendering engines draw text, look up SDF text (and related techniques like MSDF etc.).

This is now at least a generation out of date. Pretty much everyone is now using approaches like https://sluglibrary.com, where one directly rasterises the font bezier curves in a shader.

I cooked up a (very basic) version of the concept a while back: https://www.shadertoy.com/view/sdXBDs
And you need that state in the game Grim Fandango (spoiler) to solve a puzzle: lock an open door before the maintenance demon leaves. Then when he leaves he’ll close the door. But it won’t be close. So you can get inside.
My first hypothesis would be that the original discovery was a fraud, like Piltdown man.
Also cool from the same site: https://incoherency.co.uk/blog/stories/diaphragm-piston-air-...
Modular, Faster DateOnly Operations in Python
This is about ActiveRecord, which tries very hard to convince you that a relational database works like objects in memory, especially when it comes to associations, saving etc. Hibernate is similar in that regard (although it at least enforces repositories, but you can still have surprises when it comes to when it loads associated tables). Both allow you to drop down to SQL but then you lose syntax checking / type safety and the conveniences of the library.

With something like jOOQ, the query language is basically SQL, just made type-safe. You write a query that maps to an SQL query 1:1 and then you map the results to whatever you need. No implicit saving, auto-loading of associations in the background etc.

So it's not about "people should use the SQL syntax instead of query builders", it's "people should write relational queries explicitly instead of relying on the framework to save and load stuff from the database when it deems it necessary". Your domain objects do not need to know that they're persisted and they don't need to carry a DB connection around at all times (looking at you, ActiveRecord).
+1 on the need to move away from the two party system
What Google Sheets did that was super innovative IMO was make a spreadsheet that integrates with the entire Google ecosystem.

I am partially joking (they put it on the cloud in a way that's super useful and made collaboration remotely easier, along with other scripting inprovements), but I think it highlights that the main "benefit" to Sheets is that it's a fully featured product created by a mega-corporation that complements other tools they have to offer.

Put another way: how many companies use Microsoft for everything except Excel? How does that compare to companies that use Google Drive for everything except for spreadsheets?

A tool like this one has the upward battle of needing to be so useful, it is worth employing alongside your currently existing office software. It feels like spreadsheet software is a particularly hard arena to compete in, given the quality of the major ones you mentioned.
He's trying to solve a second (also hard ish) problem as well, deriving an accurate musical score from MIDI data. It's a "sounds easy but isn't" problem, especially when audio to MIDI transcribers are great at pitch and onset times, but rather less reliable at duration and velocity.
Tremor: React components to build charts and dashboards
Putting it on Arweave is the best I can think of. And then link to the content on arweave.net:

https://www.google.com/search?q=site:arweave.net+book

As Arweave is designed for this exact use case. Even if arweave.net disappears, one can still find the content one the Arweave blockchain via the hash. The chain is built in a way that it creates a very high incentive for people around the world to keep hosting the content.
Is both
Asking about performance, “production”, fast/slow/okay, etc is all relative and whole depends on what volume of traffic you get in production and your latency demands; without including a few ballpark numbers the conversation is pointless.

A lot of people on HN say things like “for 99% of production apps Postgres is perfect”, but I consider Postgres a bit lackluster because above that scale it’s more annoying to manage than “worse” dbs like MySQL. The difference in our takes is because my “production” needs look very different from their “production” needs.

(I personally wouldn’t put an interpreted GC language in the request pathway for my production app; we sometimes use Cloudflare functions which are JS, but a very heavily optimized JS runtime and even that is a bit concerning)
The term "vaguely-related" is perhaps wrong, but the "it's not one disease" is clearly correct. Just like "viral infection" is not a single disease, going by your own example, but a series of completely different diseases that have one particular mechanism in common.
It doesn't have to be more objective, it just has to not run away.

The problem with the wealth-weighted-value that gets optimized by capitalism is that the gini coefficient tips the optimization process from being about doing what other people want to being about doing what rich people want. Rich people mostly want to get paid for being rich, of course, so they pump assets to increase their wealth. Their weight goes up, the objective function pumps assets harder, their weight goes up, the objective function pump assets harder... and gini heads to 1 and you return to a palace economy.

A note of optimism: we've been here before, shortly after the industrial revolution. We've fixed this before, even though Marx predicted that we couldn't. We should all be trying to figure out how to make sure that next time the USA gets neo-Roosevelt, not neo-Hitler or neo-Lenin.
>was also where most modern billionaires made their fortune

Could you explain this claim?
Are you able to test on https://chat.mistral.ai/chat as well? With large2 and coedestral?

I'm interested !
Coming from an actual JAWS user that has a lot more validity and if you say it will make it harder for people, I will definitely consider changing the name. I actually like Jawsm or JAWSM, so if @benmccann is fine with it, I will probably rename
YES! This is the post I have been looking for all my life to point to when all the "enums are a bad pattern" folks come out of the woodwork. I've never understood why people think that - I mean, why would so many languages have enums in the first place if they were "bad". Anyways, great post!
Oldie but goodie is Nodebox[0] and for data-driven/dynamic compositing see Cables.gl[1]. Kirell Benzi's work uses the latter and is nothing short of breathtaking[2].

[0]: https://www.nodebox.net/

[1]: https://cables.gl/

[2]: https://youtu.be/CltYdTVH7_A
Google DeepMind is making its AI text watermark open source
Stem separation refers to doing it with audio playback fidelity (or an attempt at that). So it should pull the bass part out at high enough fidelity to be reused as a bass part.

This is a partly solved problem right now. Some tracks and signal types can be unmixed easier than others, it depends on what the sources are and how much post-processing (reverb, side chaining, heavy brick wall limiting and so on)
This essentially kills it's utility for a lot of use cases.
Users of self check out are training cashier replacements.

Doesn’t matter whether a person chooses self check out or cashier check out.

What matters is the training.

When self checkout becomes nearly as accurate as cashiers the cashiers lose their jobs.

Which lane we choose has little to do with the replacement. Thousands of holdouts won’t affect the millions of shoppers training the replacements.
I didn’t read it judgmentally.

Who’s to say? Maybe I’m a swinger? Maybe I’m divorced? Maybe I’m dating a few people? Maybe that relationship will run its course?

HPV isn’t an STD that condoms address from a risk mitigation perspective. If I’m an adult and identify a risk to my doctor, why shouldn’t a cheap safe and reliable preventative measure not be accessible?

It’s a bizarre proposition to be tabulating the potential future value in this conversation. I can casually ask my doctor for a cialis prescription, which has a similar cost and it will be covered, no problem. If i have a wart caused by an HPV variant, it will be frozen off for a few hundred bucks, no problem.

I think the reality is that the age ranges were picked because for the purposes of the trial process, it was the most convenient.
For me, the best way to solve this, is to make it really easy to change between one and the other, at least at the beginning when that's the only state and there is not much code yet.

Start with the easy, and change it when you need it.

If you use the easy boolean, but your code requires a different class for each layer with that boolean (I'm looking at you DDD) if you need to change to an enum...good luck touching everything.

If you start with the complex enum, thinking that the boolean will need to change, then you'll realize that you don't need an enum or a boolean, but a string, and all that extra complexity is now in the way.

Boolean or enum, doesn't really matter, but make it so that you can change it as easily as possible, if needed
Caribbean countries https://en.wikipedia.org/wiki/Caribbean
Cyphernetes v0.14 is out with Multi-Cluster support and more
Hey all,

The Cyphernetes team has been hard at work this past month and we have a release full of awesome content to share!

New features:
* Multi-cluster support: This was by-far the top-requested feature by the community. Check out our revamped language documentation to learn how
* Support for aggregation of CPU and Memory fields (you can now use `SUM` on fields containing cpu/memory values and have them properly calculated
* Support for defining custom relationships in a home-folder YAML file

Improvements:
* Two new comparison operators for `WHERE` clauses:
* Regex compare (`WHERE p.metadata.name =~ "foo"`)
* Partial string match (`WHERE p.metadata.name CONTAINS "foo"`)
* Allow comparing against empty values (`WHERE p.spec.foo = NULL`)
* New "no-color" flag support for shell+query mode
* Context indicator and some visual improvements in web client

Thanks to the incredible folks who worked hard this past moths on all these features and to everybody who opened issues and reported from their experience both in GitHub and here.

If you don't know Cyphernetes yet, it's a graph query language for Kubernetes. Check us out in GitHub.

Thanks again, more coming soon!
mm, good point!
To be clear, the heading of that column is Diameter.

https://www.jpl.nasa.gov/news/nasas-deep-space-network-looks...

As a sanity check, the video says the area of the dish is approximately one acre which would be ~4,046m2 and a 35m radius disk is ~3,850 m^2.