skysight-inc/HackerNews huggingface dataset:
> There is nothing untrue about that analysis.

I disagree. "Man endorses infanticide under x conditions" is the truth, and "Man endorses infanticide" isn't. Half of the truth isn't the truth.
I see, very helpful, thanks. But doesn't this leave room for what you potentially have not accounted for? I am just trying to wrap my head around how one can write a proof by saying something doesn't occur
You might find the Dwarn command available from http://p3rl.org/Devel::Dwarn (original) and http://p3rl.org/Devel::DDCWarn (newer version with extra-compact output) helpful - it lets you change e.g.

return $foo->bar->baz;

to

return Dwarn $foo->bar->baz;

which will 'warn' out the dumped structure and then return it, so you can instrument code for debugging trivially.

DDCWarn also provides a DwarnT so you can add a tag that gets printed but not returned, i.e.

return DwarnT TAG_NAME => $foo->bar->baz;

There's not really a book on Moose, but the Moose::Manual pages plus Modern Perl plus The Definitive Guide to Catalyst work out pretty well between them for bringing people up to speed.
Re: I can tell you there are a lot of people really not satisfied with how MS handles things

Yes, they WANT competition for desktop/productivity app space to either motivate MS to do better, and/or provide alternatives. This will enable it.

Re: Hopefully, they (MS) will manage to keep their WinUI promise, and make it quite easy to develop (Windows) desktop apps.

Even if they did, one is pretty much stuck using MS's languages. Rather than write language-specific adopters, create a state-friendly GUI markup standard so any language that can read and write text and talk to the Internet can serve up GUI's.

Re: it's hard to tackle such an insanely complicated issue.

Base it off the Tk or QT kits rather than reinvent the GUI wheel.
Distributed Systems Engineering with Apache Kafka Ft. Jun Rao [audio]
> As per several C++ retrospective talks, the focus on C is more social issue than anything else.

The social issue may be that many embedded programmers prefer C to C++, for what they believe to be legitimate reasons.
The app was a reporting convenience more than anything. There was an entire paper trail and a manual process to go along with it. It wasn't core to the accurate count at all.
I'm surprised that it's even necessary to modify the dataset to achieve this. From what I've read, large models will often memorize their training data, and it seems like even with smaller models it should be possible to tell whether or not it was trained with some set of images, simply because the loss will be lower.
Unlikely to succeed. This sort of invasive, drag-net data collection without user knowledge or consent is considered standard practice.

All twitter users "agreed" to it when they created their account (via the legal fiction that humans read and agree to terms of service)
America made an overnight U-turn from the existing international community, which lead to creation of a new one.

Both NATO and the gradual decline of European major powers post-war was a result of that.

NATO coming to existence, and its initial strength was in many reasons due to Western European power fears that US may turn back on them too eventually.

The timidity of Western Europe on the global stage in that time period was also a result of them ceding primacy on the world stage to US.
Thank you for this link. It is highly informative for someone who is not familiar with SAP or enterprise management.

I searched on Google, "What is SAP?" Here are the top three links as of today:

1) https://www.sap.com
2) https://www.guru99.com/what-is-sap-definition-of-sap-erp-sof...
3) https://en.wikipedia.org/wiki/SAP_ERP

What do you notice among the top three links? All of them are mostly talking from business-speak perspective. For a software engineer learning about SAP for the first time, all I want to know is what does SAP literally do? The top three links do not have screenshots of the software, do not simply explain the technical capabilities of SAP, and do not explain how SAP differs from competing products.

Although I never interact with SAP daily, I have always been curious about what it does, but did not want to waste a lot of time on Google searching for a real explanation. Hence, to have a section like "What ERP software actually looks like" in the parent link fulfills a certain desire to know SAP that I have had in the back of my mind.

To some extent, I can blame laziness on my part—in that I have not researched enough about SAP, but why should it be this hard for a software engineer to learn about another piece of software? This is why sometimes, it is better to have a neutral party (non-SAP affiliated) to explain a product, rather than SAP itself.
I'm more likely to have:

