skysight-inc/HackerNews huggingface dataset:
Love to see a container environment that can monitor
Monitor and log all outgoing network connection requests....
Monitor and log all critical file/directory access such as /etc/*

With such container, we can catch the compromised supply-chain attach easily, right?

Does anyone know such container exist?
You're right that doctors have a well-established credentialing process, but yes, I believe that they are asked questions like that. Or maybe "For a herniated bupkis, some doctors prefer the Bloggs reduction, while others prefer the Quimby resection. Which do you prefer and why?"

There are nearly as many poseurs in mechanics as there are in programming, though. I think reputable shops grill candidates pretty hard. And not with Fermi questions.
From the other point of view, what would it mean if women will spend much less time with children. For example, if they will be some better compensated. Will children be spending time in nursery? From the financial point of view that seems to be wise for women.

But what changes does it bring to the socium? For children, spending time mostly in a nursery while both parents work hard vs with mother (or both parents) is very different.
> And again, the AMA is not a union, but a professional association.

Yes, one of the “professional organizations that effectively function as unions” that you mentioned earlier as a positive example.
Complaints are subjective. I’ve known people live years with their television on the wrong aspect ratio but don’t complain.
I've taken MDMA on 4 separate occasions, in the crystal form each time, at a dose of 200mg. Each time, I've watched my friends' eyes pop out of their skulls, sweat like crazy and hug everything in sight. I felt slightly better. Drugs most definitely affect people differently.

Edit: I can't read. Ha. I read oxycodone.
Is pytorch now partly broken without torchtriton? If yes, what's not working? If no, why was it ever there in the first place?
If your 1k executable uses 1Gb of libraries, that's on you.
Jails / sandboxes such as bwrap could be enough in this case by denying access to e.g. HOME files not explicitly whitelisted.

Also a Little Snitch-like host-based firewall, which would request explicit permission to connect.
What's wrong with CloudFlare?
I recently discovered their free zero trust http proxy and really love it
`closeFile` is a bad example. But here are better ones:

File openFile(String path)
File writeString(File file, String content)

Those signatures are completely wrong!

Opening or writing a file can reasonably fail in multiple ways.

The language does not handle any failing effects at all.
I would love a queryable file format akin to sqlite but with simple spec tailor made for the QUERY method.
It's fascinating (and says a lot) that Google's internet monopoly persists even in places where it's outright banned.
Are you going to be accepting direct confirmations only or indirect as well?

If you are only accepting direct confirmations, this means you are only going to talk to people who you meet in person. This is totally fine and will work, but then you don't need any new tech -- just ask for their email / phone / nickname on your favorite social site. Or make a private forum (or a Signal/Telegram/Whatsapp group) and invite them there.

If you are accepting indirect confirmation, then once the network grows big enough, there will be bots. Maybe some of your friends meet Greg, director of marketing for Widgets Inc., and correctly confirm him as real human, and then Greg will confirm an army of GPT telemarketer bots as "real humans" so they can do the sales and earn Greg a bonus. Or maybe your good friend gets malware on their computer and their key is used to confirm a bunch of keys without their knowledge.
Ah when you mention parallelizing I was assuming you were referring to the issue of requiring that ballots all be centralized in order to tally them for IRV, rather than summing at each precinct individually. The data that has to be in a central location for a condorcet method would only be O(n2) since it's just computed from the h2h table, I was not trying to discuss the complexity of actually computing the final results.
Sure, but then again regulating drugs for the safety of addicts whom we shouldn't tell what to do / not do with their bodies has gone great over the last two decades...

I was stunned to travel to the Netherlands to find that even in a country where sex work is legal - Dutch citizens have done everything they can to close the red-light district in Amsterdam and see the industry as a source of crime and degeneracy. Those engaging are still largely ostracized, shamed and seen to have a net negative affect on Dutch society at large.
I was able to read the entire article via my Apple News+ subscription

After spending most of my career as your standard enterprise dev, I fell into a remote mid level role in the cloud consulting department of BigTech.

After a year and a half of finding my bearings, the next logical step was for me to work toward a promotion where I would have more “scope” and “impact”.

I soon realized that I didn’t want the headache. My wife and I had more than “enough”.

On top of that, my wife and I decided to become “digital nomads” this past year. We bought a professionally managed “condotel” in Florida so we would have some place to nest during the winter and fly across the US the rest of the year and stay in hotels.

We got rid of our house, cars and everything we own that couldn’t fit into three suitcases. It’s been the most freeing experience in the world to get out of the rat race while watching my coworkers chase after promotions.
> I searched a bit, and I think I'm the only HN predictor that thinks Russia is going to win the Ukraine war.

I really doubt this, theres a lot of pro Russian people on here.

> I've been saying that since day 1. A lot of my thinking is influenced by J.R Nyquist who has been talking about the Russian plans to revive the Soviet Union since the 1990s.

This may have been true during the Soviet Union but I don't think the hollowed Russian military is capable of capturing all of Ukraine, maybe if all the defense money went to actual defense instead of yachts it may have been.

Im interested in how you think Russia will win the war when they cant even capture a city thats a mere 400km from their own border in 10 months.
> That's sadly the result of turning news into a profit-making private enterprise rather than a public good.

Let’s take a look what NPR thinks about gender pay gap:

https://www.npr.org/2022/03/16/1086732450/on-equal-pay-day-w...

Are they clear that the gap is mostly about number of hours actually worked in a year, and difference in gender distribution across occupation? No, these are only alluded to in passing, if mentioned at all. In fact, this nonprofit venue’s messaging on the topic is the exactly the same as the one you can find in for-profit venues.

Profit motive as explanatory factor for why media misinforms people is greatly overstated.
So it's better to subsidize the union now, instead of deal with other countries refugees in the future?
That's my clock!
Bah, this is genius! Any obvious gotchas? Did you try it with Netflix?
I guess the only doctors I've known are ones going through the state run education and health system and it seems pretty streamlined. You go and work where you're told to based on your educational choices and achievements, there aren't interviews as such. It must be different going into a private health system.
As triska says, there are different execution strategies for Prolog and
left-recursion is not a problem in practice. To plug my own work, the Inductive
Logic Programming (ILP) system I developed during my PhD
(https://github.com/stassa/louise) can learn left-recursive Prolog programs
thanks to an inductive Prolog meta-interpreter executed with SLG-resolution
(a.k.a. tabling). I mean to say that the inductive meta-interpreter itself is
tabled, so it can prove left-recursive programs without entering an infinite
recursion (it needs to do that because it learns a program by proving its
generalisation). And so it can learn left-recursive programs without "going
infinite". That used to be a big problem for ILP, but it's now well and truly
solved, in theory as well as in practice. And I say "now" but SLG-resolution is
old as a a very old thing; Tamaki and Sato described it in 1986, I believe:

https://link.springer.com/chapter/10.1007/3-540-16492-8_66

But then implementations took a bit to catch up.

>> Prolog is deeply unsuited for work, use Clingo instead.

Well, that doesn't make sense. ASP doesn't even allow lists, let alone
side-effects (you know, like writing to a stream), so what "work" is it that
it's better suited for, than Prolog?

Also, if I remember correctly, Clingo is not a language but a grounder? It takes
a first-order program and grounds the entire Herbrand base into a set of
propositions so that a SAT solver can then derive the stable models of the
program? Do I have that wrong?

Let me say up front that I've never heard a worse idea in my life, and I've
heard a few. First of all, that's why ASP can't use lists, or other functions,
because then the Herbrand base goes infinite and good luck grounding it. Second,
SAT-solving is NP-complete. As I realised recently
(https://news.ycombinator.com/item?id=34072923) ASP is an elegant framework for
dealing with uncertainty in a purely symbolic manner, with negation as failure
and axiomatic, classical negation. But then, why go and mess this elegance up
with a dumb propositionalisation approach that loses all the good stuff about
first order logic, and that's terminally inefficient to boot? That, I still
don't get.
Highly recommend the short story, ”Wang’s Carpets” by Egan titled in honor of mathematician Hao Wang.

See http://akkartik.name/post/wangs-carpets
Raph's Reflections and Wishes for 2023
> A PS1 or PSX would be helpful in the title.

Why? Dreams is a PlayStation 4 and 5 game.
How did ClickUp grow in an already saturated market?
Without offering much innovation or any at all?
I built nitrohire.co, a reference checking tool for hiring managers and also did a Show HN recently [1].

The revenues are a few $100s currently though I have not been doing a lot of marketing for it yet since the beta launch resulted in a lot of feedback that I am trying to evaluate and address.

Also, if someone is interested in hiring/recruitment/professional networking space, would love to connect! Email in profile

1. https://news.ycombinator.com/item?id=34101264
I use the second amendment as an example of an enshrined right that doesn't change when new tech develops. It's an analogy. Freedom of association doesn't change when we develop new tech either.

> You can both have rights and not use them in crappy ways.

And using rights in crappy ways doesn't mean we revoke them. See all the speech I disagree with and yet still support the freedom of speech. Again, I'm using an analogy here.
My first thought was the Linux kits for PS2 and PS3.

https://en.wikipedia.org/wiki/Linux_for_PlayStation_2

https://en.wikipedia.org/wiki/OtherOS

I wasn't disappointed, though, this is a pretty cool project!
IMO as someone who grew up in the south, I had friends in very deeply religious families who got abortions quietly. They clearly knew it was the best course of action to reduce emotional harm, a potential bad life for the child and cover for peers who would religiously shame them (ironic - I know).
I recall seeing a post about how Sweden had banned "buying sex", but allowed "selling sex", as a way of avoiding harming women.

For women who do want to sell sex, this ends up with some bad consequences. https://www.reddit.com/r/SexWorkers/comments/n11oqk/the_ongo...
It’s interesting they didn’t use a less conspicuous domain name and content. Like something related to analytics perhaps.
I never gave my opinion on privacy. Also, Google can exist just fine if they were not allowed to store private documents.
Movements and attitudes are not like concepts and inventions.
I think you hit upon the problem of "periodization".

https://en.wikipedia.org/wiki/Periodization
Privacy and autonomy. If I don't have root then someone else owns it, and by extension, me.

Have zero cloud dependence. Nobody has my data but me. I pay nothing and give up nothing.

My phone is a linux box. I can ssh to it any time I want to get a shell. It has a permanent reverse ssh shell and OpenVPN connection out to my other systems. And no, this has almost no impact on power usage (if done correctly).

Real filesystem access without restrictions. This allows for full rsync backups and restores of any app and any data on the phone. I built a script that lets me easily backup and restore individual apps and even move/copy apps between Android devices. I also sync a variety of files on a regular basis (music, pictures, ebooks,...)

tcpdump to capture packets. I actually do this every couple of weeks/months, but it's not something I do regularly.

Call recording that actually works is impossible without root. skvalex is the best.

Adblocking, Bouncer, real screenshots in any app, real firewalling, disabling Doze and other stupid power savings that breaks shit, and a lot more.
I am from the area (not Croatian tho). Even if you look just at the map of the country you will realize that Croatia is basically mostly Mediterranean. As such tourism is very important for the region.

Having the same currency as your tourists (mostly people from the north, to a lesser extent people from the east and northeast) helps a lot.

Schengen helps also, but even before people could just drive there without noticing the border.
On other hand, on the energy impact, if anyone can find RN consumes more energy compare to Ionic that probably use Capacitor under the hood?

https://ionic.io/blog/ionic-vs-react-native-performance-comp...
100% true. America subsidizes many states and sectors of the nation. But we are able to do this because there is a common representation.
Pew had this which is a bit better sourced

https://www.pewresearch.org/fact-tank/2022/03/28/young-women...

Results shake out more equal because it just compared young women to young men, not adding the childless and unmarried restrictions.
If you are really interested in scraping a copy, the HDCP keys were leaked at some point and you can buy "HDMI splitters <wink>" for ~$30 which will remove the encryption. Now trivially bypassed, and a pain in the butt for everyone else.
anyone using AI/deep learning to vet software supply chains yet?

seems like a higher priority task than generating artificial art.

let's turn the GPT's toward something like a softwaresupplyGPT that can be trained on all the software on all the individual package/dependency managers that are in existence.
You act like indecipherable laws are uniquely American. Have you seen the 99 section 11 chapter GDPR?
There is no better way to build a mobile app than a native app. This was shown yet again when I tried Standard Notes few days ago for the nth time. It still is sluggish and slow and felt like having too many jerks and clunks. Downright unusable for a major notes app in 2022.. well 23.

Among Joplin, Obsidian, FS Notes, Bear and few more Standard Note was the worst experience by a margin. Not to mention they still not allowing local raw files citing “but encryption”, or maybe they’ve moved to another reason now.

Another example of how developers can become blissfully oblivious of what users find good and start confusing it for what is “good” for developers themselves.
> Very little of your code is in hot loops.

Very few programs have "hot loops" as small, contained things. "hot loops" is at this point as much of a bad trope as "but premature optimizations!" is.

> Why does that count as ten thousand cuts rather than one cut? That doesn't sound intractable to fix if you have months.

Why spend months re-writing code you could have just written correctly the first time if a single person had spent an hour messing around with benchmarks to figure out the proper guidance?
> Only one person will win anyway, so disappointment about the outcome actually seems like the wrong focus vs eg satisfaction that you got to represent your preferences fairly.

Except that approval voting doesn't allow you to express your preferences very well, since there is very limited differentiation between candidates. I understand the appeal of approval voting since it's a very small change to the voting machines, voter experience, existing legislation, etc, but most people who want to express their preferences will be drawn to methods that actually let you do that most effectively. If approval goes head to head with IRV or STAR (the two other movements that seem to have some momentum) I would generally expect the voters to go with STAR or IRV, for better or worse.
> What would you say is the main difference with Maven/Java vs NPM?

Maven doesn't allow execution of arbitrary code at install-time, which curbs a large number of potential supply-chain attacks.

Because of the JVM and JARs being mostly self-contained Maven doesn't really need to worry about system or runtime dependencies (unless you're using Scala...). This allows Maven to be a 'dumb' package manager that relies on simple semantics (no hidden specially-generated indices, for example) and be fairly successful. Of course, there's an internal battle of whether Gradle or Maven is superior, but they both rely on the same distribution and packaging specifications.
And a damn shame that Kleenex® is synonymous with Scott’s Nose Tissues. You can rules-argue that no one should be saying “Kleenex” when asking for a tissue. IMO not worth debating; it would be missing the forest for the trees.
The language was trivial to break in a few minutes. (And it likely can't do anything about it [edit to make this clear: This is not an implementation bug. Without depended types or abstract interpretation this is unfixable¹, as I see it]).

module body Test is
function recur(n: Nat64): Nat64 is
if n < 2 then
return n;
else
return recur(n - 1);
end if;
end;

function main(): ExitCode is
print("recur(50000000) = ");
printLn(recur(50000000));
return ExitSuccess();
end;
end module body.

This code generates almost 3.5 kLOC of C which results in a segmentation fault when compiled and run on my machine.

I'm not impressed to be honest.

I would be less harsh if this wouldn't be advertised as sane and safe language. But it is.

---

¹ Of course you could fix this with for example trampolining. But than the promise of "no hidden control flow or functions calls or allocations" would be broken instantly.
Or hold option for a second
Huh. At work, I did the same for a WYSIWYG editor we had to implement, but it always felt wrong for me. After looking for a native editor library I was surprised how little I could find.
I can sleep a little better knowing that even the heavy hitters resort to webview sometimes
A major supplier recall on top of all the pandemic related logistics issues https://en.wikipedia.org/wiki/2022_United_States_infant_form...
Imagine you want to calculate what frequencies are present in a sound. At the width of the time window you are looking at goes to zero, you just have a single point. There's no frequency content of a single point! It's just a number. As you look at a longer time window, you can see what frequencies are present over the window, but you lose some sense of time "resolution" over which that is meaningful. This is fundamental and inherent in the Fourier transform.

Put differently, you can't have a signal that is simultaneously both "band-limited" and "time-limited". Other conjugate variables, like position and momentum, work the same way.
That's great! We need that here in the US
New Year, New Site
Of course, it's also possible for the father to deprioritize career and take on childcare duties. But that's much harder to make happen, and it's not because companies don't provide enough paternity leave.
> People treat this problem as unsolvable when it's absolutely not.

The root problem is "I'm using software from hundreds of authors, how do I know I can trust all of them?". And that problem is indeed unsolvable. It's not even a technology problem.

And no, peer review is not the solution. Scientific fraud is still widespread despite peer review being the standard for many decades. Granted, there may be better approaches than the Wild West that is PyPI and NPM, but this problem will never go away completely.
Yes, the “table” is encoded into the code itself ;)
I see things like this and I think, "Wow, should I be calling myself a programmer?" ... even after ~40 years at it! But that feeling makes me love programming even more. I adore this project!
A privatized social credit system seems to be where the US is headed.
I use swipe typing on my smartphone and it makes these and other close but wrong insertions all the time.
Ive worked on facebook games that used Google Sheets as a config file. It's a silly idea, but really works.
This is about the currency. Croatia joined the EU a decade ago.
I liked this essay on the topic. I recall it discussing that, while sex work is often pretty shitty, so are the alternatives; and discusses how while society will judge sex work (as exploitative), not much is done to sincerely protect/benefit sex workers, either.
https://www.nplusonemag.com/issue-35/essays/cashconsent/
I do... but there are good reasons to not want to. If you read the linked spec you can learn for yourself

https://httpwg.org/http-extensions/draft-ietf-httpbis-safe-m...
Could you point to source of your claim? US embassy website doesn't mention any extra 90 days.

https://travel.state.gov/content/travel/en/international-tra...
Unlike the USSR, the US doesn't have state owned enterprises making up the majority of it's GDP. The companies that give a shit win markets.
nice hack
> That's more due to the deregulated free market sucking people dry in the US over basic needs, forcing them to live with outrageous rents, childcare, healthcare, living costs. The corporations that profit from basic necessities are literally, actually, physically damaging the interests of every other corporation and sector in the economy. And when the cost of living is so artificially exaggerated, outsourcing job to a remote location where deregulated corporations cannot suck people dry over their basic needs becomes cheaper for every corporation.

There is truth to this. A lot of red tape is patchwork lawmaking attempting to close loopholes from some fraudulent activity.

That said, patchwork fixes are no good. It is only increasing compliance burden year-over-year. Life with government bureaucracy is getting harder, not easier.

An example is healthcare. One of the reasons the cost of healthcare is high exactly because of shitty regulations, which limit the number of healthcare workers graduating per year. And then, there are compliance burdens tacked on to them every year. Then nurses and doctors are asked to take tests every few years to keep their license. To what end? Are lifetime outcomes better? Is our healthcare system better for it? No.

The ideal solution would be to reduce regulatory burden to a point where we can have unlimited doctors, nurses and healthcare workers. Said doctors, nurses etc. should be able to open a private practice easily, in every corner of a town, much like a McDonalds. Insurance should be forced to pay claims out fast, easy and for every treatment under the sun, recommended by the doctor. None of this CPT code nonsense. If the insurance company can't handle this, they should be free to go out of business. There should be intense competition among insurance providers, which doesn't happen because startups cannot compete with the regulatory burden.

Make simple laws. Make life easier. We need an abundance of services, not abundance of regulatory burden.
That’s mostly true, but the heat generated by calculations which where thrown away still impacts the CPU’s thermal budget and the devices battery life. This coupled with branch prediction overhead makes failed branch predictions far worse than simply stalling would be without them.

However, even very dumb branch prediction tends to be well worth it for the vast majority of code.