skysight-inc/HackerNews huggingface dataset:
See also La Monte Young- Forever Bad Blues Band. I listened to it and it sounded "different" but not particularly weird (I was already listening to Phish, The Dead, and indian music, so I think I was prepared for blues in just intonation).
Robotic face anticipates and replicates a person's smile
> - their (and probably others') distributed systems expect time to move forwards (synchronization, "happens after", etc)

Time moves forward with both positive and negative leap seconds. With the positive ones, which we've seen before, we go from 23:59:59 to 23:59:60 to 00:00:00. Always forward.

With negative ones, which have not been seen in the wild, it goes from 23:59:58 to 00:00:00, skipping :59. Also always forward.
The real loudest noise at city speeds is mostly jerks with modified exhaust or occasionally a large diesel truck.
I love Linux and use it daily, dual booted on my desktop PC.... But I agree with you completely.

I really want Linux to have a mature desktop experience and it's close but unfortunately not the yet.

Personally, I can put up with it and I don't feel it affects my work productivity - other than being annoying every now and then - but I can't yet recommend it in earnest to someone who wants to replace Windows and have no loss of functionality.

I also use a MBP and its only redeeming qualities are the battery life, hardware and track pad - MacOS is a bit rubbish and I'm annoyed at the hostility Apple demonstrates towards playing nice with cross platform technologies (e.g. Vulkan).

If the surface pro x elite has similar battery life and supports Linux - I'd be fine with a performance regression for the upgrade in capabilities
Launching end-to-end data quality platform
DQOps is an open-source data quality platform (GitHub: https://github.com/dqops/dqo) that supports all stages of building or operating a data platform.
DQOps runs locally, stores the configuration of data quality checks (Data Contracts) in YAML files. The YAML files contain a schema file, allowing VS Code to provide autocompletion, syntax validation and showing in-place documentation.
Beside that, you can use a user interface to configure data quality checks, detect anomalies, detect schema changes, and define custom data quality checks.
The idea is simple: as a data scientist or a data engineer, you start DQOps locally (a PyPI package available) and you profile your data sources. Next, you can automate data quality by using a Python client. When you are ready, you push the YAML files to a DQOps server that handles continuous Data Observability to validate your data sources.
Good question. Probably? I imagine so. But I doubt the data is public. I'm just talking from my own observations in any case.

Edit: i inserted an IMO into my comment to make that clearer
The cost is fine, but is it creating an incentive for drivers to stay longer because if they go in and out they are double charged?
At what parameter count? Its been established that quantization has less of an effect on larger models. By the time you are at 70B quantization to 4 bits basically is negligible
No.

(Betteridge's law of headlines, but also true in this case)
I have a physical copy and only read about 2 chapters, after having it for years. I need to take it on a flight to finally get around to reading it. It seems like one of those books you have to own and read at least once.
For smaller models, the quality drop is meaningful. For larger ones like this one, the quality drop is negligible.
The buses will be more reliable when they aren't stuck in traffic caused by congestion.
I believe that example 1) is addressed in the article as "percussive sublimation".
If I was a lawyer I'd sign up just for the inevitable lawsuit pursuing damages when this software inevitably fails. You better have a rock solid legal team or you're wading into infested waters with pants full of chum.
I made a math error but couldn’t correct it after I had votes - 15kts for 4min = 1 nm.
> the more this "ownership" resembles a lease.

...good?

We are all temporary stewards of an Earth we did nothing to earn or create.
The point of overpaying on the 2nd-best choice is that it maintains an independent backup if the 1st-best disappears suddenly. The client (DoD) is willing to pay for that insurance: they do not want a multi-year downtime interval they're unable to launch military hardware.

(This isn't an anti-SpaceX thing, really: the dual-provider system (Atlas/Delta) long predates them).

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

(And besides, these satellites are orders of magnitude more expensive than their launch vehicle! The NRO's budget alone is around $10 billion per year).
Google Keep and occasionally https://tracktask.eu.org, a project of a friend of mine.
Interesting. It's been so long that I visited Manhattan that I have no recollection of the soundscape, but the city where I live is much, much smaller. There is basically no honking here.
Apparently, everything below 61st St.

I'm unclear on how that's supposed to work, though. There are a lot of avenues crossing 61st. Are they going to put tolls on all of them?

I guess that could work, since it's all EZ-Pass anyway. But it does imply that there are going to be some people who take the Queensboro Bridge (paying the Central Business District Toll), but head to the Upper East Side. Then when they leave, they'll have to pay the toll to enter the CBD again to take the bridge home.
Or, hear me out, we ditch UTC and only use TAI.

Vote for me and I will also:

- Get rid of DST

- Put the whole USA on EST

- Take over the rest of the Americas and do the same for them (New York is basically centrally located as far as meridians go)
The full introduction article that shows a video is here: https://dqops.com/introducing-dqops-data-quality-operations-...
> Where is the hacker culture in aviation that we've been amazed by in the AI space?

I mean, if you mess up your AI model, it generates photos of black Nazis or people with an extra arm. Everyone laughs at you a bit.

If you mess up your plane, it kills people. There are absolutely people building experimental aircraft, but for good reasons there's a bit more caution involved.
It takes a few generations of extreme overwhelming force, at a minimum typically.

See: the Roman Empire. They had a timeline of several hundred years before the new territories were ‘roman’
Show HN: I made a binary enigma machine for manual encryption
Introducing the 3D Printed Binary Enigma (10 Enigma) – the ultimate encryption and decryption device, no batteries required!
Inspired by the iconic Enigma machines of WWII, this sleek and intuitive device lets you encode and decode messages “effortlessly”.

Or how else are we going to send secure messages in the future?
> but why do you want cooperative cancellation?

I don't.

Previous commenter doesn't believe in uncooperative cancellation though and .NET seems to be removing all support for it.

I would love to have worker threads with all kinds of interrupts and I/O disabled on them and just be able to kill them if they wander off into a numerical field somewhere and get stuck in the mud.
If that is true then I doubt that this new fee will solve the noise problem.
The body is designed to use its own fats for energy. All logic says you are talking about extreme conditions.
FYI: 27th General Conference on Weights and Measures decided to abandon the leap second by or before 2035 and stabilize DUT1.
NASA Selects First Lunar Instruments for Artemis Astronaut Deployment
They are flying lawnmowers, after all.

Cool to watch, but I think I'll do so from a safe distance, thanks.
The most interesting part of that to me is on selectivity. Male selectivity is invariant to changes in group size, while doubling the group size (speed dating context, something like doubling from 10 to 20 IIRC) makes women increase their selectivity by 13%.

In the contemporary world of OLD, imagine you scaled that group size from 20 to 2000. You would see a massive increase in selectivity (around 10 doublings), which accounts for a lot of the issues with OLD, while at the same time offering an alternative: focus on small groups instead of the digital meat market.
This is per car and bus/train/subway are per person.
What is the use case of buying a $800 gaming laptop to run a smaller model instead of using GPT 3.5?
> the vSwitch implementation is buggy and unreliable as soon as you add more than a couple to a cluster.

Next time try dSwitch (distributed switch) instead of vSwitch. It's designed for cluster use and much more powerful (and easier to manage across hosts). Manually managing vSwitches across a cluster sounds like torture.
You lucked out being able to get the plotters. https://www.evilmadscientist.com/2024/bantam-tools/ Evil Mad Scientist has been acquired by bantam-tools so plotters are out of stock for awhile, along with some of the cool additions they made.
Haha sounds like you've really felt the pain of timekeeping. This is definitely one of the first questions firms ask. The system is cloud-based so our agreements look very similar to those of other cloud-based practice management solutions which many firms currently have in place.
Supposedly they will all be electric by 2040, which is much later than I was expecting [1]. So far just 60-75 buses in NYC are electric out of 5,800.

That does not compare well with e.g. London, which currently has 950 electric buses out of 8,600. London plans to have all zero-emission buses by 2034 or 2030, depending on funding.

Here in Copenhagen the aim is to have entirely electric buses in 2025, although that seems to be apply only to the inner city. Some routes in the suburbs will not change until 2030.

[1] https://new.mta.info/project/zero-emission-bus-fleet
Interesting. Do you have a source to back up the part about EVs?
Reliably losing one pound a week (beyond the initial 1-2 week period where your weight is going to go all over the place due to water weight fluctuations) is as simple as cutting calories until you see the weight (on average, ignore fluctuations) drop by 1 lb a week. You have to average extensively. Bodies are very temperamental at this, unfortunately. My scale weight swings 0.5-1 lb quite frequently mainly due to sodium changes in my diet. It’s all about trend weight, though.
> Google: Spyware vendors behind 50% of zero-days exploited in 2023

Except it is in fact Google etc. who are behind the zero-days.

The Spyware vendors are behind only the exploits.
NJ residents who work in Manhattan pay income tax to both NY State and NYC.
You are too generous in your reply; the GP's position cannot be held honestly. Spending just a few minutes googling or searching HN would be enough.

Just as a starting point, there's the ~quarterly immigration attorney AMA.

https://news.ycombinator.com/submitted?id=proberts
I Worked Hard all my Life. I Regret it
I Worked Hard all my Life I Regret it.
Harder than anyone I had ever known. Did it bring success?
-No.
I really wanna say "yes" to justify my hard work and push down those who didn't work hard, but can't lie to myself.

These 3 things changed everything for me:

1. Kill me EGO. Back in the day, I worked hard, but in most cases, I was simply fighting with my own "intentional" mistakes. Most of the things I did came out of my ego. For example, I'd design things based on my personal taste rather than looking for this year's trend and adopting it. Why did I go for my own taste vs the current thing? because of my EGO. 99% of founders in my network make this mistake as we speak, I see it every day now, but I didn't see it in myself back then. Killing my ego led to becoming 2-5x more productive, which means I don't need to work as "hard" anymore.

2. Validation & Brave Confidence. In old times I'd just go and build the sht instead of validating. In 10 out of 10 cases, I'd build crap that nobody needs and right after that, I'd iterate doing 100-hour work weeks with no sleep or holidays. Could I have avoided all that? Of course. Today I validate things before I write the first line of code. I haven't failed a single launch since then. The productivity gain here is 10-100x. In old times a typical product would need 2 years of iterations to get somewhere, now it's "right" from the start because I iterate on the validation stage using different marketing messages. Compare this to iterating with the SAAS, where each new version might take many months of coding, versus me spending a few minutes to redo my marketing message from a new angle.

3. Reinventing wheels. I'd never reuse external libraries or nocode tools or boilerplates. I was too proud of myself. Every boilerplate had "spaghetti code", SDKs were poorly designed, APIs were limiting me....and all sorts of bullsit excuses I could find to reinvent the wheel yet again. Now my typical project has just 5% of my own code and the rest comes from external boilerplates, apis, sdks, nocodes, lowcodes. This is yet another 10x time saver. I don't need to code for 100 hours a week anymore. I can spend more time inventing cool creative marketing ideas that actually move the needle instead of proudly reinventing the CRUD.

The Moral.

If you have to work hard, it means you're not working "smart". Often founders romanticize the "hard" and look for hard ways instead of going for easy ways. I know it's hard to accept it. I was the one who denied it myself for many years.
Presumably because they want to work with students instead of people with decades of experience?
This is generally the case in most cities, but less so at lower Manhattan speeds.

Large diesel trucks produce a lot of pollution and noise. But those will take longer to electrify.
Yep. That’s the version I run on my “Turbo Slab”.

It’s always kind of amazing what a 33 MHz 68040 was capable of whenever I fire it up and fool around.
SF is an awful place to own a car if you don't have a parking garage; however, you lose out on regional mobility. Marin, Sonoma, Tahoe - so many monumental vistas are an easy drive from SF, but nearly impossible without a motor. (Bicycling gets you some of the way there, but it's still life at a different scale.)

The ultimate SF cheat code is to get a Vespa - the regional mobility of a car, but the ease of travel and parking of a bicycle. Traffic doesn't exist on a Vespa.
> According to Politico, they did indeed ignore the intelligence.

It has also been reported[1] that they ignored intelligence handed to them on a plate by the Egyptians three days before the raid occurred.

[1] https://www.bbc.co.uk/news/world-middle-east-67082047
Apparently you don't even need to bring your own, you can just take it from the guy attacking you.
What is that difference in your opinion?
Peter will be doing another of those soon!
Taking it a step further, this is what happens when the monetary authority's mandate is maximum employment and not maximum production. We're optimizing against efficiency.
Very, very small. Roughly similar to taxing driving below Wall Street or something.

There's no clean comparison of Manhattan to a portion of London, but just in terms of land area it's about 10% of NYC, and in terms of population it's around 20% (so maybe divide each by half to get the impact of this new rule). More importantly, almost every way to enter or exit the city by car is covered by this new toll. That's definitely not true in the case of the CoL congestion tax.
No.

They wanted a list of names of people accessing these sites. Texas is the same state that tried to coerce out of state abortion clinics into giving up their medical data. The sites instead decided to not play spy games with their clientele. I'm sure the money would be fine, but you'd also have to build and maintain systems for every state that would want to invade the privacy of its residence, which is a headache.
Good on you for giving us the update that he does acknowledge it. I confess I stopped reading as soon as that stat was given.
Not a function but when a module has a struct that you want to use inside the module you need to use the full module name or alias itself.
Given his presentation style, that isn't a farfetched description.
Does anyone have a good _basic_ guide on LVM/LVM Thin? I'm having a hard time wrapping my head around LVM and moving the vmdk to it. Mainly a Window admin with some Linux experience.

I understand that LVM holds data in it but when I make a Windows VM in proxmox it stores the data in a LVM partition(?) as opposed to ESXi or Hyper-V making a VHD or VMDK.

Kinda confusing .
This naming is confusing. Is 7C13 > 7950X? Why can't companies stick to simple conventions of "higher numbers are better" ...

Even NVIDIA ... A800 > A100 > A10 but A6000 < A100
Laser Kiwi Flag
I assume this is aimed at commuters who drive into the city and almost always enter and exit the city exactly once a day.
re: nondeterministic implementations: Detecting and resolving nondeterminism is something every method of implementing state machines has to consider. Even when implementing a state machine by hand coding switch statements, you have to worry about whether or not you have inadvertently specified an indeterminism.

> interesting things beyond the finite automata space

State machines certainly can be glorified into LR parsers, or even into Turing machines by adding various bells and whistles. So sure, this idea shouldn't be limited to just regular expressions--we've got good methods of specifying even very complicated state handling.

I hope you saw the excellent comment on this thread where somebody talked about how Ken Thompson implemented paxos using yacc for state management. I've been around the block with state management too, but using yacc for state management is something that never occurred to me, and frankly, opens up a whole new world of possibilities.

BTW, it's also an answer to your point about the pitfalls of nondeterminism: yacc is a great example of how to specify a state machine while detecting, reporting, and resolving nondeterminism.
Many applications dont want to host inference on the cloud and would ideally run things locally. Hardware constraints is clearly important.

Id actually say its the most important metric for most open models now, since the price per performance of closed cloud models is so competitive with open cloud models, so edge inference that is competitive is a clear value add
> If the next step in that process of creation is prompt engineering and reviewing AI-written code, so what?

1. It’s boring, soul-crushing paint by numbers scutwork

2. We value correctness and there’s no guarantee of it with LLMs

3. We value comprehensibility (answering the question “why did that happen?” in our systems) and there is an event horizon in these models past which we cannot see further.

4. If the jobs of software developers are materially under threat from this technology then no job that does not involve putting your hands on something or someone, or that does not have a legal/regulatory moat, is safe. Our society is in no way prepared for > 20% of its decent middle class jobs to disappear in 10 years time.
Tenths is interesting! And you're totally right. "On the go" time tracking can be quite tough. On mobile, we're currently focused on legal workflows, but other applications are compelling.
Of course your great grandfather worked on a farm, a majority of people before mechanization worked on or around farm related tasks. Now, when it came to the 10 generations before your grandfather, it's pretty damned likely they worked on a farm.

The industrial revolution shook things up.
> This is why the international community does not stop Israel

The international community has been trying to stop Israel since October. It's just that the UN allows certain "member states" to completely veto resolutions ans Israel enjoys nearly complete and total support for it's genocide from the US.

They just recently passed ANOTHER resolution on this immoral war. The US, again, stepped in to make sure it was "non binding."

This idea that the world watches Israel with pity and total scorn for the Palestinians is outrageous.
I gave up on my Electrolux Ipure 9 since I spent more time babysitting it than it would take to use a normal vacuum. The dumb ones that just bounced and loled around worked better in practice since they eventually cleaned everywhere, like lawn movers, and didn't give up randomly becouse they were lost.

Jeez I am bitter I bought that one. It is up there with my HTC Vive of worst expensive tech gadgets.
I don't think anyone here is under the impression that government subsidies don't come from taxes. The criticism above is that subsidies skew the observed relative prices of transport at the point of use.
oh wow, talk about having the best conditions to have your great grandparents around for quite a while, and still no luck. at what age did they have your grandmother? i am sorry they had to leave so early.
In most cities I would agree, but NYC has the best transit in the country by a huge margin. Genuine question: are there lots of people in NYC and surrounding area who must drive into the city for work and don't have convenient alternatives available? This would be true in most places in the US but I'm not sure about NY.

Of course, your underlying point is still valid that the effects of such a tax will not be felt equally across class lines, and that is not ideal in my opinion either.
huh?

> can a minute ever have 59 seconds
ChatGPT
Yes, a minute can have 59 seconds in the context of leap seconds. Normally, a minute is defined as having 60 seconds. However, leap seconds are a way to adjust the Coordinated Universal Time (UTC) to match Earth's irregular and slowly changing rotation. When a leap second is subtracted, it technically creates a minute with 59 seconds. This subtraction has been less common than the addition of a leap second, which results in a 61-second minute, but it's theoretically possible if necessary to keep UTC aligned with solar time.

The decision to insert or delete a leap second is made by the International Earth Rotation and Reference Systems Service (IERS) based on precise measurements of the Earth's rotation. As of my last update in April 2023, all adjustments have been additions, making some minutes 61 seconds long, but the system allows for the possibility of a 59-second minute if the Earth were to rotate faster than the time standards.
> Are unable to cheaply and efficiently roll out the infrastructure to verify, and do these digital checks

this simply-phrased benign-sounding statement belies how terrifying it is to be the responsible party for doing digital checks at scale in production on _extremely_ PII like driver's licenses.
I'm sorry, I didn't mean to imply that was your argument. That's not how I meant for you to interpret it.

I meant to get your opinion on whether the First Amendment would create a barrier for what you're proposing: government mandated moderation of protected speech on private platforms. You're talking about legislation and where to place barriers, so I thought you'd be interested in discussion. Sorry.
Beyond a certain point, the money is a scoreboard not a resource. It's like watching someone spend hundreds of hours on a video game for a speed run. You played to win and this is the metric.
I think a slightly more succinct way of thinking about mutability in actor systems is this: (I think it's from Erik Meijer, but not quite sure.)

Ultimately, any actor system has global mutable state via message queues. You can perfectly emulate a shared mutable variable by just sending it back and forth between message queues. (At least it's only atomically modifiable, I suppose.)

It's very different from abient authority to modify a mutable variable, but still...
You have to align incentives with these things, and that can be tricky.

For TSA something like "if you're in line an hour before your flight and you miss your flight, the TSA pays for your ticket unless they can prove you got through in less than 15 minutes" might do the trick. You'd have to work out the details.