skysight-inc/HackerNews huggingface dataset:
>Also weird that BBC is already memory-holing that it was a gunshot wound.

Another source backs this up, and seems to have interviewed the man's attorney in the past. [0][1]

It's tempting to dismiss foul play on the basis that it's too brazen in the middle of a deposition. However, that's also the height of plausible deniability because cross examinations can get personal and thus emotional.

---

I can't help but be reminded of a film quote:

"But that's the way it works with corporate murder. Boss gets wind of something, calls in his head of security, who talks to someone, who talks to a friend of someone. Finishes up with an answering machine in a rented office, a couple of sensitive gentlemen in a blue pickup truck. They will never know who ordered the hit." [2]

[0] https://www.corporatecrimereporter.com/news/200/boeing-whist...

[1] https://www.corporatecrimereporter.com/news/200/brian-knowle...

[2] https://www.scripts.com/script/the_constant_gardener_702/17
Hmm, I took it to mean you couldn’t even ask about ML and you must avert your eyes when SGE pops up on ML queries on Google.

Anyway Google lost me as a customer for that so I promise not to help them “develop their models!”
Wasn't this the plot of Quantum of Solace?
It is very fortunate that the universe is expanding. This provides a virtually unlimited source of energy.
30 years ago you would have just used a shell.
I guess we can always tape up tarps to cover the walls and then drape some over the furniture. That won't stop audio from being recorded though.
now to make it interesting, place the middle candidates right after lunch to see if having lunch improves the middle stretch
In a similar vein I prefer Treesheets to this sort of thing. I like grids better.
The pi foundation supports this in the compute module, which has an emmc variant. However that requires that you make a supporting PCB. (Or buy one from someone else)

If you are buying loads of them they will also customise the pi for you (although I think that's contracted out)
> Examples where it breaks down (e.g., non-finite variance) are comparatively rare, even if there are "many" of them.

I would beg to differ. They are absolutely not rare. [0] One of the most famous people in probability theory even claimed that it's the ones with finite moments that are rare in practice. (But I couldn't find this quote back, I thought it was Poisson or Laplace)

It's even worse. Many distributions where the CLT does apply, require so many samples for them to actually work, that it does not really apply in practice anymore. Any skew in your data blows up the amount of samples you need to find things like the empirical mean.

[0] Chapter 3.4 https://arxiv.org/ftp/arxiv/papers/2001/2001.10488.pdf
Does it support constrained generation during training?

This is what we need for the large language models I am training for health care use cases.

For example, constraining LLM output is currently done by masking, and having this rust based library would enable novel ways to train LLMs.

Relevant papers:

https://github.com/epfl-dlab/transformers-CFG

https://neurips.cc/virtual/2023/poster/70782
Although don't you still have problems with being able to accurately anticipate the output for control flow purposes? In this example, stopping at a new line. I guess that should work out fine in this example, although if I'm understanding this paradigm correctly, to help ensure that you'd want to have something like:
await aici.FixedTokens(f"Here is a bullet point list:\n\n.") before entering into the for-loop.
Was their response “you can plug it into an outlet”? Not the fastest charge you will ever get but doable as long as you can get what you need in the time the car is parked.
I agree with this. Also, the period of time where children are very tiring is relatively short, perhaps 2-3 years per child. Yes, this adds up when you have 2 or 3 children, but there is also a lot of joy to leaven the fatigue.

Then you have the period before they are 11 or so, when they are just pure magic to be around. You get to see the world through their eyes. You get to be around someone who is always eager to learn from you and who thinks you’re amazing.

And then you have a teenager and your relationship matures and deepens (hopefully anyway) and although there are often difficulties, there can also be a kind of friendship there with deep meaningfulness. And/or someone who will make fun of you and take your ego down a peg or two.

For me, finding meaning in life has long been a struggle. Is it the pursuit of pleasure? Is it the pursuit of knowledge? So much of all that is ephemeral. How about, instead, sacrifice? Putting others first? Investing in future generations?

