skysight-inc/HackerNews huggingface dataset:
> more than 32G things can be stored, but not displayed.

That's certainly an interesting way to phrase it. I use /dev/null for a similar purpose with the added benefit that it can store petabytes of data, but sadly we don't have the technology to display it yet.
Forced large scale redistribution is just theft, honestly. The value proposition of heavy taxing is no longer met, people here (in Germany) no longer receive fair benefits for their taxes. Infrastructure is failing.
>their problems are too boring and obscure for anyone without direct personal experience to care about them.

And the problems were so important that somebody, anybody, stepped up to the plate with a digital solution as soon as it was barely possible.

Sometimes you have to admire that effort to a greater degree than a more technically advanced alternative.

I'm sure some of these are ripe for transition to a truly more effective approach in every way but often there is no fooling them trying to provide anything less.

And disruption itself can be the enemy in some things like this.
People died as a result of these 'protests'. As much as I agree with the message, the medium is dispicable and only brings hate from those we should be seeking to convince. The people decrying these charges are out of touch, to put it mildly. Alienaring those you need to accomplish your goal is not a virtue.
I think TFA is talking about nesting fields in whatever order and also being able to extract the fields without ceremony like `get(get(get...))`—just allow `get(...)`. If you wanted an example more close to the submission you would have a multi-field class inside that class. Then you would perhaps solve the nested field access boilerplate by manually implementing it in the interface methods.
I'm optimistic that improved proof search using modern AI can make working with dependent type systems much more productive and practical.

A future programmer may be spending more time formally describing the invariants of the system.
At this day and age there should not be a system without an audio daemon. At least not one, that is not broken. Apps should not certainly accommodate for broken systems, and forcing workarounds for the correct ones.
Great! I certainly didn't intend to say that stack-allocated or statically-allocated futures should somehow stop working?
90 days isn't really an industry standard. It's what Google unilaterally decided upon when they chose to staff up Project Zero and reflects their assumptions being, as they are, a company that grew up on the web. One of those assumptions is that you have fully automated test processes and the ability to remotely update any/all installs of your software within a week or so, which in turn implies that users aren't involved in the decision about whether to upgrade or not. It also assumes you can do this as often as you want. This is a strong set of assumptions that happens to be true for Google but isn't true of SCADA shops.

Even if they make a patched firmware, actually rolling it out would require a lot of work by their customers and of course maybe the same guy finds another security bug after 80 days and the whole thing starts again.

Given the unclear threat model here (how does one get access to the networks that these are attached to? could you just hotwire the lights themselves and bypass the controller?) it's also not really obvious how you'd classify reports. If there's a bypassable HTTP login page that's clearly an exploit but customers may not care if they trust the underlying VPNs/firewalls/air gaps. If there's unauthenticated SNMP access by design then is it even intended to be secure against malicious network access at all?

In many cases these devices will be reachable from the public internet, and in some of those cases it will be intentional. But is the security bug there on the controller or in the network setup that allows that access? It's probably easier to properly firewall off the controllers than continuously patch all the controller firmwares themselves, especially as the latter done wrong could easily enable hackers to perform a worse-than-Crowdstrike level takedown of all controllers simultaneously.

It's really not clear that the model that works well for web browsers will ever work well for infrastructure. We just saw an awesome demo of what can go wrong when rapidly hot-patching security updates into critical infrastructure computers goes wrong.
I have nothing to back this up but the reason I'm sensitive to ridicule as an initial reaction is that I believe it causes people to shy away and there's potential that they surround themselves with other ridiculed people and now you have a group that is intentionally dense and now powerful. Education should always be the first step.

I grew up in rural appalachia and the amount of grief than the uneducated get there for being uneducated causes them to become even more hostile and I really think that the Mr Rogers approach of education would eventually neuter any hostility they had towards the educated.

* edit: changed education to educated
I mean, that's what I'm trying to do (the business, not the monetary milestone), but something to be mindful of is that on Indie Hackers only 12 people out of 17,000 in the community got to $10k MRR.

https://www.indiehackers.com/post/holy-heck-this-is-hard-8eb...

Granted, this is Indie Hackers, so take this with a grain of salt, but I think the general idea still applies. Getting to $10k a month, let alone making $250k a year (so ~$20k/month) is really hard, probably about as hard as making $250k a year as an employee, maybe even harder.
Not as extreme as in the US, but it's still true. My brother nearly outearned me during our studies, I was a working part time student and he worked tables on the Weekend.
If the person is able to complete the job, it's not necessarily fraud.
Yet the Brazilian government releases little of its own code publicly. I'm still waiting for the ballot machine code.

Brazilian government's relation with open technology is such a weird thing. Lula and Dilma government were huge sponsors of free software conferences like FISL, with several ministries and agencies with huge booths and whatnot - but most of their actual technical side was just "we use libre office or Zimbra or whatever". All talk, no action.