use strictures 2;
use Moo;

since strictures fatalizes most warnings as well as turning strict on for maximum "telling perl if I made a mistake to barf immediately rather than trying to be helpful and guess"
Would love to hear your thoughts on privatizing the Department of Energy.
NASA’s New Horizons Team Publishes First Kuiper Belt Flyby Science Results
> What happened to actually communicating with users to learn more about how they use the product?

https://www.nngroup.com/articles/first-rule-of-usability-don...

"watch users as they attempt to perform tasks"
It's always concerning to see a compiler not being written in the compiled language.
So, security by obscurity?
systemd nspawn
Of course what you fight for is readability and only readability. Especially in large projects. There will be literally 10 man-hours spent on reading this for each 1 man-hour of reading-followed-by-altering-it.
This is ridiculous, no statement exists outside of context.

> "If you saw someone about to murder a child, would you punch them to stop it?"

> "Yes I'd punch that person"

> This just in: AndrewUnmuted advocating violent assault and battery.

We would never stand for a journalist making that kind of report, why?

Because it's a contextomy of the worst kind that totally twists what was said, and is tantamount to a lie even if "technically" it's true.

Why should Twitter encourage the spread of that lie?
the standard library does not allocate any heap memory, but heap modelling will be added to the prover eventually.

note that there are convenience tools to deal with heap-free targets (microcontrollers) such as tail variants (statically enforced flexible arrays):

https://github.com/aep/zz#metaprogramming-or-templates-tail-...
Lessons Learned from My First Week of Code Review
Apply for the jobs. Your chances of getting it don't significantly improve after 50% of the requirements[1]. So, just choose something you're really interested in, spend a bit of time getting familiar with it, and then start applying. You'll quickly find out from interviews what you need to learn to get further. After that, the number of jobs you apply for is more of a factor than anything else.

(I didn't know this at the time, but trying this is how I got my first Linux sysadmin job)

[1] https://talent.works/2018/11/27/the-science-of-the-job-searc...
Just because it's public doesn't mean it should be shared with everyone.

You wouldn't type your number into a HN comment, would you? Probably not because you know exactly what would happen.
from Matt Karp on twitter:

"Sanders leads the Iowa popular vote, but an unprecedented 40+hr delay lets another candidate, who leads only by a metric so arcane experts can barely explain it, to claim “victory” & media spotlight"

Are you telling me this is acceptable?
Maybe. As a new father, though, back to the office from parental leave, I'm not pumping breast milk in the lactation room. 3 times per work day, ~40-45 minutes a pop. This is something my wife is actively dealing with today and it causes her a lot of stress, due to the fact that she's essentially MIA on the job despite the fact that everyone is aware of what's going on and she has full support. The perception that she's not pulling her weight is potentially there, and she struggles with it herself because she also feels like she isn't pulling her weight. It's all really complicated and we'll never truly have equality here, I don't think.
Windows users should push for FOSS drivers as well also when the proprietary ones run perfectly. Privacy and security issues aside, being forced to depend on a closed driver means that the manufacturer can make the product obsolete just by stopping support on newer Windows versions, therefore turning the product essentially into trash, thus forcing the user to buy a new one.
Constitution schmonstitution. Just say the magic words -- "national security" -- and that problem goes away.

The NSA is already selecting people with "Linux" and "Tor" in their search histories for added scrutiny.
It may be public, but I don't see you posting your phone number on HN. Perhaps that's because you don't want everyone in the world to have it? Doesn't seem like an unreasonable expectation to me.
It was donated to the CNCF years ago. As of today, it's the only "Archived" CNCF project:

https://www.cncf.io/archived-projects/ (https://web.archive.org/web/20200205190817/https://www.cncf....)
Yes it does matter, because food is something that I put in my body, it has a direct correlation with my health. Clothes, not that much.
I'm telling you that when there are people on these threads that actually have firsthand knowledge of the subject, and all you've got are citations to Twitter and Matt Stoller, you should ask more questions and make fewer sweeping statements.

Thankfully, this got flagged off the front page, and there's little point in continuing to argue it.
There is not a consensus on prevention of speech, hateful or otherwise. There is the attempt to claim a consensus, but only so as to move on to creation of enforcing bodies.

I think we should enforce laws against behavior, not speech or thought. Political Correctness attempts to police speech and thought. This is dangerous, especially when armored with the force of government. You get tribunals in Canada charging people with hate crimes for writing books.

Government is people with power. It always, always comes down to flawed individuals. It is flawed individuals applying it to flawed individuals.

Should there be outcries against racism and sexism? Yes. Should there be laws that say if you act based on bias (denying jobs, housing... etc.) that you face consequences of punishment under the law? Yes.

Should there be someone allowed to decide that your facial expression requires that you be subjected to 2 hours (or 2 weeks) of "education"? No.

We can come to an agreement on what we as a society consider to be "nice" and "polite". That's part of how societies work. We must never enforce being "nice" (to Stewart Lee's take) because it is an ever-changing, subjective thing. How will we come to value the next societal advancement if we aren't allowed to hold and discuss opinions that differ?

