skysight-inc/HackerNews huggingface dataset:
Thanks for the link. I think that your version of getting to a reified extensional constraint (your table method) looks like a reasonable way to do it, and probably works quite well for OR-Tools CP-SAT in particular.

Another way to do it directly is to embed the control variable in the table, with a full set of all possible tuples for when the control variable is false. This, however, gives a large blow-up of the table size, especially for wide tables/long words and might be too expensive. Using compressed/smart/cartesian product tables or MDD constraints if the system supports it would solve this (OR-Tools does not, AFAIK).

As for the Gecode model, my idea was that the way to model the words using separate element constraint for each letter could reasonably be extended into a model for reified words by changing the element constraints to tables over the triple <control variable, index, letter> in the above way. The benefit is that one would not trigger the combinatorial blow-up one gets for the above with a full table over the whole word since it is only a single letter.

In a related case, I used reified extensional constraints specified using regular expressions in https://github.com/zayenz/cp-mod-ref-2019-patchwork to optionally place polyominoes on a grid.
This might be a dumb question... I decide to try my hand at art. So, I take courses at the local college, where I'm exposed to copyrighted art. Anything I produce will, in some small way, be based on the totality of my life experience, including any copyrighted material I've encountered along the way?

How is training an AI any different than "training" a human? In the human case, isn't any court case really based on the output (my art looks like previous work), not the input (I saw some art somewhere)?

I feel like I'm missing something (obv IANAL).
> The way that they code is to make changes to the code by guessing

really real computer science, because there is No other way to really know what the code may do other than experimentally testing and reccording empirically gathered data..... /sarcasm
When you setup your editor and container system to work on a remote dev environment, I've generally found this superior to coding locally - with a few edge-case exceptions.

You can't code when offline. But I generally find it difficult to code without internet access these days anyway, and the scenarios without internet access are now vanishingly small. Internet access whilst flying, is becoming standard, and only likely to improve.

The advantages are numerous. Firstly, the ability to work from even the most basic machine, anywhere with internet, is liberating. I can be perfectly productive with only my tablet whilst travelling.

Secondly, keeping a consistent and controlled environment that you never have to maintain or worry about breaking due to a system update, or move to new hardware.

If you use multiple devices(e.g. Desktop, Laptop, Tablet), or perhaps have personal and business machines, not having to repeat a setup and update process is extremely convenient. As is not having to worry about your hardware - I can code from any machine capable of running a text-editor, SSH and a web-browser.

The key thing here is the development flow needs to be extremely convenient for the developer - no frustrating processes interrupting your code-debug loops.

But when it's executed with convenience in mind, I've found it superior in every case, and in a future filled with ubiquitous internet, I wouldn't be surprised if this becomes the norm.
Fair enough, I want to give it a chance for sure.
I provided an example to show they aren't 2 sides of the same coin.
When your toolchain includes large chunks of manually interfaced cloud vendor software not under your control, this becomes the reality. I have this problem! It's software that only works inside a certain vendor's software and has to talk to many services provided by that same vendor.
You can use an "Apache server in a box", ie something like XAMPP or WAMP or whatever it's called nowadays and run an Apache web server with PHP locally, even if you're on Windows. There's no excuse to be a cowboy like that and edit on prod.
> Can we apply this to pretty much anything we can’t disprove beyond a shadow of doubt? So pretty much everything including loads of conspiracy theories..

Honestly, I don't have a good answer for you. I just simply don't know. It's a problem that much smarter people than me have likely already wrestled with. I'm with you in that a blanket application of this can lead us to accepting all kinds of crackpot theories.

However there are things where it's literally true that just because we didn't have evidence of something doesn't mean it didn't exist, such as the coelocanth.
Once you find a diet that is healthy and works, I don't think you're supposed to ever get off of it. It's kind of a tautology that the people getting off their diets gained back their original weight.
Former Kotaku writers are launching Aftermath, a new video game site
> easy to insert and remove