One thing I do believe for sure: having a child makes most people wiser and less self-centered and selfish. That alone is worth the fatigue.
We're both kinda shy and don't usually like putting ourselves out there, but maybe you're right and it could add some personality to the product.
If you're looking for an open source solution you can customize, check out the ResearchLLM demo: https://phasellm.com/researchllm

Code: https://github.com/wgryc/phasellm/tree/main/demos-and-produc...
Enshittification will exist for as long as the profit-seeking motive exists.

As long as MAU is the prime target, enshittification will continue.
I actually found this story from a previous HN thread and was absolutely blown away. Such an excellent short story.
eBay for fusion energy – high school kids coming to SF
Last week, we were competing at a Toronto hackathon with a startup idea.

Now we’re flying out to SF to build our startup, backed by the 1517 Fund.

In 60 seconds, this video has everything we want you to know.
Google should use CHERI
This may be a naive question but why not go back to Vernam? Storage is cheap.
> I don't think human readability is a critical feature of JSON at this point. If that's your priority, you can use YAML.

Wow you have kinda lost the plot on a few things.

JSON was designed to be human readable and writable. YAML was designed to be a human readable format for the automated interchange of data between automated systems. Human writability was neither a goal for YAML nor its intended use. Like everyone else on the frakking planet, you’ve misunderstood what YAML was intended and designed for. YAML was never intended for human-written configuration storage, which is what everyone used it for the instant after they became aware of it.

YAML can bite you very hard if you misunderstand it. JSON is simply invalid if you misunderstand it when writing it.

If you don’t need human readability, use a binary format. Binary formats are so freaking fast compared to literally any structured text format, past, present, or future. High speed and low latency matter and binary formats make both of those easier.

If you need to inspect the binary data, write a viewer using the code you use to read it. It’s a lot simpler than people believe it to be. I find Protobuf to be more of a hassle than writing the code myself, and protobuf is very easy to use, and I’m quite a moron. Binary stuff is not hard.
> do we account for velocity in determining whether light traveling at c towards earth will ever reach us?