This freedom is too important to a civilization dedicated to freedom to allow it to be sacrificed on the altar of propriety, anyone's propriety.
Apple adds ability for developers to sell Mac and iOS apps as a single purchase
Pre- and post-condition annotations (`where` and `model`, respectively) are great. It's nice to see those in a new language.

Syntactically, this seems more like a Rust dialect than a C dialect. The primary relation to C seems to be portability (transpiler) and integration (ABI). This is true of most C-transpiled languages, though.

It's certainly cute, and potentially useful if your program is small enough to be solved by a SAT solver. Ideally relatively quickly, or those compile times will be poor. I wonder how it deals with machine registers, which are often something you would be using in embedded C.
The article links to another article (https://publiceditor.blogs.nytimes.com/2015/12/14/perfectly-...) about an "unmanipulated" image :

'Editors reviewed a number of possible images, many that did not include Mr. Trump, but chose the one that did because, she said, “it was perfect.”'
I don't know about Salesforce, but SAP courses are really expensive. Just corporate users do them. It's almost impossible to self educate yourself without working in a SAP Consulting firm.
The government can't pay those costs unless you are suggesting some kind of communal child raising situation rather than having children raised by their parents. Raising children well requires a lot of time and effort. I don't think it's defeatist to acknowledge that. If you want to try to improve that, find some way to raise children without needing so much of their parents' time and energy and without sacrificing quality.
Gilad Bracha: A Slice Through the History of Programming Languages
> In the twenty-first century, examples of this modern particularism are rife. Pistor describes, for instance, the exceptions from general bankruptcy rules negotiated by the derivatives industry. In normal bankruptcy cases, secured creditors can claim access to their collateral first, and unsecured creditors have to divide what remains of the company or estate. For fast-moving financial transactions, that procedure is too cumbersome, so the collateral pledged in derivatives deals is granted an exemption from the usual queue of claims. In cases of bankruptcy, it is transferred directly to the counterparty, leaving unsecured creditors empty-handed.

I'm not sure what the issue is here. In both scenarios, the secured creditors walk away with the pledged collateral, and unsecured creditors are left to divvy up any remaining assets.

It sounds like the only difference is that the process is expedited, or am I missing something? (note: I am a former lawyer, but did not practice bankruptcy law)
Not all costs are monetary. Do you need a source for that?
Ahh, the part after the hyphens is something I wrote after the initial comment I didn't mean it to sound so abrupt.

Notably my test method was completely and utterly flawed - I used a Firefox Private Browsing window forgetting it blocks content-trackers (like GA). Still, having now visited it properly it is as you say.

And Hey! I'm down in soton every week :D
they don't need to know the formulas or mathematical logic behind physics, but 5 year olds do have a working model of physics in their head. And AI wouldn't need to know the actual formulas either, but it would need some working model that owuld allow it to differentiate between those
>Should your spouse leave you or die, and you are totally dependent on him, that would suck.

A) Don't have children with someone that is going to leave you, B) life insurance.

