skysight-inc/HackerNews huggingface dataset:
Correct. Veritasium actually did a video on exactly this set of items last year[0]. The tl;dr is that NIST has a large collection of items which are rigorously produced and tested, with detailed documentation about their composition and test results, which allows companies to test their own products to very specific standards.

For instance, peanut butter has aflatoxins -- known carcinogens. NIST's standard peanut butter has known levels of aflatoxins. By purchasing this peanut butter and testing it on your own peanut-butter-aflatoxin-sensing machine, you can calibrate your machine to detect aflatoxins in peanut butter to a reasonably high precision.

0. https://www.youtube.com/watch?v=esQyYGezS7c
Ask HN: Local LLM Recommendation?
I'm fairly new to the LLM landscape, so I'm asking for help in finding a suitable solution for my requirements.

For my work (software engineer) I usually take a fairly big amount of markdown notes as a braindump (and not particularly well organised).

I wanted to ask what are my options for a LLM that could be trained with my personal notes and provide answers to prompts in order to organise the ideas and information. Some examples would be:

- What is the deadline for X
- Give me all the tasks that mention Y and have a due date of Z
- Create an agenda for a meeting on A

etc..

Powerful reasoning is not essential (if that's the correct terminology), the focus would be on correctly identifying topics (in the above example).

Some additionalt requirements are:

- This would run on a commodity Linux machine, but with relatively modern specs (64Gb RAM, i7 Raptor Lake, but fairly average/low-end GPU)
- I would need this to run in "air gapped" way. i.e. no outside transfer of information, since I might use data I don't want to share (even unknowingly)

Thank you
Grammar/style check and Markdown linter for code documentation in Neovim
Swarming, swirling and stasis in sequestered bristle-bots
Not just aud, but also issuer and you should check it was signed by a proper certificate no?

https://learn.microsoft.com/en-us/entra/identity-platform/ac...
If we create 1-dimensional memory we could radiate heat to 2 dimensions.
Technically true, but sometimes you want parent pointers. You then have a more general graph in the underlying representation, but it still represents a tree structure.
The study shows "how the behavioural repertoire of these physically interacting automatons controlled by one parameter translates into the mechanical intelligence of swarms."
> Every interaction in a livewire type system requires a round trip

You’re wrong on this. You’d use Alpine and do the interactivity client side.
If you don’t miss use the tool, Livewire is supposed to reach to the server in the same situations an SPA would reach to the server (updating or refreshing server state)
For best filtering, place the filter so air is “sucked” through by the fan, rather than “pushed”.

(Quite possibly what you meant; I just found “in front of” easy to interpret in either way)
Wall Street Embraces AI Despite Risks of Catastrophe
My brother dropped his iPhone during a powder snow traversal down the back of the mountain to a hut.

We found it accidentally during a hike in the summer, when the snow was gone.

Always be prepared to lose everything.
> They cannot just inject "bits and pieces of newer information" to the old models as far as I know

isn't this what fine tuning is?
That doesn’t follow. Any product that auto updates in a way that changes the UI (I.e. nearly every smart TV) is absolute dog shit to support. All hand written notes and knowing what’s going on over the phone go out the window when an update pushes an ad for a TV show they like on some new app.
Apple let's you build products for the Find My network.
See caseysoftware's reply: https://news.ycombinator.com/item?id=38022536

The access token usually has an `aud` field that says for whom it is.

I'm not familiar with Gitea's implementation, but reading your link, it would seem that it acts as an oauth2 provider so that 3rd parties can access Gitea, not some other random app.

> Gitea supports acting as an OAuth2 provider to allow third party applications to access its resources with the user's consent.
Layoffs, they let go of around 20 something percent of their people.
As someone firmly on the Palestinians side, I don't think Israel has the goal of killing civilians. It does have- partly officially, partly unofficially- the long term goal of conquering all of Palestine without its Palestinian population.

Constant low grade violence with some flare-ups in which thousands (not millions) are killed is considered an acceptable means to that end.
Inverter and no turning table is a common in Japanese microwave market. I think these are obvious improvement over basic one. My third preference is to have infrared temp sensor, but it's still not so common except highends. Panasonic tend to have it.
simple C compiler, not gcc and its languages.

Did you try to compile mame with cproc/qbe, simple-cc/qbe or even tcc?
Is this a text encoder model, BERT style?
It was still sealed. It was probably on Facebook marketplace.
I'm guessing that training an LLM to recognize LLM output should be an easy task.
Well the other day on this very website there were some very opinionated voices stating that Open Source is “exclusively what OSI defines”. I am not on that camp, more like in yours. To me there’s open source and OSI-approved open source. But you will encounter people very set on that other opinion, which I found interesting.

Make no mistake, I am super grateful to OSI for their efforts and most of my code out there uses one of their licenses. I just think they are limited by the circumstances. Some things I consider open are not conforming to their licenses and, like here, some things that conform might not be really open.
UAP Extreme Acceleration Behaviour as Motivation for Backreaction Universality
Doubly-linked list is something you have almost no reason to ever write.

Parent field is something where you have a clear hierarchy (it's not really “cyclic”, so it's the perfect use-case for weak references).

When coming from a managed-memory language, this obviously requires some conceptual effort to understand why this is a problem at all and how to deal with it, but when compared to C or C++, the situation is much better in Rust.
> vigorously defending online speech and more aggressively policing content on the platform

It goes beyond content moderation. Please remember the root cause of failure: fraudulent bots to push lies.

More fake humans exist on Facebook than real. 12.3 billion fake Facebook profiles have been removed in two years (2021-2022). See statistics from quaterly Facebook reports [1].
That puts the "largest population on earth" Zuck quotes in another light.
[1] https://www.statista.com/statistics/1013474/facebook-fake-ac...
I wonder how the perfomance fair when context size is increased. Intuitively this should be higher, but some quantized models I've tested showed noticeably worst performance.
So just to be super clear, this is an embedding model. It generates no text. It’s not outputting words.

Maybe I am assuming incorrectly, but I think the poor performance you are referring to is the old Ada completion model, where the output is text. That was poor indeed.
> decompilers ... converge to a fixed point

but why would you assume that the decompiler is not backdoored? It would know to remove the backdoor code, so the fixpoint is not going to show anything.
No, 1/5 of Rust code contains unsafe directly. Also, "the" point (in the area of safe/unsafe) is to manage unsafety and provide safe abstractions from unsafe foundations. If you go deep enough there's always something which will be unsafe (the type system would have to able to proof the whole universe otherwise), but most programmers will not have to write such code themselves (no, most of use do not write double-linked lists each day) - they can just use it (e.g. by using the standard library). And if they have to write unsafe code the unsafe parts are restricted to certain areas of their code. Areas they can then invest extra time and care to make certain their assumptions hold true.
I know my way around docker and nginx and a lot of my code has been running online for years.

I have never used the platforms you mention because the employers that used them had an existing deployment infrastructure when I joined.

That also applies to a lot of tools. By the time I showed up a lot of complex tasks had become a two word command. I could focus on writing code because other people had already worked on the developer experience.
Rustc is so good I learnt a lot about the language by just reading errors.
> the training cutoff date isn't some absolute date from which they never allowed any new data to be trained on.

It's not a question of whether they are "allowed" to train on new data; the question is whether they have trained it on data containing information about current events. If you know they've implemented a Continuous Integration (CI) system for this, you should link to a source. However, I don't think this is true, as there would be no reason for a cutoff date otherwise.

> Instead there are bits and pieces of newer information captured in the updated models, but it's not a meaningful enough amount to ever rely on.

This seems more like an opinion of the technology's limitations in general, rather than an assessment of the likelihood that new information will be incorporated into its weights and biases.
If you’d like to help build a TS integration, welcome! What’s the MRR of your company? Did you found it or are you an employee? Any specific tips on how TS projects can significantly improve either revenue acquisition or retention over JS projects?
When writing in loosely typed languages, some folks aim for 100% line coverage, to make it more feasible to refactor down the line. Which then of course ends up being a lot of tests for fairly basic stuff that the type system could help you with...
Naivety is an aspect of economics when the globalization/dropshipping dynamics comes at play. For a lot of Western brands it's cash in, cash out, just some worries about sales-related personnel and maybe (not in this domain) some R&D.
Unless you want to treat stories like Amazon and its sellers or rise of brands like Xiaomi/Mi as a cost optimization, in that case you're right that naivety goes entirely out of the field of view.
They are both great, so I keep using both. There is a lot of overlap in terms of what they can do but they each have unique capabilities that the other can't do.

I don't personally know all the differences. But for instance I use BTT to program my stream deck, while I use KM for my clipboard history because the built in GUI is polished.
I'm not sure if this was posted in genuine support or to mock it, but as an outsider to the "Freedom Movement" aka anti-vaxxers, it's a strange and compelling read.

He's a proudly Zionist, Jewish, right-wing anti-vaxxer who seems somewhat surprised to find out that the people he has been working with to blame every bad thing on Globalists and George Soros are in fact anti-Semites.

He doesn't really want to call anyone "anti-Semites" because that's something the left does to shut down debate but he now has some of his anti-vax allies in his twitter replies claiming the recent Hamas attack didn't actually happen.

Humans are fascinating.
But this seems to require access to a different oauth token already, ie the victim could have had their tokens from other websites leaked.
Yes, but reproducible builds allow anyone to rebuild the code and verify that the compiled binary release corresponds to the upstream source code.

Without deterministic builds, it's possible for the attacker to switch the compiled binary release and sign it with a stolen key with nobody noticing.
No, it's the open source SPL above

This is where SPL comes from. Its theoretical basis is no longer the relational algebra, but something called discrete dataset. The formal language designed based on this new algebra is named SPL (structured process language).

Innovations against the shortcomings of SQL have been made to SPL (more precisely, innovations against various deficiencies of relational algebra have been made to the discrete dataset). SPL redefines and extends many operations of structured data, specifically, it adds the discreteness, enhances ordered computation, implements a thorough set orientation, supports object references, and advocates stepwise operation.
People should specify which version of GPT they are using.
I think people are so conditioned to the modern lack of customer support from companies (or the strict adherence to "policy) that simple things like this are overlooked. Literally just asking them to plug it in before you buy it... is forgotten by most people. If it's not a secice written on a sign then it's must be impossible right?
This is not the right mental model because:

- software is copyable for free

- contributing to open source doesn’t make the developers your agents like paying a lawyer does
PDE5 inhibitors like Viagra and Cialis have been demonstrated to improve endothelial and nerve function by improving blood supply, leading to local release of growth factors - in humans, some of the erectile function improvement is permanent, and moise models of diabetic neuropathy demonstrate lasting nerve function improvements.

They improve cerebrovascular bloodflow as well, iirc.
Indeed.

In my case, I was initially confused by the fact that in most examples (specifically for Azure AD, which is what I've used), they give you an access token for another app, here MS Graph API. It specifically says you're not supposed to read that access token, so you can't validate it. You should use the ID token instead (which can be validated), but in the default configuration, the ID token doesn't carry much information, so you need to call the `userinfo` endpoint with said opaque access token.
That would be a novel.
It's not an extraordinary claim at all. They're just training the model on recent data. What reason do you have to believe that the model somehow learns significantly worse than it did during the original training run?
Even if you use VS Code, learning and using VIM bindings can make much much faster and reduce risks of and even help existing repetitive stress injuries.

(Speaking from personal experience)
this implies that at some point NTP won't be implemented anywhere because the fresh sets of young developers are too delicate to handle the problems of various older technologies that everything depends on?
Perhaps one more thing that is missing in context is that I'm also getting the right to alter that beer by adding anything I like to it and redistributing it, without knowing its true recipe.
I do not remember them delve into whether it is “real” or “imaginary”. Even in the “MLM-ish” bit here: https://remspace.net/education/open-your-branch/:

“
– A neutral stance regarding theories on the nature of the phase: your task is to teach people how to enter the phase – not to explain what it is
– You should link to the School and indicate your affiliation with it
– Follow the general educational principles laid out in our instructions
“

They just describe it, how to get into that state, and share the observation that a lot of paranormal events can be explained by being in this state, based on their observations.

This is one of the parts that causes me cognitive dissonance with the whole thing - it has a distinct cultish smell to it, but looks science-y enough and enough info in the open to pique the curiosity :-)
The Human Virtual Machine License is missing?
Basically, any instance of the license coming to effect (a execution) would try to use the license taker to execute a behaviour program and ammend his suggestions to the license.
The one i saw in the wild tried to make me steal paperclips, for whatever reason.
I tried something similar for my elderly grandmother who's suffering with dementia. TV's the only thing that gives her joy these days but she struggles.

I wanted something like reminders and information to show on the screen next to the TV program and used a HDMI capture card along with a Raspberry Pi to essentially add an overlay to the screen but it was too finicky and the pi would often lock up (its nowhere near powerful enough).

Ideally it needs a passthrough system that can resize the source input down a bit to fit a scrolling banner at the bottom and a sidebar that family members can remotely push messages to, or have scheduled reminders with a voice over.

Common things we found needed reminders were things like remembering to drink, a reminder of someone coming round, reminders to go to bed, shower, clean your teeth, etc.

I dont think anything interactive would be a good idea in this situation. The worst thing you can do with dementia patients is introduce something new to learn so it would need to be as frictionless as possible.
Cassandrs is nosql, so I'm not sure how it can be a version of a serverless postgres provider.
He's been very thoughtful about pretty much everything, so maybe nothing at all
I haven't worked with a huge amount of people, but about half of the devs I have worked with would be hard pressed to deploy an entire stack by themselves without a few weeks of study or some hand holding. Granted it's complex enough that doing so to enterprise standards is an entire career path right now.
Check out nushell, the Rust of the shells.

I know it’s still not 1.0. Then just get fish. At least would save some keystrokes.
Agreed. I feel C# is appropriately rated on HN and other programming forums. It has perfomant memory options that other GC languages lack, and great builtin packages to use. Overall, it is a good language.

My biggest issue with C# though is how badly exceptions are handled given that it is a statically typed langauge. I wish functions explicitly defined the exceptions it can throw since a minor package bump could add an exception without your compiler warning you that it isn't handled. I much prefer Rust, Go and Zig's error handling to C#'s since those kind of issues don't happen.
For a vast majority of programmers today, CLI editors are not "the standard". Sorry, they're just not. The world has moved on.
Async in traits feature doesn’t use boxing (which is coming in 28 December), only async-trait crate use boxing.
I keep coming back to this table and wondering why the conclusion was that 16-bit instructions were necessary and not more complex 32-bit instructions were necessary. For example, ARMv8's LDR and LDP instructions are amazing and turn what is often 3-4+ 32-bit RISC-V instructions into just one 32-bit instruction. Making C optional and building a new "code size reduction" extension that is more suitable for large application processors (which can reasonably be assumed to use uops) would help so much more.
Developers clearly don't need Jetbrains in order to work. Millions and millions work every day without it.
I'm actually mostly in your camp here. But it's complicated with AI.

What if someone gave you a binary and the source code, but not a compiler? Maybe not even a language spec?

Or what if they gave you a binary and the source code and a fully documented language spec, and both of 'em all the way down to the compiler? BUT it only runs on special proprietary silicon? Or maybe even the silicon is fully documented, but producing that silicon is effectively out of reach to all but F100 companies?

It's turtles all the way down...
You can pass in any command line arguments you like, so it must be open source
Swindon, UK would like to remind the World that recursive roundabouts are a thing too.

https://i.imgur.com/4pMhdMl.gif
> There were enough passers-by with iOS devices that Find My worked as hoped

I'm not sure I understand why you would need nearby devices to locate your phone. The phone itself already had GPS and a network connection, right?
Do you have a link to those numbers? Here in Denmark it is the opposite.
The Book of Hallowe'en is a light treatment, but it was sort of a landmark in trying to be careful with the history.

If you are interested in the development of holiday traditions, Halloween in North America is a really interesting case because it went through drastic evolution from about the 1860s through 1970s -- harvest festival, cute children's parties, violent youth mobs, highly monitored parties, commercialization, adult-oriented horror.

If you want to read in detail, I'd start with Lisa Morton's books, Trick or Treat: A History of Halloween (2019) and The Halloween Encyclopedia 2e (2011).
We have just launched and looking to get some feedback on a MVP I’ve built with a group of friends.

Vest is a platform that provides buy/sell/hold signals for stocks as well as related due-diligence tools. Our goal is to make it easier for people to pick the right stocks to invest in.

To evaluate “how good” our price signals are, we compare the result of trading on our signals to the S&P500 index over the previous 12 month period. So far trading off our signals performs a fair bit better!
' Do Things That Don't Scale' is a good approach when you have very few customers, but you have to start investing time in stopping it once you reach a large number.

What is manageable when you've got 5 employees and 1 customer isn't manageable when you've got 10 employees and 10 customers, because that support load is inevitably becoming more and more of each person's day.
Microsoft Word Turns 40
Has Netgate provided any meaningful new features to pfsense over the last 5-10 years? Or is it just “support” for essentially what pfsense was a decade ago?
would this be "pydantic-for-javascript" ?
Back when i was still drinking Starbucks’ coffee i always had to ask for not too hot or to pour some cold milk on top. I dont understand their fixation with lava hot drinks. Perhaps to kill off any bacteria and viruses that may be lingering in their cups? Because it certainly doesnt taste good when it’s as hot as not to be able to drink it.
> is there not an intended replacement for these data structures? Or do they expect it all to go under Unsafe?

For linked-lists, there's one in std and the majority of people should never have to write their own as it's error prone and requires unsafe.

For graph use-case then you can either use ECS, arena, ref counting or unsafe, but you're probably better off using/developing a dedicated crate that optimizes it and abstract it away behind an easy to use (and safe) interface.
Especially that not many roundabouts have zebra crossing for the pedestrians in the UK.
How long was the commute from office to home? Depending on this you still had risks of phone working while at the office, power out when back home, no?
> I came, hold the menu button for 3 seconds and then it worked again.

And where did we ever get "really long press" as an user interface concept? Maybe for maintenance functions on things with one button, but on something with multiple controls?
I'm glad to see there's a wide range of opinions here.

I'm not too concerned with performance or safety (since my code hasn't been seen very often).

I use rust just because it has a lot of "libraries that help me develop".

While other language libraries have a poor search experience and ranking system, Rust has a great library search system.

I use it because I don't have to read blog posts like C/C++ or java to find libraries that help me develop, or wade through unnecessary libraries like C# or go, I can use the rankings, and it has a good documentation system.
https://www.fleeteurope.com/en/new-energies/europe/features/....

> Since 2018, a temporary derogation by the European Commission has allowed EU Member States to give a dispensation to drivers with a B licence that allows them to drive a vehicle of up to 4.25 tonnes, so long as it is powered by batteries or hydrogen fuel cells.
This is an incredibly dishonest framing. I learned enough about vim to get around in it in a single sitting. In fact, learning to use an IDE has taken more time in many cases.
...the Internet was also a military project, turns out it also has a little appeal for the civilians.