skysight-inc/HackerNews huggingface dataset:
Exactly.

Meanwhile, Spain uses exclusively paper ballots, counted by ordinary citizens who were randomly selected for "election board duty" in their local voting sector (akin to jury duty in the US), and easily finishes counting more than 99% of the votes cast before midnight on the day of the vote. You can go to bed and expect no major upsets when counting is finished, other than the occasional swing of a single seat from one party to another when the d'Hondt assignment was very close.

And this is all for a country of 48 million people (23% more than California), counting votes to fill a 350-seat Congress composed of 50 multiple-seat constituencies of varying size, from 37 to 2 (plus 2 FPTP seats), as well as 208 Senate seats which are voted by check-box selection.

It is truly baffling how some US states manage to take so long to finish counting a handful of FPTP positions in federal elections: 1 president, a couple dozen representatives, and 2 senators.
After some more reading, I concluded that authors did think about this possibility but wrote a wrong code.

I have mentioned that there was the hard-coded maximum number of entries. This is derived from zlib's enough.c [1], which determines the maximum possible size of 2-level table for given number of symbols, N and the maximum allowed bit length (here 15). I've verified that those numbers indeed come from this program:

for ((color_cache_size = 0; color_cache_size < 12; ++color_cache_size)); do
# Note that color_cache_size = 0 entirely disables the color cache, so no symbols
./enough $((256 + 24 + (($color_cache_size > 0) << $color_cache_size))) 8 15
done

So at the worst case, there are 256 + 24 + 2^11 = 2328 symbols possible, and the maximum table size is 2704. (Caveat: I couldn't verify values for color_cache_size >= 8 with the current version of enough.c. Probably the value was calculated with an alternative implementation using bigints.) So this bug cannot be found if any randomly constructed Huffman tree was thrown!

But enough.c states that it covers "all possible valid and complete prefix codes". In the other words it assumes that the Huffman tree has been already verified to be correct. If it's not the case, it is very easy to make much worse cases. For example `enough.c 280 8 15` returns 654, which is possible with the following tree:

Len Code range # Root entry Overhead #
--- ------------------------------------ --- ----------------- -------- ---
1 0 1 0xxxxxxx 0 128
9 10000000:0 .. 11110110:1 238 10000000-11110110 2^1 119
11110111:0 1 11110111 2^2 1
10 11110111:10 .. 11110111:11 2
11111000:00 .. 11111110:11 28 11111000-11111110 2^2 7
11111111:00 .. 11111111:10 3 11111111 2^7 1
11 11111111:110 1
12 11111111:1110 1
13 11111111:11110 1
15 11111111:1111100 .. 11111111:1111111 4

But the following partial tree should be able to reach 768 entries:

Len Code range # Root entry Overhead #
--- ------------------------------------ --- ----------------- -------- ---
9 00000000:0 1 00000000 2^7 1
10 00000000:10 1
11 00000000:110 1
12 00000000:1110 1
13 00000000:11110 1
14 00000000:111110 1
15 00000000:1111110 .. 00000000:1111111 2
00000001:0000000 .. 00000010:1111111 256 00000001-00000010 2^7 2
00000011:0000000 .. 00000011:0001111 1 00000011 2^7 1

So the real issue here is that the lack of tree validation before the tree construction, I believe. I'm surprised that this check was not yet implemented (I actually checked libwebp to make sure that I wasn't missing one). Given this blind spot, an automated test based on the domain knowledge is likely useless to catch this bug.

[1] https://github.com/madler/zlib/blob/master/examples/enough.c
Typical… during peace time nations often get complacent. During healthy time, nations often get complacent. I thought it would take longer given just two years ago most stuff was shut down.
Also check out the Tasks plugin and the query language it comes with. Obsidian has become my one tool for so many things at this point!
I use Obsidian daily and love it.

However, I'm not very disciplined with it. I don't have a "process". It's just my scratchpad with daily notes that end up being disorganized and gibberish.