>But that was not really what I was thinking of but rather the ability to be financially independent later in life because you actually had a career.

Why is that desirable? Would society not be a better place if many more people were dedicated to helping their communities rather than making money for corporations?

>With the system we have in Norway with leave for both parents

To be clear, I'm not opposed to the idea of family leave for fathers.

>Your logic seems to be that depriving my wife of any career or financial security she is forced to stay with me.

Choosing to marry someone and have children with them is a permanent choice, and one that should not be done flippantly if you want what is best for your children. I don't understand why you think it is beneficial to optimize for enabling spouses to divorce. It seems to me that it would be a better idea to optimize for having people marry and have children with someone that they are very unlikely to want to divorce later.

>I want my wife to be with me because she wants to not because she cannot survive without me.

If you want what is best for your children, you should pick a spouse that would not consider divorce except in the most extreme circumstances, and you yourself should not consider divorce except in the most extreme circumstances.

>And for children it is better.

It sounds like what really changed in Norway is that fathers have changed their attitude toward child rearing. That, I think, is unambiguously positive for children, but seems to me to be entirely orthogonal to having both parents be independent. Parents can be sole financial providers and still take a very active role in raising the children. That is more about the attitude of the parent than anything. If you believe it is not your job to rear children, you are going to do it poorly whether you work 60 hours per week or 0.
Bingo. Based on just what's publicly known about him and Ghislaine Maxwell, it's pretty obvious they're both tied with Israeli intelligence and were collecting blackmail material the Mossad could use to "influence" powerful people. Sexual blackmail is intelligence 101.
>And I'd bet that those who feel forced into that choice choose career over staying at home with their children more often than the other way around as a result.

Perhaps, I don't know the numbers, but either way, that is not the way it's always been, and it's clear that many people for a long time have been actively trying to increase the number that pick that option. We should carefully look in to who those people are and what motivates them, and then ask ourselves if we want our people taking their lead.
How good is Jadon Sancho? Here is why Chelsea should pay £126M
True that, some might argue it is a primal urge.
> Assuming you have a relatively stable growth curve, you should have some ability to predict how long your hardware upgrades will last.

But that's not how the real world works. The databases don't just slowly get bad. They hit a wall, and when they do it is pretty unpredictable. Unless you have your scaling story set ahead of time, you're gonna have a bad day (or week).
Does it work for all articles from WSJ?

Interesting they dont allow Google users to access it from Search Engine but Facebook.
Yeah - one of the outfits I mentioned had a bit of a catastrophe due to this - BOMs in SAP and XLS were different, they made a medical product (for children) that exceeded RoHS and REACH lead and mercury thresholds. They made millions of units before the mistake was realised. Oops.
Fabrication de machine à dessin et d'écriture à l'aide d'un Raspberry Pi
It seems like the pre- and post-conditions could be used to prove program correctness?
Even my drawing tablet? Im starting to hate the present day philosophy of pervasive surveillance acceptability when I can't even pay premium for a device and have it not track me constantly.
Our course was still using the occam-π revision, listed in the article, to teach concurrent programming ~10 years ago.

In a world of docs on tap and Q&A forums aplenty, learning an esoteric branch of a small, ageing language provided a crash course in concurrent programming and a DIY mentality to problem solving that our Java assignments maybe didn't insist on.

It doesn't look like much has changed but it was nice to re-read all the same!
All those poor trees...
If the threat model is real burglary (not the hollywood kind where expert thieves steal everything in your house), storing footage on a NAS somewhere in a closet or in your basement is fine.

