skysight-inc/HackerNews huggingface dataset:
Check out Pure. https://agraef.github.io/pure-lang/

This was what convinced me to switch to LLVM. I now regret that decision, but at the time, it sounded like a lot of fun.
I lean toward the <TogetherForm/> component as I typically find myself going straight to building my own form. This would be especially nice to use with Remix given it is pretty much entirely form-based.
Don't worry, AlphaJudge will provide swift justice at scale.
Pipedream: Potent Serverless Capabilities
I'm going to stop responding because this thread is off topic, but this is exactly what a culture of lawlessness looks like. The police very clearly assaulted someone on camera, and you're bending over backwards to find a way to exculpate them. There's a reason the judge declined to set bail.
Amazon is blatant, if they wanted to track coffeepot usage they'd have just put a billion Ring cameras around it.
"the ownership of highly valuable and sought-after digital collectibles"

One man's trash is another man's treasure.
And, sadly, make it easier for repressive regimes like China and Iran to block access to websites that are currently accessible thanks to CDNs' reuse of IP addresses.
Isn't all this post quantum stuff a little premature? The standards haven't settled. We don't even know if there is a possible quantum threat to cryptography yet. The more we work on the problem the less likely it seems. Last I heard we were 1 or 2 orders of magnitude away from physical noise performance that would make such a threat possible.

Edit, added: Harvest now, decrypt later applies to any encrypted data. There is nothing special about the quantum threat. This all only makes sense if we can predict what the actual threat is ... and so far we can't. This reminds me of Pascal's Wager[1]

[1] https://en.wikipedia.org/wiki/Pascal%27s_wager
The demo was incredible, and this seems perfect for my current project. I am going to try to integrate this as soon as I can to see if it works for me. How responsive can I expect the support to be?
Yes, the underlying engine of Picat is - a slightly altered- B-Prolog, which is available as the "bp" module, from which one can use many of traditional Prolog constructs, for example `bp.length/2` instead of Picat's `length/1` function. This can help when porting Prolog programs to Picat. In fact, quite a few Prolog programs can be run directly in Picat, perhaps with just some few adjustment.

For some example of the available predicates in the bp module, see my http://hakank.org/picat/v3_utils.pi . Also, see http://hakank.org/picat/#v3 for some examples of ported Prolog programs.
As an adult in the 80s, I remember them. I thought they went away after a few years. I'm surprised that some persisted tot he mid- ot late-90s.
1990's web was a whacky place
I bet if we removed the requirement to get a lawyer and file a lawsuit that those behaviors would vanish real quick, if all you had to do as the wronged consumer was report to an authority that Company X is doing business dishonestly.
>The outcome of this game is 100% dependent on the parameters

Isn't that true of every game? Winning (getting most berries) is not the important variable they are measuring, so unless you you are suggesting people with ADHD are more concerned with winning, I'm not sure how relevant it is to their interpretation.
are you recorded at your work?
> Security measures deter criminals, they can never stop them.

Right, but in practice deterrence and incentives can be much more effective (from a cost and practical standpoint). I imagine the government would have a much harder time stopping people from randomly chaining vehicles than tracking stolen ones. There just doesn't happen to much incentive for the former.
Indeed it does. If I practice haruspicy*, in so doing am I receiving signals from the gods?

* - the inspection of the entrails of sacrificed animals
I have found the advice in this Andrew Huberman video to be helpful. Long version: [1] Useful clip from that longer video: [2]

TL;DR: motivation is a muscle that can be developed as long as your efforts to do so are voluntary. In other words, do the hardest thing that you can actually do, even if it is just pick up one piece of trash and put it in the garbage. Or wash one dish. The list of possibilities is endless. The idea is to face your discomfort, and as you do so repeatedly, your ability to do so increases.

[1] https://www.youtube.com/watch?v=8OHYynw7Yh4
[2] https://www.youtube.com/watch?v=BoutTY8XHSc
IIRC, the Internet's first webcam was a view of a coffee pot to let people remotely see if it was full/empty; now, the coffee pot camera is used for surveillance.