Does anyone have a good process they follow with Obsidian? A good template, a good, disciplined strategy to stay organized? I'd love to hear it, please share :)
This is what nascent disruption looks and feels like. Screenwriters at the WGA stopping work to “prevent” AI taking their jobs or part of their jobs. AI music infringing on brands. You will see many Napster’s and Kazaa’s emerge and die, and ultimately lawsuits and regulation will evolve and stabilize the landscape. But fighting to go back to the way things have been is like trying to stop people from using electricity and creating power plants and appliances: With a fundamental breakthrough of this magnitude, things will change and you will see a surge in innovation, with many old world casualties.
It’s not that long ago when people were saying:

“Weird how Unity uses Microsoft’s enterprise Java clone. Why can’t they use C++ like real game engines? Nobody will develop a proper game on this language.”
I've got a dozen or so phone numbers, spread across VOIP assigned, GVoice, mobile SIM, and traditional landline exchange (transferred to VOIP). The only one that gets a significant amount of spam is a traditionally LL number. Based on the content of that spam and what they know (I'll often screw with them), I believe the spam is mostly based off targeted victim lists. I can't say how much GVoice is silently blocking similarly targeted spam. But the point is if you don't give out your number to lots of businesses such that it's not sold to the surveillance industry, it's not likely to get much spam.