If your threat model is this fantasy burglary, the burglars are going to know to simply cut your Internet line before they rob the house to render the cloud-connected shit useless. Then they will just steal the cameras to ensure no local caches push data back up when the Internet is restored.
Cisnormative. Not necessarily transphobic.
8 Years of Experience Isn’t the Definition of a Senior Software Engineer
> I know this is the popular conclusion - but from a developer perspective, data such as what software your product is used with is INCREDIBLY valuable for project planning and prioritization.

Maybe if it were only used for that it wouldn't be so bad. But I don't trust a company not to take another bite at the apple by selling customer data if they think they can get away with it. Matter of fact, refusing to do so is leaving money on the table and could get a CEO fired for not making the company as profitable as it could have been. Once companies have the data, they are almost certainly obligated to use it in ways to their benefit and your expense.
> From my experience most containerized apps use higher port

Most public images I see on Docker Hub run on default ports. Sure, a lot of these are configurable, but then you need to reconfigure all the consumer services to use a non-default port. FreeBSD is not an option, unless you are willing to run on your own hardware. As for iptables, does podman provide network isolation where you can define iptable rules per container? I know it wouldn't work with docker.
Making Halo in a Distributed Environment – A Co-Development Story [video]
Coronavirus crisis shows China's governance failure
SAP is the one of the few software companies who manages to consistently produce the worst possible user experience. They actually made it into an art form. There is nothing about an SAP product that is usable. Its a big steaming pile of shit. I don't even want to know how the code looks like.
For those interested in a great read on why causality really does matter, give "The Book of Why" a read. I'm not convinced Judea Pearl's modeling approach is the most rigorous, but it does a clear and convincing job putting causality (esp. w/ data fusion!) at the heart of modern systems (including ML).

For those on a more mathematical bend, check out "Causality" by the same author or "Causal Inference for Statistics, Social, and Biomedical Sciences" by Imbens and Rubin
We are prone to dismissing facts that don’t fit our worldview
Ah in that case I stand corrected. In any case dealing with others is .. subtle.
Eh, it pretty much is. At least in the US

I have a pretty unique name, you can search my first name + "voter registration" and get my address, phone number, and birthdate

Even if my name was common, it'd still be out there
Adobe and Salesforce overturn old order in cloud revolution
Could be easy enough if your opponent is not expecting it and deploying countermeasures. Something like a customized AdNauseam https://adnauseam.io/ that prefers clicking some particular crap you don't like.
Fraying alliances, inequality, out-of-date military doctrines, increasing American isolationism, increasing polarization, rising fascism, tension in Europe, tension in East Asia, tension between established powers and new powers...
What's the large project using ZZ? Or is it behind closed doors? This appears to be an entirely different ZZ programming language: https://scratch.mit.edu/discuss/topic/80752/
LinkedIn CEO Jeff Weiner Ending 11-Year Run
The evolutionary history of 2,658 cancers
That's a feature not a bug, otherwise you'd have people gaming the system.

I'd say if you haven't worked a year, you don't deserve a year off, pregnancy or not.

Plan your life accordingly and take responsibility.
Is that per parent or is it shared between parents? That really sounds incredible, going to have to remember to look this up.
Datacentre-type applications where you need a relatively inexpensive server-grade drive.

For example, the P4610 is a great deal for a mixed-use drive.
I love L-Systems. I somehow obtained a couple of VHS tapes in the 90s when I was a kid of early computer graphics, and was really taken by the generative artists — like Karl Sims. This was also the heyday of big bookstores like Borders, and I’d spend hours in the “Computers” aisle, where I found “Advanced Animation and Rendering”, which covered L-Systems.

These are fun things to code because they can surprise you. Even when you understand the rules, it can be delightful to see what grows.
Creating a Logical Replica from a Snapshot in RDS Postgres
Using SAP Software Does Not Make Your Enterprise Better
You're cutting hairs here. Phone numbers are protected under both European and US privacy protection laws.