Aren't they meant to be extremely painful to insert/remove?
In what way is it not good? It means the stuff you create is less likely to get you sued, no?
The whole "microplastics" thing is terrifyging
Tell HN: AI New Digital Divide
A new digital divide.

You all know these "previous generation" people? You know, those who use technology (smartphones, tablets, PCs, internet) but they just do not do it right? They use it, but in a kinda wrong, clunky, slow way. And not to the full potential. Well, if it makes them happy.

DIGITAL DIVIDE 1

And then there is us, we use technology the right way. Fast, efficient, we use it when it brings value, we do not use it when we think "nah, I don't like it".

We use it the "right way".

For the first group, we are "the younger generation", see below.

DIGITAL DIVIDE 2

And then there is "the younger generation". They use smartphones when they should use PCs. They use technology the whole time even when they shouldn't. They edit videos on smartphones, why would anyone do that? Well, they are inexperienced and will know better over time.

By the way, we are "previous generation" for them

And now there is DIGITAL DIVIDE AI

There are those who use AI - for all tasks they can think of. And for tasks they could not think of, and do it anyway.

And those who don't.

And those who don't, are using technology in a wrong, clunky, slow way. And not to the full potential. Well, if it makes them happy.

This new DIGITAL DIVIDE AI is bigger than THE SUM OF ALL OTHER DIGITAL DIVIDES COUNTED TOGETHER of the internet age.
They also stopped paying bonuses for patent work. Not surprising it dropped off thereafter.
I think this is all the OP, in the original thread they said they wrote their own TILs down for the day or for the week. And I guess they simply don’t use PHP, just like they don’t use C# ;)
An exposed CRT like that is quite dangerous no? Capacity discharge could easily kill.
command backtick is alt-tab for the same app.
As another coffee nerd I'm happy to realize I wasn't the only one who did a double-take when they first noticed the in-game espresso machines.
I call shenanigans on karma. This user, and that user has karma in the 10k range. It could be they have more priority over posted content on the front page.

Due to the secret karma protocol that goes on behind the scene, you'll don't know. HN features unlock at different point ranges as you may already know.

The ideology of internet points, upvotes / downvotes are broken; abused. In-that to downvote you should have to leave a reason to why your down-voting.

That would mitigate a lot of problems. If you don't want to give kudos, don't upvote. If you truly are unhappy with my comment tell me why rather than lurking in the shadows pleasuring yourself because you clicked a down arrow.

The system is rigged anyhow.
TFA makes it pretty clear: to make it less likely for Wabanaki to win court cases.
A good friend of mine developed a serious case of pcos from birth control medication which started in her teen years. It's impacting her fertility, growing facial hair, pre-diabetes symptoms, and impacting weight gain/loss. Her doctors just "shrug" and suggest to get back on birth control as a solution. Imagine allowing your teenage daughter to be on a semi-permeant dosage of hormone altering poison.
Guanabana is an Annonaceae also called soursop. It is really good but it could also a dangerous thing to eat every day due to its annonacin (and related) content that can lead to neurotoxicity.
The way I remember it is the gaming sites of the 90s and early 00s were all pretty dire.
It does not contain compressed "copies" of the image. It contains a synthesis of the image.
Based on the link it sounds like they want to carry on with what they've always done but get more money. I get the desire but I doubt the content is going to go back to what it was 25 years ago.

The way I see it today, ideological reviews are what is mainstream. It's not about how the game is, it's how inclusive they are to minorities that is what reaches the front page. It's fucking bizarre but it makes sense when the goal is to reach as many people as possible. On both sides of politics it's just rage bait depending on which way the needle swings. Rage bait creates the clicks that brings the mass appeal not just "nerdy gamers."