I wish the author had expounded on their setup. I too pay ~$1/mo for VOIP DIDs, but from what I've seen of consumer-facing prices I realize that's a facet of getting nitty and gritty with SIP (which doesn't necessarily mean self-hosting, eg voip.ms).
That's literally what Earthly does
> the reason why Dread Pirate Bezos mandated services was not because Kubernetes was cool[1], but because their teams were too interconnected, moving too slowly, and Conway's law was getting in the way.

Not quite. Amazon's problem was that they were experiencing too much impedance between teams, and some teams were even siloing themselves to the extent they were creating problems for everyone around them. Bezos' diktat was intended to break through a bunch of petty office politics bullshit that was dragging down the company and preventing teams from delivering their work. The diktat boiled down to basically ordering everyone to grant access to the service they owned and provided to external teams that need it, no exception, and would be held liable if they failed to provide it, intentionally or not
Farmboards – A Greener Take on Breadboards
I strongly agree with you.

I'm fairly involved in Elixir, so I run a risk of catching some frustration for agreeing with you here.

I get why they are going the direction they are, but I think it comes at increased complexity for beginners (that don't want to use LiveView). For example, Phoenix components (which are usable in static server-rendered controllers) live in phoenix_live_view package.

All of that said, Elixir / Phoenix is the best development experience I've ever had and I have no plans to stop using it.
Well dang.
The argument is weak. The industry's argument isn't that. The industry's argument is money. Money is a very strong argument.
Vercel achieves ISO 27001:2013 certification to further strengthen commitment t
>Unity has invested in different areas, with a lot of effort, and bluntly, nothing to show for it.

Aren't they making shitloads on advertising?
This is a page for goldbugs/sound money advocates.

The presumed culprit is the fed/fractional reserve banking.

It's a pretty good assumption, especially considering that all the other major 70's things that occurred were things that rectified in spite of the trend continuing.
Browser vendors are ahead of you on this. They just need time to put it into practice.
I do that, but I've pinned the main page tab so that all the new tabs open to the right of that one. Once I've read/closed them all, I just hit reload and keep the addiction going. =)
gamified watch party for iphone launch
hey there, mat indie dev from afkroom. I am launching watch party in afkroom.com come hang out, choose your character and watch the iphone launch.

wtf is afkroom? afkroom is your discord hangout in a gamified version. project is only 3w old, but wdyt?

how to watch? just click the link, 0 install
Vercel has now achieved the ISO 27001:2013 certification
What did they make you change?

I have been using CircleCI since the beginning and the only breaking change I saw was when they introduced workflows. This didn't need any changes to the difficult parts of my own code and was mostly copy-paste.

I believe that my configs are fairly complex using almost all existing features across many different projects and build targets.
Recording of First Transatlantic Telephone Call (1927) [video]
Sure, play it out. Lots of things are currently illegal reasons for being fired or discriminated against at work -- eg "protected classes" such as sex, religion, race, national origin. Are you trying to argue that discrimination on that basis does not exist? If not, then we can agree that, whatever laws exist to prohibit it, discrimination based on voting would exist.

Given that, you're left with needing to argue that the societal benefits of non-secret voting would outweigh the harms of voting-based discrimination. To me, that doesn't seem like a close call, but I'm open to the counter-argument.
Not sure, but maybe because a pen leaves a deeper mark that could be visible on the back side when the ballot has been folded. (This is a wild guess.)
If you want a more "out of the box" solution, you can run Wagtail and Puput on top of Django. The Puput default template is a bit dated, but it's pretty easy to update and tweak to your preferences.
> unless Python themselves fundamentally change how the documentation is structured, which I doubt they have plans to do.

Nor should they, in my opinion. Quality of documentation is more important than that.
Came here to cite your work, I even mention "CloudForest" in my slides still as "an interesting implementation that is also capable of handling NANs in DTs in a slightly different way." Crazy this has already been 10 years.
The biggest problem for real processes is knowing whether in fact x ~ i.i.d., with regard to time as well as individual observations.
I'd take a step back, and ask what makes art (music, visual, etc) valuable.

To that, I'd respond "scarcity."

It's hard to imagine highly valued art (either culturally or monetarily) without scarcity.

Consequently, I expect the next few decades will see similar progressions to the past, when technology encroached on scarcity (e.g. painting after the photograph, live performance after consumer video/music playback).

Scarcity will reestablish itself in whatever guise remains technically feasible, and again become valued.

In the case of LLMs and diffusion, I expect it will be creating things that are so novel they could not have come from AI.

Hopefully skillful, deep parody and the absurd will reassert themselves, as post-JS-Daily-Show I think that's been missing in culture.

But it sure as shit isn't generic pop music, which will be the first thing to be churned out of humanless hit factories and flood the market.
The issue is trust. I dislike trusting GitHub / GitLab with my code but I already do, so I choose them for CI.

I can already get fast builds using Bazel (or maybe Buck 2) so why do I need another tool / provider?
“JPEG is more secure than WebP” is the wrong takeaway here.
I remember chatting with you at FOSDEM (Snikket dev here). Congratulations on the launch!

Generally I agree that the goals of Quiet are sufficiently different to the way XMPP is used/deployed today that your entirely different stack is warranted. While people do use XMPP with Tor today, and I'd like to add native Tor support to Snikket at some point, I don't envision that ever working the way Quiet does.

Nevertheless, an XMPP<->Quiet bridge would be a fun project for someone, some day :)
It's objectively consistent since the postulates do not contradict each other
That’s not quite right - users are customers paying for a service, search, in exchange for a payment, I.e. their time and eyeballs.

At the same time google coordinates with their other customer and swaps the time and eyeballs for money.

But users are definitely a customer paying with time in return for search results.

If the product becomes too obnoxious, people don’t even need an alternative to quit. It’s happened with other products. Not everyone will quit, but the customer base will shrink.
I do not like appeal to authority either. But based on my experience, most of these issues were resolved in one to two meetings (I said maybe one, after all).

The team that needs data goes to the team that has that data and says "can you make an API that vends the data that I need?". Then they make it. And then maybe there is another meeting with a follow up, or perhaps an email asking for the data to be presented slightly differently.

But if you come to a team with a good use case and some examples, it shouldn't be too hard for them to create an API that vends the data appropriately.