As far as I know this is not necessary because the speed of light is constant regardless of the velocity of both the source and the observer (this is Einstein's special relativity: https://en.m.wikipedia.org/wiki/Special_relativity)
CPU bugs are extremely rare compared to software bugs. Like, millions to billions of times less likely. CPU bugs are news, software bugs are Tuesday. You might as well argue that a steel box protects its contents no better than a cardboard box because who knows, maybe a meteor will land on the box so steel is no better than cardboard. You can not just dismiss factors of millions on feelings.

Again, you are talking about machine code plus OS ensembles. The machine code can not access a filesystem or files unless the OS allows it just like your Java example. You can pass precisely a file or stream to your program if your OS supports such a notion. Even Linux, as insecure as it is, can express your notion of streams with pipes to input files. The insecurity of machine code on Linux is an artifact of OS design providing things like an innate right for processes to access a file system, not anything to do with the machine code.

Containerisation does not provide a security boundary and is difficult because the OS design and the programs targeting that OS API are not designed to operate in that way. Such a program would not operate correctly in your Java model either because the program only functions when there is a global filesystem conforming to the implicit requirements of the programs. As soon as you modify that program to operate correctly according to your model it then becomes trivial to precisely provide the same dependencies to the machine code variant as long as your OS supports such abstractions.

Every single abstraction you are describing can be expressed as a OS concept at the cost of performance. An argument can be made that the performance impacts are too high, so commercial designs sacrifice protection and that by supporting language-level protections you recover enough performance to enable secure designs. But, in that case you would expect proof-of-concepts demonstrating feasibility and proven protection in the equivalent, but non-performant model, and only then optimizing the performance by leveraging language-level protections. Until that is done there is precisely zero reason to believe any language-level protections are robust.

To say it again, language-level protections are strictly more powerful than OS/machine code level protections. If you can prove them then you can trivially prove any OS level protection by jus allowing less fine separation. If you can not demonstrate weaker results like a unhackable OS design, then you do not have a robust language-level solution. It is like proving P != NP without proving something easier like P != PSPACE.

Language level solutions would be awesome, but they are not a stepping stone to protection, they are the end result once you have already mastered security.
I've always been taught that these are just metaphors and skillful means to relate with concepts that are difficult to grasp at first. My teachers are mainly Vajrayana though, so maybe it depends on lineage.

Also, that excerpt from MN20 is interesting because it reminded me that Thich Nhat Hanh used that as an example of needing multiple sources to get at the meaning of the teachings [1], as it's different in MN36 where the Buddha gives examples of things that ultimately didn't work for him [2]:

> "I thought: 'Suppose that I, clenching my teeth and pressing my tongue against the roof of my mouth, were to beat down, constrain, & crush my mind with my awareness.' So, clenching my teeth and pressing my tongue against the roof of my mouth, I beat down, constrained, & crushed my mind with my awareness. Just as a strong man, seizing a weaker man by the head or the throat or the shoulders, would beat him down, constrain, & crush him, in the same way I beat down, constrained, & crushed my mind with my awareness. As I did so, sweat poured from my armpits. And although tireless persistence was aroused in me, and unmuddled mindfulness established, my body was aroused & uncalm because of the painful exertion. But the painful feeling that arose in this way did not invade my mind or remain.

[1] excerpted here: https://buddhism.stackexchange.com/questions/10712/clenching...

[2] https://www.accesstoinsight.org/tipitaka/mn/mn.036.than.html
https://archive.ph/zIqmm
It's more interesting to see who passed on it. There isn't a single top tier VC here.

This whole pitch sounds like the usual quantum computing babble.
Sure, but I learned about this after primacy bias, and now both effects seem very salient to me. I forget if there were others in between.
US units are fun :)
I thought this would be the same answer as "When an abacus is changed from zero to 99999, does it gain weight?".
Same signs if you are trying to find out if someone is looking for other work.
> been sitting outside my back door for 10 years

I'm thinking you missed that part :-)

He and I talked about it today and it's probably been out there for closer to 12 years.
With even more literal meaning of new.
Sounds like ButterflyLabs.
A closer look at the scientific research surrounding meditation and its effects on the body to gain confidence in the efficacy of meditation as a tool for our wellbeing.
Yes, it is hostile to malicious users, that’s by design and it’s a feature.

That being said, it can be configured that way but (of course, duh) it’s not the default setting.

I’ll stop replying here because this branch of the discussion doesn’t seem to be any constructive on your side (or even conducted in good faith, to be honest)
> don't think that AV stuff would be tested by Speedometer

It probably isn't, but fwiw yes web audio is controlled by JavaScript. Doing it right means using web audio worklets, which is a special purpose JS context that has no access to your main page context.
It does seem to be! Isn't that cool?
Given what Figma is, I believe the phrase comes from 'design crit' which is more established in design circles.
Given that silicon has quite a high refractive index, I do wonder if it would be possible to pull the same trick as the "immersive lithography" people here. But I don't know enough about optics - I wonder if you can get away with a tiny air gap if most of the optical system is from higher refractive index material.
See 'horned' comet 12P/Pons-Brooks in the night sky
The fact that Active Directory is asinine isn't a slight against free software. Pretty much every reason I can imagine a government picking Microsoft has to do with prior contracts and integration.

> You will get locked in to the one/two vendors that can make those free and open document formats and protocols work

You don't seem to understand what the phrase "locked-in" means. A document format that is open and documented is not lock-in at all. It's the opposite - it enables people to create competing and integrated solutions without licensing proprietary software. Better yet, it incentives companies like Microsoft and Google to support something other than their own document format if they want to be competitive. An effective democracy cannot have a government that only supports customers of a product.

