skysight-inc/HackerNews huggingface dataset:
> Now they have an online verification process before handing you the ballot papers

How can a voting observer ensure that double voting is actually blocked by this system? Government can whitelist people 10x-voting the right way (real case from Russia).

Issuing 10 passeports to these people is orders of magnitude harder to scale and will have negative consequences (fraud elsewhere) a government is typically less willing to take.
And how do I know you think?
I have a non-commercial license that I use personally. The appeal of mathematica is that it has a library already built into it for just about everything which lets you quickly prototype and reason about fairly complex cross domain problems and then easily visualize them.

Mathematica unfortunately has a lot of warts and rough edges clustered in specific fields (low level cryptography and binary manipulation heavy algorithms) which makes working with it a pain in the ass if you touch those fields regularly but outside of those specific fields it's fantastic.

And I can claim praise doubly so if you get the System Modeler/Modelica license as well. With those two together you can model a project using analog circuits, digital circuits, software running on hardware/RTOS, pneumatics, hydraulics, CFD, multibody physics, etc all running in a unified environment. And then of course from a high level you can tune parameters that drive all the parts of your model and test out swapping in different parts or running under different conditions.

You can do all the stuff that Mathematica and System Modeler are good for with other software packages cobbled together but that takes a lot more time to do and the integrations tend to not be nearly as clean. The only other product package on the market that compares would be MathWork's MATLAB + Simulink. The main difference being that Mathwork's products are more comprehensive in what all they cover but they tend to be less pleasant to work with.
ACDSee - wow, it's been a while since I saw this name!

For the not familiar: it's been one of better photo viewer apps on Windows in early 2000s. At some point I learnt about IrfanView though and moved to it. (And then moved to MacOS).

https://en.m.wikipedia.org/wiki/ACDSee
Just been dabbling with local models, and while the several models I've tried generates decent sentences while quantized, they suffered heavily in following instructions and picking up details.

So a larger model but fairly aggressively quantized could perform worse than a smaller variant of the model with just light quantization, even though the larger still used more memory in total.

I guess some of this is due to the models not being trained to the quantization levels I used. In any case, I say don't get blended by parameter count alone, compare performances.
Unfortunately /run/user/$UID/ is NOT universally available.

On Linux it's typically created by a PAM, so if you're not using PAM then it doesn't exist. This means that on Kubernetes pods/containers... it doesn't exist!

Yes, /tmp/ is a security nightmare on multi-user systems, but those are a rarity nowadays.

Lots of things want to write things into /tmp, like Kerberos, but not only. I recently implemented a token file-based cache for JWT that... is a lot like a Kerberos ticket cache. I needed it because the tokens all have specific aud (audience) values. Now where to keep that cache?? The only reasonable place turned out to be /tmp/ precisely because /run/user/$UID/ is not universally available, not even on Linux.
Former Intel board members call for Intel breakup
U=I bought more or less every book on this.

https://meded.ucsf.edu/sites/meded.ucsf.edu/files/inline-fil...

Start with Anatomy.

Start with a problem you HAve personally. And understand the anatomy and physiology. Use that to learn every abstraction you bump into. Example you'll definitely need to learn about the skin for example

Also go to uptodate.com for your condition. Thats basically what a doc uses anyways.

For inspiration go to r/medicalschool .

Constantly use
Should we legally call image editing software "bag of assorted image processing algorithms"?
It's because people ended up with models that were thousands of lines and difficult to reason about. Out of curiosity, did you end up running into this issue and how did you deal with it?
there's a somewhat popular repo for Tridactyl Emacs bindings here https://github.com/jumper047/tridactyl_emacs_config
OpenAIs o1 isnt really going that far though. Its definitelly better in some areas, but not overall better.