One thing that specially made me angry was the lack of commitment with open data. The post office was eager to sponsor conferences, but kept zip code data under lock and key, only allowing a CAPTCHAd query tool for people, and selling API access to companies for huge prices. This was actually only fixed... during the right wing governments that followed (can't remember if Temer or Bolsonaro).
No need for ad hominems. This suffices to place doubt on the article's premises (and therefore any conclusion):

>> This hasn’t been strictly shown mathematically, but I think it is true.
Not all subscribers provide email addresses through which they could be informed of a revocation.
That tax limit should be removed IMO.
Unfortunately all the best recent models are paid cloud endpoints. But ElevenLabs, OpenAI, Google Cloud, AWS, etc. all have pretty decent TTS endpoints if you're willing to pay per use.
A comment that's orthogonal to the datastructure you're choosing, but do you really need u32?

If you need second level precision for scheduling, you probably do, but a u16 will cover a 45 day range with minute level precision.
At my compensation my only stress is what happens if I get laid off and can't find new work in this market.
Smaller models can be trained to match log probs of the larger model.
Larger model can be used to generate synthethic data for the smaller model.
> Essentially third-party cookies loaded from example.com won’t be loaded when visiting example2.com

That's what a third-party cookie is. You're describing third-party cookie deprecation
From what i understand the training data and careful curation of it is the hard part. Everyone wants training data sets to train their own models instead of producing their own.
It's about what the population values and how that influences their decision about having kids.
New process can efficiently mine rare earth metal europium from electronic waste
I think the issue is that we don't really want or need UBI. We need to take a step back and think of the goal. Is that to help people that need it most? We can start with something to try to achieve that. Then continue to roll that forward.

We could try an approach like:
People who make less than the poverty line pay no state/federal taxes.
Each month you get direct deposit (no bureaucracy) to bring you up to poverty line for last month.
Each month you get direct deposit (no bureaucracy) of up to $1000 or whatever would bring you to double the poverty line.

These programs would be automatic based on payroll tax filings and help the people who need UBI most.
Also, we'd slowly be able to evolve these further to handle all benefit assistance programs and save a ton of money.
Because I am happier as a great employee. I have a large family and have chosen base salary over stock when it comes up for example. I make a great salary and we can afford to have a lot of fun. We took four months and traveled in an RV. I have 7 lids and they all have a sport so we do lots of Soccer, Field Hockey, Softball, Baseball, etc. That is expensive and time consuming but I am at 99% of their games.

I can't do that as well while starting and running a company.
100% reddit is full of people trying to solder more vram
I collect them using ollama. My favorite go to is nous-hermes2-mixtral, though others have things to say. They're all distinctive (phi3, llama3, wizardly, etc.) and can be a riot with the right prompts.
There are so many nuances here, but perhaps you could maintain two coalescing structures: what's free and what's used, complements one one another. Adding to one means removing from the other. One might give you a more constrained search space than the other.

An ordered structure feels like the way to go, here, since you said "nearest gaps". Once you know the time you'll get locality in your search. You could also run the search in both directions on two threads.
Agreed, though the topic of timezone+DST support has come up a few times in the SQLite forums, and the SQLite team has never expressed much interest in it. Which I don't blame them, they would need to write it from scratch in C (for licensing reasons), and keep a timezone DB updates, which sounds like a nightmare.

I'm curious - do you find yourself constrained by the default macOS build often? Typically I `brew install sqlite` and use that CLI to get around extension loading issues (and for more modern SQLite versions). Same with Python's default MacOS build, which I avoid at all costs. Though very curious to hear more about times where that isn't a viable option
There's also Clojure CLR (lisp) https://github.com/clojure/clojure-clr
It's not cynical, it's just an awareness that public companies have a fiduciary duty to their shareholders.
Either you port Tensorflow (Apple)[1] or PyTorch to your platform or you allow CUDA to run on your hardware (AMD) [2]. Companies are incentives to not have NVIDIA having a monopoly but the thing is that CUDA is a huge moat due to compatibility of all frameworks and everyone knows it. Also, all of the cloud or on premises providers use NVIDIA regardless.

[1] https://developer.apple.com/metal/tensorflow-plugin/
[2] https://www.xda-developers.com/nvidia-cuda-amd-zluda/
Once they have to pay the actual costs of AI after all the VC money dries up, it will be clear that humans are much cheaper than AI. A $20 AI tool is just an introductory price, and that's mostly because companies don't want to pass on the real cost because they want people hooked.
I'll explain what my preferred 3D method would look like collapsed to 1D. This was originally for octtrees.

Make a binary tree where node sizes are powers of 2. I'm assuming you can define some "zero" time. To add an interval, first check if it exceeds the tree size and if so, double the size of the tree until it fits inside. Doubling involves making a new root node and inserting the existing tree under it (this was extra fun in 3D). Then decide what node size your interval should reside in. I would use the first power of 2 less than or equal to the interval size. Then insert that interval into all nodes of that determined size. Yes, I allow more than one object in a node, as well as allowing smaller nodes under one containing an object. An object may also span more than one node. In other words the objects (intervals) determine their own position in this tree regardless of others in the tree. It's not perfectly optimal but it allows inserts and deletes in O(logN) as well as intersection checks.

If this sounds not too terrible for the 1D case, I can elaborate on the data structure a bit.

Edit: From another comment "quickly finding the nearest gaps of at least duration X is most important." That possibly invalidates this whole approach.
There is no reliable way to diagnose this issue with the 14th gen, the chip slowly degrades over time and you start getting more and more (usually gpu driver under windows) crashes. I believe the easy way might be to run decompression stress tests if I remember correctly from Wendell's (Level1Techs) video.

I highly recommend going into your motherboard right now and manually setting your configurations to the current intel recommendation to prevent it from degrading to the point where you'd need to RMA it. I have a 14900K and it took about 2.5 months before it started going south and it was getting worse by the DAY for me. Intel has closed my RMA ticket since changing the bios settings to very-low-compared-to-what-the-original-is has made the system stable again, so I guess I have a 14900K that isn't a high end chip anymore.

Below are the configs intel provided to me on my RMA ticket that have made my clearly degraded chip stable again:

CEP (Current Excursion Protection)> Enable.
eTVB (Enhanced Thermal Velocity boost)> Enable.
TVB (Thermal Velocity boost)>Enable.
TVB Voltage Optimization> Enable.
ICCMAX Unilimited bit>Disable.
TjMAX Offset> 0.
C-States (Including C1E) >Enable.
ICCMAX> 249A.
ICCMAX_APP>200A.
Power limit 1 (PL1)>125W.
Power limit 2 (PL2)>188W
Markdown is more of a data cleanliness concern, keeping your markup simple and parseable. But because email had WYSIWYG GUI clients dating back to the 90s, there's too much entrenched inertia to change it now. Adding Markdown parsing would be pointless because nobody composes emails in Markdown when they can just select text and make it bold, etc., right in the GUI.
>no one trying to figure out how to actually bind the productivity increases together with UBI

Because we not only figured that out, but already implemented this several times in practice. Productivity decreasing until there is nothing to eat, and then people dies from starvation (for some reasons they can't live without food)
Let's Encrypt will surely not be the only CA to discontinue OCSP after Microsoft removes their requirement.
The "dock" could just be a 7" display, controllers, and a power input. Not fully wireless but certainly handheld. Could even give it a catchy name, like "Wii You".
Pseudonyms are nice too because they are, for all practical purposes, identities, just not real life identities. You can build a brand around a pseudonym, even if you can't necessarily convert that to real life cachet. That is somewhat different from pure anonymity, because if you act like a dick eventually no one will take you seriously and you'll lose something of value, even if that value is just the goodwill of your readers.
The results are impressive, but what makes this 4D? Where’s the extra dimension and how is it relevant to 3D human beings?
cocaine shark was the obvious sequel
For anyone who has not heard of the “postmaster debacle”, as I; it is a stunning atrocity of government that appears to have affected 3,650 people who were hounded and persecuted and prosecuted for various types of theft and malfeasance even though it was a glitch in the Fujitsu software that caused whatever appeared to have been thefts or irregularities in the accounting that was the basis for the government tyrannical terror descending on these people. It also cause at least four (4) suicides.

https://en.m.wikipedia.org/wiki/British_Post_Office_scandal

I suspect this also has its roots in the European legal tendency to presume guilt and the accused having to prove their innocence, far more than the system has also been poisoned with in the USA. It’s not perfect and getting worse in the USA, but in the past, it would have been incumbent upon the prosecution to prove you actually stole, not just that the system used indicated irregularities. For example there would have to be evidence of money transfers, exceptional lifestyles, video surveillance of stealing money, or at least witness testimony of some kind validating that money was stolen, etc. If something was stolen, it essentially has to be shown what happened to it, i.e., it was in the possession/control of the accused.
The top-level “takeover.sh” is actually a directory.
Yep, don't trust Maps or Waze, you can get shot in Brazil if you use it blindly.

Always force it to suggest main routes, even if suggest a route with less traffic.
When you're in that tax bracket, there are plenty of tax break/benefit cliffs that are more impactful than tax rates. And they can certainly make your take-home pay go down if you accept a raise. See:

https://news.ycombinator.com/item?id=41048205
The scene itself moves over time, hence the 4D. Vanilla gaussian splating already give you 6 degrees of freedom since you have a full 3D scene.
OCSP pretty much has to fail open, and stapling doesn't fix this.

If you're in a position to MITM a client using an exfiltrated certificate that no longer passes OSCP, you're probably also in a position to block the request to the OSCP server. And you're not going to staple while you MITM.

As a client, you can't really tell the difference between "this certificate is valid but not stapled and the OSCP server is down" and "this certificate isn't stapled because I'm being MITM'd, and the OSCP server is blocked".

For those who could successfully staple, really short-lived certificates might be a suitable answer -- that's effectively what OSCP gave you, only without actually ensuring that the certificate would cleanly expire.
https://augmentedperception.github.io/deepviewvideo/

We've been waiting 4 years. I just don't understand what is taking so long.

Even at a low resolution, the difference is night and day. Even with a very small window, this is a leap forward for VR immersion. Why in the hell is no one using it?!?
Privacy was the first thing that the EU did that started this trend of companies slowing their EU releases because of GDPR. Now there's the Digital Markets Act and the AI Act that both have caused companies to slow their releases to the EU.

Each new large regulation adds another category of company to the list of those who choose not to participate. Sure, you can always label them as companies who don't value principle X, but at some point it stops being the fault of the companies and you have to start looking at whether there are too many enormous regulations slowing down tech releases.
> Agreed. But they're all different. There isn't an accepted defintiion of open source even when it comes to software; there is an accepted set of broad principles.

Agreed, but are we splitting hairs here and is it relevant to the claim made earlier?

> (The way open source software, today, generally means source available, not FOSS.)

Do any of these principles or definitions from these orgs agree/disagree with that?

My hypothesis is that they generally would go against that belief and instead argue that open source is different from source available. But I haven't looked specifically to confirm if that's true or not, just a guess.
Currently only 20,830,034 revoked certificates per my daily CRL download, versus ~1 billion active certificates. But the number of revoked certs could balloon if there's another Heartbleed-like event, or a mass misissuance.
I did some simple benchmarks of a `Vec<(u32, u32)>` to a `BTreeMap<u32, u32>` for the test case and found them to be roughly comparable. The intervals are relatively dense so I was hoping for the vector to perform better than it did.

The binary search was useful to find the start position if there are more than a few hundred elements or so (whatever the breakeven point for linear search vs. binary search is on your CPU).
A much better investment would be to (somehow) revolutionize production of chips for AI so that it's all cheaper, more reliable, and faster to stand up new generations of software and hardware codesign. This is probably much closer to the program mentioned in the top level comment: It wasn't to produce one type of thing, but to allow better production of any large thing from lighter alloys.
What about dollar cost averaging your purchases of GPUs? So that you're always buying a bit of the newest stuff every year rather than just a single fixed investment in hardware that will become outdated? Say 100 million a year every year for 20 years instead of 2 billion in a single year?
This is spot-on. Note that the aperture on the camera was quite large, I want to say on the order of 100mm? They sourced really exotic hardware for that cinema camera.

They also had the "Immerge," which was a ~1m diameter, hexagonal array of 2D cameras. They got the 4D data from having a 2D (spatially distributed) array of 2D samples (each camera's views). It's under sampled, because they threw out most of the light, but using 3D as a prior for reconstructing missing rays is generally pretty effective.

But I also understand a lot of what they demoed at first was smoke and mirrors, plus a lot of traditional 3D VFX workflows. Still impressive as hell at the time, it's just that the tech has progressed significantly since ~2018.
> Right, I'm not talking about the commit history, but rather that anyone (with means) should be able to produce the final artifact themselves, if they want. For weights like this, that requires at least the training script + the training data.

You cannot produce the final artifact with the training script + data. Meta also cannot reproduce the current weights with the training script + data. You could produce some other set of weights that are just about as good, but it's not a deterministic process like compiling source code.

> That's like saying that Slack is Open Source because if I want to, I could patch the binary with a hex editor and add/remove things as I see fit? No one believes Slack should be called Open Source for that.

This analogy doesn't work because it's not like Meta can "patch" Llama any more than you can. They can only finetune it like everyone else, or produce an entirely different LLM by training from scratch like everyone else.

The right to release your changes is another difference; if you patch Slack with a hex editor to do some useful thing, you're not allowed to release that changed Slack to others.

If Slack lost their source code, went out of business, and released a decompiled version of the built product into the public domain, that would in some sense be "open source," even if not as good as something like Linux. LLMs though do not have a source code-like representation that is easily and deterministically modifiable like that, no matter who the owner is or what the license is.
Llama as a System
Compromised, or mis-issued. In practice, currently, mis-issuance is significantly more common (in terms of # of certificates revoked) than compromise is.
> visiting in October is highly discouraged

Why?