"Locked-in" are the poor saps that license Microsoft software to control their battleships, their SAM sites, their CIWS and their TACANs. Nobody is ever going to disrupt their dominance even if Active Directory is the worst option available on the market. The lack of meaningful competition and standardization literally costs lives in some industries. It's why every modernized military is backed by a government that strictly drafts and defines it's demands for competing contractors.
Plenty, yes, but more women than men on average. There's plenty of women who are interested in fiddling with engines and hardware and things that go boom but on average more men than women are interested in such things. This does not sit well with some ideologues who insist that preferences are 100% nurture instead of nature in combination with nurture but that should be their problem, not ours. Unfortunately many of those ideologues have made it to positions in society where they have the power to make their problem ours as well which leads to situations like these.

The solution is clear: get the ideologues out of positions of power and replace them with more level-headed people. Speak up when confronted with or by such ideologues, don't be cowed by the labels they're wont to attach to detractors as they're only words which have been appropriated with their original meaning twisted or lost to suit the ideologue's purposes. The ideologues gain their power from the strength of those words which means that power can be taken away from them as well through the effort of taking back the language they misappropriated.
Almost every model we build of more trivial things based on observation always turns out to be not really right. I cannot imagine why one of the universe that has had multiple version updates in the last 100 years to not also be grossly mistaken. I also don't expect the full model to be simple or beautiful. We may be thinking wishfully based on massive extrapolation and cutting corners to suit our narrow view into the world.
(how) do you (try to) correct for this with interviews?
Diesel car used to cost 12p/mile. EV is 3p/mile. Save approx £90/month.

Diesel bill was £120 month. Electricity has gone up by £30.
Coq (Software)
It works on my brain
Not to be a dick (oh, go on then!):

> but there wouldn't be anything about the fire's phenotype that would help you come to that conclusion

but... but... cloning!

But yes, we could do this all day and still get nowhere. We, collectively, are missing something but I don't know what.
Click the spec link, it shows the same content in a full page.
Ask HN: If you could spend $100k to get healthy and fit, how would you do it?
I’m willing go spend up to $100,000 this coming year in order to:

* Lose 30 pounds
* Eat a strict carnivore / keto diet for a year
* Get stronger
* Be more flexible

I know what you’re thinking: It doesn’t cost much to eat healthy, go for walks, buy some running shoes. But these things never last for me.

I’m 47. Overweight (240lb), and I suffer from chronic digestive issues and inflammation. I’ve tried on and off for years everything under the sun but I just can’t stick with it. I run out of will power.

I’ve spent tens of thousands of dollars to figure out what’s going on with my body and this is what I know:

- I need to eat strictly carnivore (or Keto Low FODMap)
- I need to lose weight.
- I want to get strong.
- I need to stretch.

Whenever I try and do these things myself it works for a few weeks, and then I go back to old habits. I’m done trying the same thing over and over, and then failing. Instead of a stupid cyber truck I want to buy good health.

If you were me, and you could spend 50k to get healthy. How would you overcome these will power issues?

Looking for creative ideas please. I don’t want to die early, and don’t want the diabetes….etc.
that’s coming down the pipeline if I continue this way.

I know you can't buy discipline. But can I kick start it somehow? How would you do it?

I've read all the books, tried all the apps, need something that's a higher level of intervention.

Side note: There might be a startup here. How many millionaires out there are happy to spend 100k for a high-touch, guaranteed upgrade to their health and well being?
Here is the developer doc for it.

https://developer.apple.com/documentation/vision/recognizing...
That's not normal, your AC is broken or has a plug in the drain if it's a window mount unit.

If it's central air, you're just mistaken.
Big fan of kdenlive. I switched to it after one too many openshot bugs.