This of course is all predicated on a good microservices architecture where you already have systems in place to handle API discovery and communication between services and proper data separation.
It's ironic that I am cheering for a small open source team to get more funding in light of a $14.7B for profit company introducing what appears to be developer price gouging?
I'm not sure I would consider those results "low-quality". Not necessarily for this use case, but often time 3rd party sites do a better job of providing examples and readable documentation than the "official docs". Also, if you want to use the official documentation, just use the search bar of docs.python.org. Then Google gets none of your views!
I think that people actually don't lie about some of the things LLMs lie about, which is why it's so jarring that they do. I'm not saying people don't lie - they obviously do. It's that someone's not going to give me documentation about a Unix command line utility that doesn't exist, or a programming library API, and then have be believe them a second time, so when Guido tells me about awk one liners, I believe him. When Ellie the LLM comes around and feeds me lies in a way a person wouldn't, it's really jarring.
The most disappointing part of the pandemic has been the utter lack of curiosity and professional duty displayed by journalists. The only other time I can think of such blatant dereliction of duty was the beginning of the war in Iraq.
What's the math on the weight vs the affect of drag at that level? Aero doesn't come much into play in 0-60.

"Drag karts" are becoming a thing and they do just fine
A lot of people care about authenticity, but I'm with the crowd that couldn't care less. A book once owned by Issac Newton vs a used paperback with the same text are the same to me. A copy of a famous print vs one of the prints actualy made by the artist (or by someone in her studio!): I wouldn't pay extra for that. Really nice music by someone who likes the same famous musician as I do? Great!

I'm not denying the appeal of "authenticity" but I can't for the life of me understand it.
Isn't Unreal still significantly more expensive with the 5% royalty at least as long as your game costs more than $5-10?

Edit: am I wrong (mathematically?)
Contra | Senior Site Reliability Engineer | $145-165k + equity & benefits | Full-time | Fully Remote
Contra is a commision-free platform redefining how freelancers find great opportunities, get paid, and showcase their work.

We’re looking for an experienced Senior Site Reliability Engineer with a background in full-stack software engineering — a full-stack twist on the traditional SRE role, and a chance to wear multiple hats. You’ll ensure that the site & platform are operating at their best, working across our infrastructure, CI/CD, Sentry, monitoring and alerting services, performance budgets, and internal tooling.

Extensive knowledge of k8s and GCP (preferably) or AWS is a must. You’ll need to be comfortable with crystal-clear, asynchronous communication as we’re a fully remote company with employees all across the globe. Past experience as a freelancer and empathizing with our users and our mission are huge plusses.