Im wondering if we can abstract chain of thought further down into the computation levels to replace a lot of matrix multiply. Like smaller transformers with less parameters and more selection of which transformer to use through search.
https://archive.ph/Oy0NY
Paul Tudor Jones: we are in a economic kayfabe and it's not just US [video]
nVidia tried to pull this stunt with the YouTube channel Hardware Unboxed. They weren't singing the praises of RTX and DLSS loud enough for nVidia and were threatened with having review samples withheld until they changed their tune.
And this is why you need to study Medicine!

https://meded.ucsf.edu/sites/meded.ucsf.edu/files/inline-fil...
Transformers.js 3.0 Released with WebGPU Support
I simply have to press stop and start (which you can do many different ways) and the stream will switch.

Pretty fancy I know.
Next js gets so much hate on HN. In my experience, it's been great. It's kind of like Apple in that, if you buy into the ecosystem, you unlock great benefits. Fwiw we're running on cloudflare at my work and it's been one of the most enjoyable DX I've had in a long time. RTFM and you'll be fine. Listen to conference talks and you'll understand why some of the 'weird' decisions were made - they might not even seem so weird anymore.
*unfazed
What are these projects missing that you feel there’s a “major gap” in the web framework space?

rocket.rs, actix, axum, warp, gotham, ruille
This doesn't help when every useless chinese widget on Amazon with a RNG created brand name has literally thousands or even tens of thousands of fake reviews. Yeah like 10,000+ were so enamored with this {insert useless item here} that they felt compelled to leave a 5 star review. Amazon has totally sold out like eBay. I don't shop on either anymore because it's hard to find real brands and feedback and reviews are fake. Not to mention the blatant fakes of major products ...
It's literally just adding one extra entry to a configuration file.
This is also part of my point, e.g. having learned Italian for years was exhausting and mostly pointless when I did it, and nowadays I can somewhat understand it whenever I am in Italy, which is maybe every two years. Was that worth it for the level of skill I gained: probably not.

But I wouldn't be able to tell if some of the mental agility I have today (beyond languages) could be attributed to the fact that I was exposed to this language which differs from my first languages in multiple ways. The lessons you may take away from any given subject is not necessarily limited to its raw content.

This is a quite known topic in educational sciences, e.g. when answering the question why it still makes sense to teach kids how to do maths without a calculator in an age where you have it always in your pocket — that is because it (A) forms an intuition about mathematical correctness and (B) logical and numerical thinking gets trained as an side effect.

Ofc all of that doesn't happen when you are unlucky enough to have had bad teachers, but that wasn't the argument.
Love to see a project that uses bog standard ML techniques and doesn't call them AI. Respect.
If the product is fake too, does a fake review count?
I agree, once you detect that malaria is present, you can interrupt the cycle by treating wetlands in the area to kill mosquitos. These efforts are crazy expensive, but then again, so are the health care costs related to treating the disease. In the USA they use a ton of different methods to accomplish this, with and without pesticides. But it's really expensive.
How can you enforce people giving fake reviews for things they bought? Bring the review police? How can you prove they're given free products to review them positively? Don't get me wrong, I wish online reviews weren't utterly broken but it seems like business wants it this way. I certainly hope this will get fixed and not jump to the next loophole.
Lately I've been following https://loco.rs/ as it aims for a rails-like experience, complete with generators for workers, controllers, etc. I've only had time to experiment but it's the closest I've gotten to feeling rails-y in rust.
Netflix Backs Out of Plan to Develop Blockbuster Videogame
> My only trouble with the memory feature is it remembers things that aren't important, like "user is trying to write an async function"