Admittedly I always want kde apps to be good but in this case it actually is. Openshot was easier to learn though, personally.
"Faster, sure" seems unnecessarily dismissive. That's the whole point of all this work.
I imagine this is going to further the terrible safety culture at Boeing
OP suggested wanting to execute "leftist" "traitor" politicians in another thread, so not sure if interacting with them is worth anyone's time.
The lawmakers say that numerous modems with no known function were uncovered from ship-to-shore (STS) cranes, which are used to unload cargo at the nation’s largest ports.
Do things that aren't Scale (little LLM labeling tool)
we needed to label 50k+ sentences with very bespoke classes. scale's offerings for startups were really bad. after wasting days, we built a little tool for ourselves.

here's a video: https://www.youtube.com/watch?v=F8rjtgUcR9U
> The criticisms basically boils down to one case of mentioning the wrong animal.

As in he confused two different tapirs, or as in he demonstrated a fundamental misunderstanding of basic biology?
The trouble is if you use actual randomness then you lose repeatability which is an incredibly useful property of computers. Have fun debugging that!

What you want is low precision with stochastic rounding. Graphcore's IPUs have that and it's a really great feature. It lets you use really low precision number formats but effectively "dithers" the error. Same thing as dithering images or noise shaping audio.
At the Heart of Brand Experience: The Power of Leitmotiv
I can't imagine the threat model that leads you to trust Google but not Apple, but you do you: Maybe you're a Google hardware engineer and the expensive secret is blueprints for the next generation of Google Glass.
You can turn most issues into powerlaws by recursing a reasonable risk distribution over it.

So suppose we ask, what is our confidence in X? (rather than X); and then, what is our confidence in the model by which we give confidences in X (ie., the model risk); and so on...

In practice, what we want to model is the appropriate confidence, not an actual prediction (bunk). So we are very often screwed.

Statistics is an illusion.
Likert scales have their own problems.
Was it multiple shots?
Most of us think that way when we're young and/or have nothing.

As you get older, build up assets, have a family, etc, you then realise that you have a choice: pass on what you have built to your wife, children, nephews, friends, etc or let the government have it all when it passes to 'general revenue'.

Now that's your choice, pass it on to loved ones, or throw it away. Most of us would rather it went to the Retired Pussycats Home than let the government get its dirty hands on it.

Without your Will, the government can take the lot. (That rarely happens, but it's a good possibility. You know: Admin Fees, Storage Fees, Consultants Fees, Legal Fees, Fees for this, Fees for that. Amazing how quickly all those little fees can add up.)
You're right: the "more distant galaxies are moving away faster" point is just Hubble's original observation of an expanding universe. It's not an argument for cosmic acceleration. (If you see people making that claim, they're probably either speaking carelessly or not experts themselves.)

The conclusion that the expansion is accelerating was a quite recent result: 1990s, I believe. It's based on careful measurements of supernova explosions of a type with computable intrinsic brightness in increasingly distant galaxies, and the exact pattern seen in their apparent redshifts vs. apparent brightness. It was a shocking discovery when it came out, with two separate teams announcing the result pretty much neck and neck. There's also independent and compatible evidence for acceleration from the exact pattern of variations in the temperature of the cosmic microwave background seen at different points in the sky.
CompCert – The CompCert C Compiler
That seems really late.
https://news.ycombinator.com/item?id=25678886
Congress probe finds communications gear in Chinese cranes, raising spy concerns
Movies aren’t real dude.
I agree. There are other types of AIs with different applications that do not need to be trained on the internet. The examples you have given however, are examples where the deep nets are extremely data hungry.

Take computer vision for example - a "hello world" version of object recognition would use ImageNet, which is 14 million hand annotated images. Or Cifar10 which is 80 million images. That of course but sets the stage for training data differentiation. Google's image recognition algorithm is far superior to other search engines'. Why? Because of Google's data set.

Any Tom Dick and Harry can go create their own image recognition AI and train it based on all the public datasets (COCO, CIFAR, ImageNet) but that's considered pretty baseline nowadays. The differentiator is what _other_ datasets you have.

Different datasets yield different results. It doesn't matter the network. More data is better (usually).