Seems like a microcosm of the entire Internet.
OpenAI status page says the incident was just resolved.

After 17 hours!

https://status.openai.com/incidents/ssg8fh7sfyz3
First time? Hasn't it already been established that male and female skulls and brains are physically different. As in an anthropologist could look at a skull and determine the gender. Or a neuroscientists can look at a brain and determine the gender.
> But what would be the use case of re-opening your own files in this way, that dup() doesn't cover?

Well you can't `dup()` an fd that you don't already have, this would let you do it. Assuming I understand the behavior right it doesn't have to be the original program calling `open()`.

If you're running a separate process and trying to debug another process that's running by peeking at its fds, then being able to just `open()` them is easier and less invasive compared to the alternatives for getting a dup'd fd (Ex. force the program to call `dup()` itself and then send the fd over a socket or something).
You seem to suggest that parents and schools are not teaching ethical behavior.

Do you think this is happening at a large scale?

I know some leftists (I'm liberal) who don't seem to care about minor theft or crime because it seems like peanuts next to the civilization-wrecking greed and pollution and wealth transfer underway by the owners of capital.

But I don't think that is a majority thought. I personally think the criminal justice system has decided they either won't do their jobs, or that they are so understaffed that they can't do their job of investigating and punishing crime.

Again, my take is that most people of all political stripes want crime to be punished.
Build software isn't like building physical things. Software and physical things operate under different constraints. All analogies are are wrong or off but some are insightful.

The insight here is that people expect things not based on reality but on desire. With architecture there is a process to give the architect leverage to say no to ridiculous requests, architects need to be licensed, which is hard to get.

We have no such leverage in IT so we get threatened with "do it or I will find someone that will" and businesses are always trying to find that cheaper someone or group of people that will do the work they have in their head on time, for a cheap budget, and without asking a lot of questions like "why do you think I would know something you didn't say or write down".
Sorry. We're working on it... we're a startup.

We're still figuring out a good, clear, honest pricing model for Enterprise that works well across company sizes (small - big), industries (healthcare vs telecom vs ...) and usage frequency (strategic vs operational planning).

We're happy to send you our pricing table version 1 (use contact us form on Timefold website), but we need your feedback if it fits your business model, deployment model, usage model, etc to validate our pricing model.
ARM Neoverse V3 and N3 CPU Cores: Building Bigger and Moving Faster with CSS
Astronomers say mysterious galactic 'wave' may have once washed over Earth
> asked to use GDPR to remove my account and they refused! I mean does it legal to do so?

Yes, there are exemptions to the "right to be forgotten"
Absolutely. At every large company I've ever worked at, there have been security cameras in every open work area, every hallway, every elevator, every common area.

I've never heard of anybody complaining about it.
There is a flaw with your thinking. Any given year there are only 5-6 iPhones to choose from, where there are plenty of Android phones. This leads to "top phone sold" being iPhones because it is 5 phones against hundreds of Android phones that people get to choose from.

You should instead look at Market share. https://www.statista.com/statistics/272698/global-market-sha...
Ahh okay, yeah. Its easier for the federal government to deal with in B.C. (ports are federal jurisdiction in Canada) without the political sensitivity problem.
Both sites are owned by Conde Nast
That's fascinating! I definitely hadn't heard of Methylhexanamine before. It's certainly a good reminder that we need more research on these complex supplements before jumping in.

I hear you about “adaptogens” too. I tried Ashwagandha once and had a similar experience to yours — felt a bit too relaxed and, well, not exactly sharp.

Overall, it seems like caution and a healthy dose of scepticism are key when it comes to these kinds of products. Thanks for sharing your thoughts and experiences!
Germany doing 'dramatically bad', economy minister says
Emphasis on equal - while a bit academic, you can evaluate this empirically to see that every time it assigns a <Race, Gender, etc.> doesn't have the same probability mass (via the logprobs API setting).
It looks like it's pretty resistant to quantization. ollama 4bit 7B doesn't work very well, but the 16bit 2B does
Note that this is just a _nomination_; previous nominees have included Vladimir Putin and Adolf Hitler (though Hitler was a joke). Quite a lot of people can nominate; there are typically a few hundred.

Kissinger actually _won_ it.
Nuclear SMR welding breakthrough
Weird how close your user name is to Joaquin Phoenix, star of the film "Her" centered around an AI girlfriend.
YES! sqlx::query_as in the wild!

Making queries like this checks the sql is valid at compile time by connecting to the real database and running it with demo data inside a rolled-back transaction!

(If you'll forgive the self promo, I explained it better in this video https://youtu.be/pocWrUj68tU)

Rust's macro system allows you to program the compiler with each new program, and sqlx is my favourite example of this.
How Well Can LLMs Negotiate? Stanford Researchers Developed 'NegotiationArena'
Remote start is not to blame here. A manufacturer installed remote start system will shut the car off if a door opens. And the car should also shut off automatically after 5 to 10 minutes.

Unfortunately, after market remote starter does not offer this capability, so with the new trend of monthly charges, if you like certain brands like Toyota, and you want that type of secure remote start, you have to pay $20 per month or more for the life of the car.
That is awesome!

I hope y'all consider longer context models as well.

Also, are ya'll looking alternative architectures like Mamba? Being "first" with a large Mamba model would cement your architectural choices/framework support like llama did for Meta.
>Paper: https://arxiv.org/abs/2402.05863

>Github: https://github.com/vinid/NegotiationArena
It's a real site, I've used it for at least 10 years.
When the contents has a conflict, git and pijul behave similarly.

When the contents are identical, but the order of commits is different, git will conflict and require manual resolution. Pijul will not.

As you say, neither will automatically check for correctness and you should run tests and CI when merging.

Pijul just removes the manual work when there is no conflict in the contents but the history is different.
This has nothing to do with Maps and is just another example of (foreign) tourists not understanding the local conditions, mostly the remoteness, and getting stuck as a result.

They ended up ok, usually the tourists die.
The thing I like most is that cherry-picks are real, not simulated.

In git, a cherry-pick pulls the change you're interested in off a branch, making a copy in the process. If you later merge or rebase that branch, there are two versions of it in the history, this can have practical consequences, it's not uncommon for this to generate conflicts which wouldn't be there without the cherry-pick.

In pijul, a cherry-pick is just one way to apply a patch. It's the same patch in both branches, so the history doesn't contain two versions of the change, only one. So there is no difference in the result between 'branch, cherry-pick, merge' and 'branch, merge'. Ever.
should read "admin uses tax payer money to pay off 1.2B of student loans"
Yea the amount of people jumping on that bandwagon with "self diagnosis" has been a little grating for sure, particularly when there are many, many diagnostic tests that can rule ADHD out with very good certainty.

Similar experience for me, particularly the relationships one stings a little bit reading about it. I'm obviously not your doctor but I got off of stims years ago and have found a lot of success with bupropion (wellbutrin). It's not narcotic and has shown success in dealing with ADHD symptoms + depression from ADHD.
Walmart's PhonePe launches India app store in challenge to Google
The terms of use: https://ai.google.dev/gemma/terms and https://ai.google.dev/gemma/prohibited_use_policy

Something that caught my eye in the terms:

> Google may update Gemma from time to time, and you must make reasonable efforts to use the latest version of Gemma.

One of the biggest benefits of running your own model is that it can protect you from model updates that break your carefully tested prompts, so I’m not thrilled by that particular clause.
This one predates it by 20y, do I don't think it qualifies as a "previous version".

But thanks for sharing, it's quite fun
Do cloud providers document these internals anywhere? I'd love to read about that sort of thing.
Does this mean that the debts are practically moved to being US debt? And universities get to keep all the money they swindled with all these schemes?

I don't know, man. Doesn't sound right exactly.
I'm always fascinated by ADHD and have you guys read Procrustean Bed (Taleb, 2010) where he silently hints at this with the following quote: "For instance, few realize that we are changing the brains of schoolchildren through medication in order to make them adjust to the curriculum, rather than the reverse."
What are you proposing? That we go back to being able to turn the ignition switch with a screwdriver?
Or possibly more hostile. We're talking about something which doesn't exist. It'd be reasonable for people to be skeptical, and assume at least an equal likelihood of the new Facebook also not respecting their privacy, given the precedent. But I don't think the median social network user cares much about privacy at all, so that's probably not why there is no new Facebook, one way or the other.
Google DeepMind jumps back into open source AI race with new model Gemma
Absolutely. The potential for mass (and covert) gathering of sensitive
data via smartphones is astonishing. If an attacker has control of
your phone they can now trivially get your voice, face and iris scan
to clone. And now your fingerprints.

Smartphone security is not going to get better any time in the next
decade.

All of which lends weight to my argument that biometrics as access
control is the single most ignorant idea in the history of computing.
I am genuinely hard pressed to think of anything dumber.
The "flexibility" of Ruby and RoR made code much harder to maintain than Python.

Who cares if you can save 10 minutes coding a page if it takes you an hour to figure out what's happening on with that code.
Andorra is uniquely interesting for me because of this weird "co-prince is a an elected president of another country" aspect.

I don't think that having that feature is necessary nor brings any advantage for it being a duty-free ski resort and tax haven for the elites.

In fact other tax-havens exist which have normal monarchs.

Why do you think Andorra is not weird?
As someone diagnosed in adulthood. I either trust the several medical professionals who have diagnosed me according to DSM criteria or trust you, a random HN commenter with a bone to pick, that I don’t have it and am just being whiny.

Seems like an easy choice.
Find someone that understands ADHD (even better if they have it too). This is just more gaslighting from people who can't comprehend that other people might not be wired the same.
Pouring taxpayer money into a bottomless pit at least enables graft
I don't think there's a way they can enforce that reasonably. There's no connection to the mothership to report back what version is being used or license keys at runtime...

Seems more like a "if we discover something unsafe you should update your model and we aren't liable if you don't" than something that would make your model stop working.
It's very hard for me to express how much I agree with this comment. I made it to where I am today in spite of my ADHD (and in large part due to an extremely high IQ). There are dozens of things that, had they gone just very slightly differently, I'd be a college dropout, or unemployed, or extremely underemployed.

I literally got my first job out of college (several months after graduating) because the interviewer forgot to ask me my GPA!
McGilchrist on left vs right brain will interest you.
Has Wolfram ever done a short form interview?
Looks like what happens when the repetition penalty is set to a weird value.
There Is a Stupidly Easy Way to Expand the Grid
Yes, RoPE has thrown a wrench into things a bit.
I keep getting "An error occurred, refresh the page and try again." when trying it out on Firefox on Android. :/
Can you expand on how it was hijacked?
Standard for airlines
Amazon doesn't really need video surveillance in the coffee room for union suppression. They just need the appearance of surveillance, hence the camera embedded in a device with no use for one, and a gallery left wide open. The paranoia is the point.
> No communication service stops people from backing up with encryption or not, local or remote, or from copy/pasting or for that matter taking photos of the screen ("analog hole").

At least for the first part on backing up without copy pasting or using the “analog hole”, Signal expressly prohibits and doesn’t allow any kind of backup — encrypted or not — on iOS/iPadOS/macOS.
Yes, because the current design is lax. Now think about what happens if the engine computer won’t start with a bad signature or the entertainment system won’t work. How would that affect the overseas market?
Could you skim it off a gas giant? If part of a gravity assist there would be no gravity well penalty.
Time for Password Expiration to Die (2019)
I recently checked the changelog of rundesk. One possible reason for upgrading was a CVE scored 'high'. This one:

https://nvd.nist.gov/vuln/detail/CVE-2022-45868

Total waste of everybody's time. You have to start h2 as server, instead of as dependency. You then have to start it with a command line parameter with a password, instead of specifying it in a config file. Both actions scream debug-configuration. If you do this, then... the password is readable on the command line.

That's the whole vulnerability. Analogy: if you leave a key on the table, people inside the same house can take it, and that's a vulnerability for the door.

So now h2 is 'vulnerable', every application needs to upgrade the dependency, and everybody needs to upgrade the application. What a total waste of time.
Muon was our Electron fork (μ− is heavy e-), but Brave started on Gecko:

https://brianbondy.com/blog/174/the-road-to-brave-10
>Suppose these models are found to be reliable enough for certain mission critical work (healthcare, defense, etc.) and they lead a user down a path that results in harm or death? Who's at fault? Suppose it becomes a liability of the company offering the model? How does the insurance market respond?

So much this. I think a lot of people overlook this aspect so much. I wonder if we'll see a corporate push to make people think of individual instantiations of LLMs as being their own entities, for scapegoating purposes. It's completely ludicrous, but you know they'd just love to point a finger at Machine #73583 and make that take all the blame.
The same phenomenon can apply to organizations as well. Teachers and doctors in the US, for example, seem to have lost a substantial degree of discretion in how ply their respective trades. They instead must operate in compliance with an ever-growing number of runbooks prescribed to them by their relative authorities.

This is likely driven in part to raise the floor in outcomes but it simultaneously lowers the ceiling.
> "messages in icloud" is end to end encrypted, and enabling it disables messages for being included in icloud backup.

This is misleading at best. Careful reading of Apple's disclosures reveals that the "messages in iCloud" encryption keys are still included in iCloud backups, giving Apple the capability to decrypt your messages on demand for law enforcement or for any other reason of their choosing. The messages may not be in your "iCloud backups", but that's just because they are stored on Apple's "Messages in iCloud" servers instead. Apple still has them and the keys to decrypt them.

https://support.apple.com/guide/security/security-of-icloud-...

> When iCloud Backup is turned on, the backup includes a copy of the Messages in iCloud encryption key so Apple can help the user recover their messages even if they have lost access to iCloud Keychain and their trusted devices.
postulate: the less people share culturally/ideologically/morally with their countrymen the more numerous and specific (micromanaged) the laws will become. this is a direct result of people not being able to navigate or predict expectations, or empathize with each other.
Watching, and AMAZING!
To compare, running Ollama with Q4 Mixtral on my 24GB 3090 Ti locally (with 22.5GB of the 26GB model on the GPU) I get 14 tok/s generation, so the Hetzner server and the 4000 really aren't bad at all (notably my 3090 draws 70W during inference also).
There is absolutely no way you can connect to the Internet in Switzerland without a chain of custody of your identity. And in Germany you need to show your ID card or passport to obtain a phone number. Your phone number is required for SMS verification even for free in-store wifi in shopping centers and grocery stores. There is no exception to this except for some rare routers managed by people who accidentally left their router unsecured.
Prolog is based on "unification" in large part, which can be considered advanced pattern matching.
I think Ruby Rogues has been running as well for a similar timeframe. The Ruby community has always been awesome and lively!
So we've gone from "How are we going to get people to do shitty work" to "Now everyone wants to do the shitty work!" as our problem, which tells me that we just need to tune the pay to a middle ground somewhere between the two to get the perfect number of janitors.

Easy!
You don’t see the point of drawing attention to that in ancient natural settings so called disorders were beneficient, and perhaps that improvements can be made to todays unnatural society?
>> I work for a company that has billions in turnover and I'm directly involved in decisions that affect our profit or market share

and

>> I spend about 6 hours a day working

Which company is this?
Sounds like it's "reasonable" for you not to update then.
I remember thinking about something similar many years ago. I saw ever increasing safety mechanisms in automobiles. Instead of training to be better drives that don't crash, we add seat belts, crumple zones, multiple air bags, anti lock brake, etc. It's an arms race to mediocrity. It seemed like the end game would be cars made out of nerf.

At the time, I thought the solution was to go in the opposite direction. Add more metal, spikes, and other sharp things. Make them more dangerous, like something Sauron would drive.