I'm a nerdy gamer. I just want to know how good of a game stuff is. When you go to actual niche forums you find real information without the bullshit. You aren't going to find that at all on mainstream mass media sites like the Verge, Motherboard/Vice, Kotaku, et al. I think the goal of aftermath is to just create another mainstream outlet. I hope they prove me wrong.
Waze will now warn drivers about crash dangers using historical data
Physically it is very large and thick. It’s the size of 4 textbooks.
+1. I spent hours to understand how the router cache works and turn off cache but failed. It is good in pages folder. But in the app folder I just can not stop the cache.
LastPass Hack Victims Lose $4.4M in a Single Day
Previously discussed on HN: https://news.ycombinator.com/item?id=36064971
From direct experience, this is incorrect.

The vast majority of the UK's cold winter weather comes from wind from the North-East, bringing in the much colder weather from Arctic/Siberian regions.
They work by definition because you eat less calories
He's saying that this is a well established fact regarding every fad diet. Usually in the sciences, a new method measures itself against a "control", which might be a placebo or non-treatment, but might be another well established treatment, such as a drug for the same disease. For a fad diet, a sensible "control", or "null hypothesis" would be another fad diet, not involving potatoes. One would only have grounds to say that this fad diet worked if it worked better than the best alternative fad diet.
ToolboxR Control Library
This library contains the basic time discrete blocks commonly used in discrete time modeling, Fuzzy Control blocks, FIR Filters, Trajectory generation for Robotic applications etc.
Ever since food inflation has gotten so crazy, I've been buying bags of potatoes and nuking 3 at a time for a meal/snack. Like 3 potatoes leaves me feeling stuffed, but is only maybe 300 calories. So not only am I healthier, but I feel full longer, and am almost back to my college wrestling weight.
When you have to edit something different in a different site every day you can't do that because you would waste most of the time replicating the site locally.
100% agree. Any slow iteration cycle completely destroys productivity.

I'm (annoyingly) regularly preaching to my team the value of quick turnarounds on pull request reviews and manual testing, so the team completes their changes with as much feedback as possible while their heads are still in the same space. Apparently pair programming is the ultimate form of this, but I've never tried it.
Yeah I’ve seen that a few people get very upset over one reviewers’ subjective take on a game to the extent that they’ll hound them online. James Stephanie Sterling’s 7/10 on Tears of the Kingdom springs to mind (though they seem to be a bit of a lightning rod for hate overall). I can’t fathom it myself, I’ll read and watch a few reviews to get an overall feel for the game and see from there. Come to think of it, most of the reviews I encounter don’t give a score.
Not sure his motivation. He may have been comparing different lab results against one another and using the coke as a standard (as insane as that sounds and only half jokingly).

I have no memory of what he was testing for, I did softwarw dev and wasn't running labs tests. I'm assuming if anything was weird, then we'd remember that. In the general case, it is routine and unremarakable to test safe food. You tend to only remember the anomalies.
At 4 y.o. they aren't just picking behavior from their kindergarten-mates, they're literally sharing food at every possible opportunity.