To find out more about the position and apply: https://contra.com/opportunity/PgXroQlg-senior-platform-reli...
To learn more about Contra visit our site (https://contra.com), create a profile and check out all the ways we’re building the best platform for independents and clients
Yes - I know both Mozilla and Chrome are doing this. The main thing I was thinking is that it’d be a lot more supportable if the response was, say, “we’ll add JPEG-XL only in Rust”.
For me is language learning.

I've been trying to learn Chinese for a while, and GPT-4 has been a very useful tool to answer grammar questions. I have tried the same with GPT-3.5 and some local models and the answers are never as good.
The irony of advocating against a "separate utility", and then promoting a separate utility...
Why the hurry? In the last few years ssd and usb speeds skyrocketed (heatsinks too). Who needs these fast interfaces?
This is how simple Django is for CRUD apps. The author could go even sparser. Love them or hate them, the views could have been replaced with class based model views for even less lines of code.
I’m saying that fact shapes the set of people resorting to Google in the first place and what they are looking for.
>but how do you distinguish a Thunderbolt-compliant cable from a very basic USB-C cable?

The picture on the end of the cable - it will contain a picture of a lightning bolt, and a number indicating which version of thunderbolt the cable supports:

https://www.thunderbolttechnology.net/sites/default/files/CB...
Wasn't there an organization by Godot's main developer raising money for it already?
"The US innovates; the EU regulates", as the saying goes. Makes me sad...
The first graph shows productivity and real _disbursed_ income. Health insurance is a very large proportion of compensation now.

There has been a large decoupling of compensation from productivity. What happened was unions were neutered (Taft-Hartley), and businesses took advantage by stomping them out whenever they could. Businesses also merged and acquired their way to become the enormous behemoths that they are today. There is a large amount of inequality in productivity between the Fortune 500 and other US firms. The Fortune 500 is responsible for 60-70% of US GDP despite employing only 16-20% of American workers. All the bargaining power in the world isn't going to help the 80% of us working for non-F500 firms.

What we need is a combination of greater union power (wildcat strikes, closed shops, sectoral bargaining, heavy restrictions on employer interference in unionization efforts), and a greater antitrust effort to break up the monopoly firms.

I guess a better question would be if we consider employment the only valid source of income. There are plenty of examples of tax-and-spend welfare states that simply redistribute income from rich earners/gainers to fund public services.
I think what you're describing is basically something I've pointed out in different contexts: for many areas concerned with AI, content is already effectively written by "AI", it's just humans following the algorithms rather than fully automated.

- content marketting is already AI writing, it's just humans churning through the SEO optimized algorithms.

- Mass digital stock photograph is AI generated "art". People that do that for a living have an exact formula for reproducing images that will sell en masse.

- As you point out, a good chunk of generic pop music is churned out by musicians following algorithms behind the scenes and then manufactured to look like the work of a public performer.

The parts of our content work threatened by AI are already cold, sterile, and machine generated.
That would kill unity and make godot the preferred engine over night for large indie communities.
Few years from now, we'll all be all out of work, the earth will be burnt to a crisp, there'll be like 10 rich people and everyone else will be walking the deserts looking for the tiniest shred of green. But man, the soundtrack will be ROCKING!
i'd love a search page that lower the page rank if it contains ads. Maybe even a search that blocks all pages containing ads.
The point of the credential is to show that you're the type of person who can succeed in a tough environment. Whether doing well in undergrad actually shows that you can succeed in the face of adversity is up for debate, but that's the main point of the diploma for most majors and it's not clear to me how you would replace it.

In fields that aren't based on hard knowledge credentialism is even more important as it's less clear what to test for in interviews.
This looks like a fun project to give some more incentives to playing older games. Although I do dislike that there's a large category of "achievements" nowadays that are nothing more than telemetry for developers. Like like at some of these for one of my favourite games: https://retroachievements.org/game/1458 "Use the Batarang for the First Time" "Complete Stage 1". These aren't achievements. Steam games are FULL of these. Open the game, complete the tutorial, open inventory... achievements should be interesting, weird, or challenging.
Their arguments so far are that Bing is bad but I don't see how that addresses the fact that they need to buy their default search position.
The paper referenced does NOT state that "Blood pressure should be measured lying down" as the OP posted here on HN. It states instead:

“Our findings suggest people with known risk factors for heart disease and stroke may benefit from having their blood pressure checked while lying flat on their backs ... Efforts to manage blood pressure during daily life may help lower blood pressure while sleeping. Future research should compare supine blood pressure measurements in the clinic with overnight measurements.[emphases mine]”
New in Chrome 117
Discovering Magic Internet Money changed my life
About discovering Bitcoin, Austrian economics, Privacy & Security and questioning everything
I recently made a small game with https://defold.com/, and it was very pleasant. Completely free and cross-platform out of the box (including Switch & PlayStation support!)
What if this author doesn’t care about intentionality? AFAICT you’re assuming they do because they use the active verb “ignore” for a machine, but that says little to me. We use language like this all the time for non-intentional systems: “the plant reached skyward”, “the economy soared”, etc etc etc.

I really really don’t think this is an article about convincing robots to be nice to us (AKA alignment); I think it’s an article about how we need stricter regulations for software that controls physical machines. Doesn’t that sound like a good idea?
> adipocere

That's the first new NSFL search term I've run across in years.

Bravo, sir!
Shot Glass
It's similar to Make, in that you're explicitly defining dependencies and that allows caching/parallelization, but much simpler to use, and each target can define its own dependencies (e.g. some target might need Go or NodeJS)
I tried Godot for an art-pipeline tool (batch animating models in code & converting to optimised gLTF on a huge scale) - I was amazed actually coming from a Unity background, in fact it was the only tool that could do the job reliably (even ThreeJS didn't work - thanks GLTF standards ;-)
It's almost like the capital/distribution forces of mass market media have been striving to devalue the human components of the art...

... but I can't imagine why that'd be attractive to them.