This wasn't a problem until a week or two ago in my case, but lately it feels like it's become much more aggressive in trying to remember everything as long-term defining features. (It's also annoying on the UI side that it tells you "Memory updated", but if you click through and go to the list of memories it has, the one it just told you it stored doesn't appear there! So you can't delete it right away when it makes a mistake, it seems to take at least a few minutes until that part of the UI gets updated.)
I agree with this sentiment and would remind everyone that LLMs are probabilistic models. Anything that isn't in the training data set will not be produced as an output. If you squint really hard, you could kinda say an LLM is just a fancy compression/decompression scheme.

That said, in addition to anthropomorphizing something that sounds like a person, I think a fascinating thing about these discussions are the variety of unstated opinions on what reasoning, thought, or awareness is. This whole topic would be a lot simpler to classify if we had a better understanding of how _we_ are able to reason, think, and be aware to the level of understanding we have of the math behind an LLM.
Can we stop with these useless strawberry examples?
Thank you, I just followed these [1] instructions and couldn't be happier getting rid of the snap!!! Before upgrading I was running a binary release from firefox, but running mozilla apt repo is much preferred!

[1] - https://support.mozilla.org/en-US/kb/install-firefox-linux
> However if some party control a part of the voting system, they can do whatever they want in several ways. For example vote with the ballots of people that didn't go to vote.

They did that in my country at scale. Physical presence is a must-have if you ask me.
The right answer is to use /run/user/${UID}/. Unfortunately that's not universally available, not even on Linux. If you don't use PAM in the process of starting the user processes in question, then you won't have /run/user/${UID}/. That's because on Linux /run/user/${UID}/ is made by a PAM. Kubernetes does not use PAM, naturally, so you don't get this on Kubernetes.

This is supremely annoying. /run/user/${UID}/ needs to exist universally. Ugh.
> Yes. Which is why, even in the 1960s, even in Louisiana, state courts struck these tests down.

I'm pretty sure the reason why, "even in the 1960s, even in Louisiana", state courts struck the tests down is that such tests categorically were ruled unconstitutional by the US Supreme Court in 1949, not because of the particular unfairness of particular tests as viewed by the state courts in the 1960s.
Author here. I don't know why this showed up on HN, but I can answer any questions...
I know, but similar updates to Copilot would probably take over a year and they designed it in a way that we got the update now without having to reinstall it.
It's bad at directly working on classical computer problems like math and data processing. But you can do it indirectly by having it write a program that produces the correct result. Interestingly, I didn't even have to have it run the program, although usually you would

write a tool which counts the number of w's in "strawberry" and return the result

Which produced:

Here's a simple Python function that counts the number of 'w's in the word "strawberry" and returns the result:

```python
def count_w_in_strawberry():
word = "strawberry"
count = word.count('w')
return count

# Call the function and print the result
result = count_w_in_strawberry()
print(f"The number of 'w's in 'strawberry' is: {result}")
```

This tool does the following:

1. We define a function called `count_w_in_strawberry()`.
2. Inside the function, we assign the word "strawberry" to a variable called `word`.
3. We use the `count()` method on the `word` string to count the occurrences of 'w'.
4. The function returns the count.
5. Outside the function, we call `count_w_in_strawberry()` and store the result in the `result` variable.
6. Finally, we print the result.

When you run this code, it will output:

```
The number of 'w's in 'strawberry' is: 1
```

This tool correctly identifies that there is one 'w' in the word "strawberry".
That’s a stretch. But things like this only create a false illusion of safety/honesty which can actually be a tailwind for dishonesty.
In the middle of a conflict?
It's very much in the "worse is better" camp.
Are you sure you do? You're just responding to a block of text on an internet forum with trivial signup flow, known to be populated by bots of greater or less sophistication, as everywhere else on the internet.
We don't! We've gotten into philosophy, which is always a blast to ponder over. Aside from measuring brain activity and making observations, all we really know is that awareness seems to be an emergent property of our biology.

That said, we _do_ know how probabilistic models work and we do know that a calculator doesn't think or have awareness in the way we consider ourselves to.
If the network is connected, the first time you vote succeeds and marks you as having voted; subsequent attempts fail because they know you've already voted.

If the network is not connected, your three remote ballots go into envelopes marked "dh2022" and in the week following the election they are physically transported to your home polling location, at which point they see that you tried to vote three times, set those ballots aside, and call the police.
right, the test exists as the last unbeatable line of defense, not the first.
Indeed, the Fibonacci sequence is in the original benchmark and Fib(15) is not benchmarking big integer performance. It should have the same characteristics as the always-zero function.
Svelte 5 runes are Svelte-specific syntax for the generic idea of JS signals such as found in SolidJS. Svelte runes are effectively compiler keywords.

Broadly speaking, runes are aiming to be higher level (e.g. pretty syntax to help developers declare state) whereas signals are lower level (e.g. how internal implement state dependencies).

Svelte runes, as a concept, are somewhat contentious among some developers. This is because runes make Svelte feel more like React or Vue, yet feel less simple. My opinion is that runes are a good/necessary step for building larger apps, even though it makes it a bit harder for novices.
Could be just additional post-training (aka finetuning) for coding/etc.
It's important to remember that these upscalers will hallucinate new content. Especially when law enforcement tries to use these to find suspects from blurry photos. See this example from the lower left of their front-page demo where it adds a person to the boat: https://imgur.com/a/Vo3zlO3
So you must create an account - I logged in with Google account. Then you are “offered” $7.99 a month or $18.99 a month with a starter discount. They refer to hundreds of listings a month and say they will be “like” the ten on display. But you can’t see the samples until you pay. At this point I backed out and cleared my browser. I don’t see how this is really any better than GoDaddy.
Back at its peak, Google felt almost like some Utopian movement. "I work for Google" was the biggest brag, and almost everyone taking an undergraduate computing course would dream of landing a position there after graduating. It branded itself as wanting to give tech to the people; it wasn't closed off and corporate like Microsoft. It was big and powerful but it was on your side. The people who worked there got to choose their own hours and take naps on bean bags. And they gave the impression they were fine taking big, long-term bets on the future. Sure, a lot of that had a dark side (choose your own hours often leads to people just working more...) and was good marketing, but it was reflected in some of their products. They used to have internal rules and guidelines towards good design. The Google search was fast, uncluttered, gave you just the right amount of information, ordered well, and never broke that flow for a buck. The bucks were made but always in a way that didn't intrude on your experience. That's just not the case anymore.

I remember they used to have a rule that if you loaded a Google page, there should be no subsequent movement of items on the page. E.g., you should never load a page and move your mouse to a button only for an ad/vision/whatever to load, expand, and push that button away. It's small, but it says something about the way the company works. Most websites do stuff like that because a slow-loading ad must be loaded regardless of what you want because the ad is the business. "Oh, the text you read suddenly flew away out of view? What do I care? I'm here to make money; now watch the ad and then go back to whatever you were doing". For a time, Google gave this impression it wouldn't bother with those cheap tricks. Then one day I went to Google, and everything jumped around as some ads loaded, and I knew the heyday was gone.

Now Google feels like the opposite of what it was going for. Closed off, secretive, chasing easy, cheap money through tricks, shutting down anything and everything long-term because long-term isn't next quarter, and that's all that matters. People want to work there, but only because they pay, not because they believe they do good. It makes me sad in a way because the Google people wanted Google to be felt somewhat possible, but maybe it's just not. The shit finds a way of leaking in and taking over eventually.
See https://github.com/OpenAdaptAI/OpenAdapt for an open source alternative that includes operating system accessibility API data and DOM information (along with bitmaps) where available.

We are also planning on extracting runtime information using COM/AppleScript: https://github.com/OpenAdaptAI/OpenAdapt/issues/873
Since this struck a note - you can find UCSFs list of textbooks here: https://meded.ucsf.edu/sites/meded.ucsf.edu/files/inline-fil...

Start with Anatomy. And the basic anatomical form.

Start with a problem you personally have. (Go to a doc if its serious!)

Figure out your concentric anaotmy of hte issue, the pathology. Everytime you read a textbook it will push you to a new subject.

Do this for at least 5 hours and you'll be able to relate to your doctor much better.

If you want to know what a dcotor looks at for decision support - you can go to uptodate.com - I think they have a free trial for 3 days or something.

The most essential idea is that a doctor is someone whose model of hte human body is much more realistic than yours.

Thus as you learn medicine keep improving the model you have of your own body and how someone elses would be different from yours - for all major body systems - lymph, respiratory, nervous, endocrine , muscular, digestive, integumentary, urinay, excretory, circulatory etc.
Apps are built for people rather than computers.
You can call it reasoning if you like, but what is going on underneath is clearly not the same process that humans use. Both can produce a useful answer, to be sure.

Its also not a great example of reasoning, as it is so simple. It's matching the context to an answer in some high dimensional space. But there is no real deduction or inference going on, where new ideas are derived from the proposition.
The formation is 7000 feet below the surface, if I understand correctly, so I don't think there would be any communication of its brine with potable groundwater.
Not a game about Blockbuster Video, which is what I'd assumed.
These rules and regulations have been in the works for some time, so I don't know where you're getting that.
I suppose business customers are savvy and will do enough research to find the best cost-performance LLM. Whereas consumers are more brand and habit oriented.

I do find myself running into Claude limits with moderate use. It's been so helpful, saving me hours of debugging some errors w/ OSS products. Totally worth $20/mo.
> It's just a way to get a seat at the negotiation table.

It's not needed at all. Valid prior art is a defense to patent infringement because it outright invalidates their patent. Full stop. That's the best leverage out there. It's better than being able to prove non-infringement, because the patent remains in that scenario. So when you have good prior art and they threaten to sue, you say "okay, I'll invalidate your patent in a motion to dismiss". If you want to countersue, now you risk your patent being invalidated and still being found liable for infringement.

> If they sue you, you could potentially countersue them for patent infringement.

Maybe? It depends on the patent and their practice. Just because someone accuses you of infringing doesn't mean their practice infringes your patent. It doesn't even follow at all, actually.

>Yes, it's all a bunch of bullshit, but that is what you get when you have a flawed notion of how inventing works.

I disagree and I'm not going to take your word for it considering that everything wrong I've pointed out about your posts. It is ironic that you use the phrase "flawed notion."
See https://github.com/OpenAdaptAI/OpenAdapt for an open source implementation that includes a desktop app OOTB.
The interesting question is, why do so many people value spending time ‘maximizing’ with uncertain prospects more than extra time to enjoy the trip?
Yep.

Server UDP:

https://github.com/solcloud/Counter-Strike/blob/7dab1533ec4d...

Client Websocket:

https://github.com/solcloud/Counter-Strike/blob/7dab1533ec4d...
That's great to know - business customers require a lot more stability, I suppose!
People can break laws. By your logic I guess we shouldn't have laws then.
Express.js Security Audit: A Milestone Achievement
We use operating system accessibility APIs when available in https://github.com/OpenAdaptAI/OpenAdapt.
just ask it to use libraries you want; you cant expect it to magically read your mind, you need to guide every LLM to what are your must/nice haves
I jumped ship in April of this year and haven’t looked back.

Use the best tool available for your needs. Don’t get trapped by a feeling of sunk cost.
I guess I can, but I am not a lawyer and I don't really want to go on date with Gaben and his lawyers (date with Gabe, gooseman and Jess is ok for me), but if you have any suggestions please share
That summary is pretty good based on what I remember from the book. I think the second to last point, _effort_, deserves a bit more of an emphasis though. It's actually a common theme through all the effective learning methods that they require more effort and that more effort generally implies more effective learning. As an example, simply rereading a text takes little effort compared to doing flash cards, and the later is more effective.
Epic Games doesn't know how to implement OAuth (rant)
Silly question time.

Is this a fined tuned LLM, for example drop in replacement for Llama etc.

Or is it some algorithm on top of an LLM, doing some chain of reasoning?
source code is all written from scratch and it is free for anybody