In this environment, awareness of varieties of snacks and kid TV shows both spread faster than infectious diseases.
For modern WordPress, the roots.io ecosystem is really great (https://roots.io/), notably Bedrock for things like this:

https://roots.io/bedrock/
Individually packaged units of coffee grounds in a micro-chipped plastic container for the pot to recognize it as an officially licensed “pod” is our daily life. I think real coffee has become absurd. lol
I'm so disappointed by SMTM's trajectory. One of their key initial insights was that you don't need control groups for diet trials because essentially no one loses more than 10-20 lbs on a diet. You can just run the treatment group and, if you get lots of people losing more than that, you know you've got something.

The flip side, of course, is that losing 10-20 lbs from a diet shouldn't be taken as proof that the diet does anything special. People can do that with almost any diet.

SMTM's potato diet study found exactly that - 10 to 20 lbs of weight loss for most participants. This should be strong evidence that it's not a silver bullet. SMTM is pretending otherwise.
> This is where I think the judge misspoke. "Copyrighted" does not mean registered. Copyrights attach at creation and does not require anything of the creator. What the judge is referencing is the fact that registered copyrighted works are given additional protections, notably the award of attorney fees in disputes.

Aren’t there visual art in the public domain?

INAL but the judge’s ruling seems technically correct, so what am I missing?
Oh, and this is in the case the child dies.... survival may be worse. Lead and the developing brain are two things that should never mix. The mental declines caused by lead will leave a damaged, crippled human being robbed of their abilities.
In London there are plenty of both smaller more independent individual and small chains like Second Home [1] of co-working spaces as well as larger players like The Office Group [2].

I've not found the environment at most WeWorks to be anything special compared to most of these others, often not as good. WeWork's one big advantage is how uibiquitous they are in major cities, which is incredibly handy when travelling.

[1] https://secondhome.io/
[2] https://www.theofficegroup.com/uk/workspaces/coworking
Well, I guess I'm saying a "good" diet is one that can be sustained indefinitely. The fact that an extreme diet produces good results in the short term isn't surprising or interesting, because virtually nobody can (or should) follow an extreme diet for the rest of their life.
First I hear of it. Seemed like an inevitability.
He’s stuck in childhood. Computing should be ubiquitous in my opinion and completely non intrusive. Like the Universal Computer in Asmiovs “Nine Tomorrows”. I don’t ever want a 1980s goofy gremlin bot. I want the computer to completely disappear into the ether and only respond when spoken too. Less technology in sight not more.

Edit: and if I need a physical robot I want its form to follow its function, not an outdated notion of a future we’ve already passed.

Edit2: I think Alexa is the perfect model, but I don't have one because privacy is not taken seriously where I live (United States). Computing as a universal basic service needs to be wrestled away from the capitalism-winning megacorps, and that's about a century off.
Pretty much everyone picks food with heavy metals by taste. It's eve ("accidentally") added to e-cigarettes, to so that the people want to keep smoking.
Fossils of the last primate to inhabit North America before humans
How does it compare with countless other file encryption tools: GPG, Age, Picocrypt, etc?

Some of them can be password managers too, with a bash script (eg, Pass).
What other effects do they have on your emotions? From your perspective?
Well, considering Kotaku is well-known for gaming articles filled with political activism and social justice, this is not surprising at all to me.
I've done the same, initially in a dokuwiki page, now in an org document.

Do you find yourself using the date of entries much? It never occurred to me that I should be timestamping my snippets, and I'm curious if I'm missing out. I do tag them with an entry from a very simple taxonomy (shell, aws, macos, git, docker, etc etc)

As I'm using org-mode, I should really just customize org-journal-new-entry to include a timestamp. Or maybe something similar with org-roam. Argh! The temptation of yak-shaving is too great sometimes.
Can you elaborate more ? I am curious.
RPS is a shell of its former self. The amazing writers from the early days all left years ago and it's mostly just an SEO spam site now.
You are actually the one doing something though.

If a line appears on the page, it’s because that’s your intent. For an AI, when a line appears, that is always someone else’s intent.

AI can only copy.

I mean. Do we really need to go over all the reason why an art scanner that copies art and maybe paints it differently is fundamentally not the same as a human learning to create art?
Adam is that you? :)
I trialled Telepresence[0] for my company 2 or 3 years ago, that does this sort of thing very slickly. It didn't quite work for us back then, I forget why, but I imagine it's come along a way since then.

[0] https://www.telepresence.io
I'm surprised more folks haven't encountered this sort of thing. All the cloud-based projects I have worked on have been basically impossible to run locally - one because it went all-in on a giant cluster of microservices, one because it went all-in on serverless, and the last because the monolith was too big to run on a local machine.

Not to mention time spent working in embedded, where your code only runs on the other side of a serial->USB adapter...
Holy shit, I had missed that entirely.

Thanks for that heads up, I’m subscribed to their discord community (sigh, why is it discord), and excited to hear what comes next from the leaving employees.
I love this idea.

Does anyone know of a similar riff trial related to irritable bowel syndrome and gut health?
I like this distinction between streaks and momentum. I've found streaks de-motivating as well, but this looks really useful. Thanks for sharing!
How to use NPM packages outside of Node
For a little while back 10 or 20 years ago, there was a tiny effort to start using the phrase "commonplace book" again for digital notes. https://en.wikipedia.org/wiki/Commonplace_book

This reminds me of one, but with an obvious IT overtone.

I dont want to criticize someone else's personal notes, but I wouldn't call it "SSH into a docker container" other than as a metaphor; but it's too close to the process for the metaphor to stand. SSH has nothing to do with it.
I've also never used punch cards, but I had seen the equipment in the computer lab at university.

One more trick for the young ones here that I've heard is: With your completed stack of punch cards, take a marker and make a diagonal slash across the edge of the stack from top to bottom. That way, if you accidentally dropped the deck of cards, you could put them back in at least the approximately correct order very quickly. You would still want to look through the cards one at a time to ensure the order, but the process goes much quicker if the deck is nearly sorted.

I mostly used serial terminals connected to minicomputers like various PDP-11s and Dual VAX 11/780s. I did get to experience the joy of trying to complete an introductory CS assignment near the deadline. The machine slowed to a crawl, but didn't crash. You would type in one character, and wait for it to appear. We were warned to submit our assignments early!
At my last company the senior dev had all 5 wordpress employees do this. FTP, edit the files directly. He simply did not know how to use git, and did not care to learn.

To be fair, it did work. Nothing ever blew up. We had hourly backups for all the major clients. Onboarding or switching between clients had zero startup costs, its literally just FTP and php files.

Happy I left though.
Depending on why code cannot be run locally this is a pretty big sign that the organization is a big mess. If you like that sort of thing, then there's a lot of fun and room for growth if you can start untangling the code.

There's always going to be some grumpy old man in the corner who like things to stay the way they are, but many colleague will definitively appreciate you making they lives easier, and if you're good at it, then it's an easy productivity sell to management (unless management is completely fubar as well).

Sadly it is the way at least parts of the industry is moving. You either get to work on remote VMs, in a container hell or live in production. The whole container stack gave a large number of businesses a way out of the limits VMs put on them, but now developers have mini-Kubernetes clusters running on their laptops and they either developer directly in containers or constantly rebuild. For some things there's just no way around it, you need the infrastructure to test your work, but for some everything just starts in a container.

I partly blame complex build systems, bad package managers and poor coding practices that locks you to extremely specific versions of libraries or other software packages.
Extra RAM eats battery life on laptops, particularly in sleep mode.
... Nah, screw network dependency.

Local or bust.

Given the shitty Orwellian potential of technology though, I wouldn't be surprised we end up steaming OSes from cloud on mobile dumb terminals. But that's shitty.
RFK Jr is running for President, that would be the most important thing to know about him and yet Wikipedia does not see fit to mention it in the first sentence.
Until the first l CrashLoopBackOff.
> All the emergency and research stuff is basically just LARPing.

Today that is possibly true. But back in the 1990's when I was really active, I did pass health and welfare traffic during a natural disaster. And probably the coolest thing, I provided a phone patch for a missionary in Africa, to call his home in Virginia.

Now with the prevalence of the internet and cell phones... yeah, probably just LARPing.
>It all comes down to truth in advertising

Understatement.

Tutanota published a ranty blog post accusing Microsoft of suppressing competition in the email space. Because they didn't understand how fucking Azure works or even how corporate security works.

They literally let users register email addresses for @tutanota.com
At the same time, they are using @tutanota.com for internal corporate and such they had an Azure AD Tenant already registered for that domain.

They complained that their tutanota.com email users couldn't register Microsoft accounts and this was all part of Microsoft's ploy to eliminate them.

No, they compromised themselves and unless they grew a brain, are still compromised for corporate communications.
If you're looking for the best way to take a container and run it with Nitro, I work on https://github.com/edgebitio/enclaver

Works great with Kubernetes as a DaemonSet or straight on a VM.

Like: protection and privacy for apps

Love: using Nitro attestation and provenance like SLSA