skysight-inc/HackerNews huggingface dataset:
Is omitting a specification of undefined behavior the sane thing to do, though?

I was thinking that "undefined behavior" in a spec is a serious misnomer. It's paradoxical if anything is defined as undefined, and it lets you confuse it with actually undefined behavior.

If something is in the spec as undefined behavior, it's my understanding it could legitimately lead to, say, global thermonuclear war. No guarantees.

But if something is not in the spec at all, say the effect of having your "const" keywords bright blue, then the spec is not sanctioning the end of the world happening as a consequence. The entire world provides constraints of reasonableness and other relationships that must hold.

This seems like an important difference! The latter is what I would call literally undefined; the standard version of undefined is (a) inherently defined as undefined, and (b) falsifies itself, because nobody would actually use a compiler that could cause the end of the world, ever.

The discussion of undefined behavior and the concomitant blaming of those who inadvertently invoke it have gradually come to be associated in my mind with the blaming of people for self-driving car crashes. They may not be related exactly, but homomorphic. It seems like popular and gradually spreading pathology in human thinking. Maybe it could be called "computism" after "corporatism".

I guess maybe the issue is that the world is mostly composed of "unknown unknowns" and it is incredibly attractive to a lot of programmers to declare them Somebody Else's Problem. But I'm tentatively suggesting you can never just disclaim those "unknown unknowns" and therefore you should never fall into the trap of trying to define the undefined. It's a vast ocean, not a few drops of water you can build a fence around. Unfortunately this sounds, even to me, like vague philosophical meanderings, but I strongly feel that there is something like an intellectual prion disease out there, and that impression has been building ever since I was browsing comp.lang.c.* in the 90s.
Probably, but there are plenty opportunities to learn to cook, but not many to learn lockpicking. Moreover, the argument “don’t teach skill X because skill Y is more useful on average” leads to silly consequences — it entails that you should never learn any advanced or obscure skills, which is absurd. Cooking is also more useful than programming, and yet you can make good money and have fun writing code. The point here is that learning is not exclusive, you can learn both to cook and to pick locks.
odd arhive.is does not work with 1.1.1.1 but does with google dns.
We are open to suggestions, but the largest cognitive load, we think, comes from reading the actual arguments and thinking along, not from the way we present them.

This interface version 4.5, but we are happy to try new stuff. :)
Thanks for building, I'll consider in the future. Though, I wish the fracture in C++ compilation wasn't so frustrating.

LLVM has really helped pushed the boundary of compiler feedback. But still, GCC wins consistently in my experiments of performance.

These days it seems you have to realistically target both and their sanitizer capabilities. Of which, both have drastically improved since CLANG said 'Hello world's.
It's not about feelings; it's about intent. The intent is not at all the same, and you know it. There's a huge difference between discrimination designed to suppress a group of people, and discrimination designed to give disadvantaged people a chance that they should have been given in the first place. The former describes 200+ years of American history, and the latter describes a handful of efforts in recent history.
that show was a slippity flippity flop mos def
Five Tools for Starting Security Analysis of Android Apps
The SO UI for participants (rather than people looking for an existing answer) is mediocre-ish to weak. They seem to be a thoughtful lot so I imagine some of it is deliberate but that itself points to more fundamental design problems - making things annoying is better at annoying people than it is at discouraging certain types of user activity.
I use the beats wireless headphones - they have the same wireless “magic” (I write software, and nearly failed university physics so magic will do) and they solved my cable issues. AirPods don’t fit in my apparently deformed ears :)
Sometimes I really do miss my old welding job in the shipyards, and the fun of the people I was working with is a big part of it.

(It was also the most meritocratic job I've ever had- your ability, or lack thereof, was on display for everyone to see. And working on teams where everyone is competent is a joy, virtually regardless of actual task.)
First, I did not say that the F-35 was a lost cause. It might be maturing, though it doesn't seem to be maturing very quickly.

There is a position within the Pentagon called the Director, Operational Test and Evaluation. This position requires a senate confirmation and serves as the Secretary of Defense's senior adviser on weapon's testing. I hope to hell that he (every DOT&E has been male, so that's not gendered language) is qualified.

The current DOT&E (Robert F. Behler) is a former Air Force test pilot who reached the rank of Major General over the course of a 30+ year military career. He has a couple of masters degrees and amongst other interesting jobs, was COO and Deputy Director of Carnegie Mellon's Software Engineering Institute. He has held the title since December 2017.

In 2016, the DOT&E annual report contained all the problems that I related in my answer to you and many, many others. You should give it a read - it's online and written in remarkably clear language. The 2017 annual report wasn't much better. It essentially said that they were finding deficiencies faster than they were being fixed and in its current state, the F-35 would not be suitable for combat.
Probably because Perforce scales to truly massive monolithic repos while git traditionally doesn't (the insanity going on at Microsoft notwithstanding.)

Personally I feel the best method is using lots of small repos, one for each service or library, that get stitched together by the build system. I know some large tech companies have created such systems and I have experience with one of them working very well (they migrated from perforce). But this is a big change from the monolithic repository model and institutional inertia is very real.

(Perforce will eventually start to hit a wall when you get to the point where money won't buy hardware big enough for Perforce to serve your repo fast, but that's a very long way off for most organizations and I believe there are some mitigations for it.)
Maybe a plunger is enough to scare british children not to mess with a robot?
You can sometimes find self-contained chunks of bigger software that lend themselves to that kind of style. For example, I once had to write a highly-compressed on-disk memory-mapped data structure for searching for large sets of phrases in text, along with associated payloads for each one. About half of that code is actual code; the other half is paragraph-length comments walking the reader through it. How are the payloads encoded? How does the index work? How do we handle prefix compression? What's the deal with unicode normalization? And so on.

It was so much fun to write! These opportunities don't come along very often, but they do come along sometimes.
Mi ne pensas, ke Kialo estas kiala afero.
> C is a low-level language. Its compilers perform ever more extensive optimisations. These aren't in tension.

Yes they absolutely are. A low-level language has fairly little to get between you and the processor. Extensive optimizations get between you and the processor.

https://en.wikipedia.org/wiki/Low-level_programming_language

> Compiler optimisation has been improving steadily for decades.

Not all that much. See Proebsting's Law. Also see "The Death of Optimizing Compilers", by D.J. Bernstein

https://cr.yp.to/talks/2015.04.16/slides-djb-20150416-a4.pdf
I thought their case charged them quickly? (I use giant beats headphones to make me look cool ;) they ostensibly have 40 hours, but take quite a bit longer to charge)
We had a thread of F-Droid apps a while back on Lobsters:

https://lobste.rs/s/8xtyxo/f_droid_app_recommendation_thread

Lots of apps in it. I had no idea so many were using F-Droid.
Well, at least we tell people to vote the claims "impacts" not likability. We haven't yet researched how well this works, but anecdotal evidence suggests that it does have some impact.

The heart, is just a thanks to the original author and doesn't impact the sorting.

We are going to do something drastic to the default impact shown, because we agree that the average is not really an interesting measure. 1-2 months.

I hope we are not overselling ourselves. We are no panacea, what we do, is facilitate and capture the reasoning of all viewpoints. This won't automatically lead to consensus. But at the very least you can now truly understand where others are coming from and write your opposing claims to whatever they consider being their strongest points.
1. I wanted to see your GH profile because I simply do not believe that you are what you claim to be. - Non college educated black dev making 200+ a year. That "self-aggrandizing noise" is social proof and as I suspected you refuse to provide any. I run into people like you any time I tell people any aspect of my story ie: blah blah poor kid made it big via coding blah blah. There is always someone like you that attacks what I have done and claims the same but can never provide a single piece of evidence to support their claim.

2. There is actually no #2. I have work to do, the things I build help people so while you may take this reductionist attitude toward me and my work it really does not matter because as long as I can push code and use that as a mechanism to distribute my ideas at scale to cause measurable change in the lives of others my code matters - I suspect Fredrick Douglas would be proud of that as where you are just all talk.

Also, https://dietmanager.com - my work is FAR from a simple CRUD app but good luck w/ that.
GET RESULTS IN PROFESSIONAL WAY WITHOUT TIME WASTING FOR ALL KIND OF EMAIL HACK.Change School Grades? Hack Banks? Erase Criminal Records? Hack Websites? Hack Database? Hack Drivers license? Hack Call Log? Hack Visichat and Flashchat Rooms? Hack FTP User and Pass? Hack Facebook,Whatssap,Twitter,Instagram,Webcam etc.Hack VB Forum? Hack Wordpress Blog? Hack CC any Country? Hack Money Booker Account? Hack Liberty Reverse Account? Hack Paypal Account? Root Server? By Pass Google Phone Verification? Install Red on Linux Server? Hash Crack? DDOS Server? Retrieval of Lost Files and Documents CONTACT:
Email: oneofonehack At G mail dot com
Whats app contact:+15185049376
Text num:+15186284630
Website: oneofonehack dot com
While I cannot commet on whether or not these are peer reviewed, this may provide some insight

https://www.alzheimers.net/6-15-15-effects-of-medical-mariju...
https://www.ncbi.nlm.nih.gov/pubmed/17140265
https://www.salk.edu/news-release/cannabinoids-remove-plaque...
'A Diamond Is Forever' and Other Fairy Tales
Not at all. UB is unpredictable because you don't know what will happen just from the source text, for example when you write beyond array bounds.

However, it can be perfectly predictable what code will be emitted: a store.
The only thing it's really missing is comments, but some people consider this a feature. (Honestly though, on high quality small channels the comments will often be worth reading, so I do miss it sometimes.)
That was a tongue-in-cheek example that many (https://developers.google.com/search/docs/data-types/factche...) considered to be lighthearted, uncontroversial and settled. In case you wonder, we agree with this user's debate on the matter :)
https://www.kialo.com/7216
Well let's fucking hope it does. Why would anybody with a grain of sense trust a corporation? The whole overt, stated purpose of incorporating is to avoid responsibility, oops, I mean "liability."
There's no real reason to go cold turkey from caffeine. I've gotten to over 600mg/day. Not quite 1000mg though. :) Even so, when I have cut back (which I've done, multiple times) I just reduce my usage over 1-2 weeks and it's fine.
I couldn't wait and just tried a simple version of this activity with my daughter, using 440MHz mini-radios and an activity list. She decided she wanted to be in an underwater simulator, something like Aquarius Reef Base[0]. Her bedroom served as the base in this simulation.

She made it halfway through the list of activities (lego building, drawing, yoga, etc.) and we determined that the environment will require lots of patience for a five-year-old. :) We simulated an emergency egress and she swam back, hoping it was OK to continue playing with the radios.

My sons decided to take their simulation outdoors and are currently exploring Mars with a stopwatch that times their radiation exposure. We'll see how they do. Lots of interest so far. (Edit: They did "a lot of things" on the planet and said they enjoyed the exploration)

0. https://www.youtube.com/watch?v=v3qqO8yQswg
> The problem is, that argument mapping

This strikes me as exactly right. There is no obvious way to formally guarantee that the content of a person's argument actually matches the formal structure that they claim it has.
I see a couple of other references so I know I'm not unique, but my first experience of version control was SCCS on SCO Xenix. Then RCS, CVS, SVN and Git. I never used Perforce or ClearCase. Knew some folks who used PVCS and StarTeam and Visual SourceSafe.

I played with Bazaar, Monotone, Mercurial and Darcs but not enough to really appreciate them.

As an aside, I met Larry McVoy at a Linux convention in 1999 and heard him speak about BitKeeper. Those were interesting times.
I'm not saying the person is stupid, I'm saying they're doing something stupid.

Can I not call foolish things foolish?
Surely most creators of SPAs are using some routing library, and I’m not aware of any routing libraries that don’t handle this anchor tag click behavior by default. It’s really a trivial amount of “responsibility” to take on.
Thanks for sharing the video. It's really good.
Yeah, but isn't this the problem that the earned income tax credit was designed to solve?
Your approach might reduce the rates of these genetic illnesses, but it would not eradicate them, as most commmon genetic illnesses have a non-negligible rate of spontaneous occurrence.
We don't know, as far as I can tell, if the prior CEO took money off the table during prior funding rounds. So he might have made some money.

Happy to be corrected if someone is in the know or has a reference, but it's pretty common on large fund raising rounds.
Haven might not be in the main F-droid repo(?), but you can add theirs to install it. It’s also on the google play store and the source is available to build it yourself.

https://guardianproject.github.io/haven/
If you want easy system-wide ad-blocking without root, take a look into Blokada. Also in F-Droid. Implements a vpn through which the traffic is routed, and this way the DNS blacklists can be enforced. Note that, due to android limitations, you can only use only one vpn connection at a time.
Practical Attacks on Face Recognition with Infrared [pdf]
Maybe you could propose alternative interfaces, and let each users chose the one that best fits them.
Likely intentional, since for a crew escape test the capsule will be a low cost, simple, boilerplate test article.
My apologies for not being clear about my DigiNotar and StartComm examples. What I intended to point out here is that in neither case were these failures something which one could have discovered in advance by reasonable amounts of checking how trustworthy the CA was. DigiNotar's compromise was (as far as I know) completely unpredictable and appears to have come from a state-level attack; StartComm actively hid itself and took significant work to uncover. Both CAs would have passed most people's checks done beforehand.

If advance warning is nonexistent, there's no point in even trying to check. If advance warning is hidden, you have a cost/benefit tradeoff to make, and I believe that in most cases (ie with low amounts of money involved), it's not good use of scarce and expensive engineer time to try to assess the state of a CA.

(This is especially the case if your company doesn't already have an engineer who is relatively expert in the CA ecosystem and knows where to even start looking. Without that expertise, would something like StartComm's quiet sale to WoSign have raised any alarms even if you discovered it?)

As far as magic bits go, the one thing that self-generated magic bits can't do is insure that a complete first time visitor can't be MITM'd by an active attacker. Whether this matters (or matters more than the scary browser warnings) depends on circumstances.
Any person should be able to write filenames in their native language.
Very cool but I'm surprised you're able to make money in such a competitive environment. Did you know of the competitors before you started or did you just do it?
I can't speak for the UK, but my leases have definitely stipulated that you can't change the locks without notifying the landlord and providing them with a key.
Why f-droid doesn't have screenshots? It's making selecting proper app very hard
The slippery slope argument is nonsense. By that logic taxes is a slippery slope to communism. Employment a slippery slope to prostitution :)

We should encourage people with rare generic deceases to use fertility treatments that filters out particularly bad genes; or adopt children instead.
We are waiting for IBM to unleash their Debate AI on us :)
Based on the wiki it's because the last build of it failed for whatever reason.
HBO Must Get Bigger and Broader, Says Its New Overseer
I would agree that in general open source software is less likely to contain such things, since anyone who inspects the source would find the bad stuff.
I've heard of Nexcloud. What's the difference between it and Syncthing?
This gets insanely complicated legally and ethically, because there has to be independent proof of loss of mental competence (which happens when...?) - but paradoxically, assisted suicide legislation to date assumes a person is competent to make the decision for themselves.

Clearly both can't be true. So at best you end up in a brief window where someone can be assumed to be competent enough to understand their situation while also understanding that the competence may disappear in the near future - possibly by the time they've travelled to a clinic - and someone else will be making a life-ending decision on their behalf.

There also has to be no suspicion that anyone will benefit from accelerating the suicide option - which is not always as straightforward as it sounds, and would ideally have to be investigated explicitly on a case by case basis.

My mother had middle-stage Alzheimer's at 90, although - perhaps mercifully - cancer killed her before Alz could.

We had issues with power of attorney, because she was very clear she wanted to go home and live on her own, and it was absolutely obvious that she wasn't able to do so without endangering herself.

Aside from the emotional heartbreak of having to tell someone over and over every time you meet that they can't have something they really want - because she couldn't remember a conversation from minute to minute, never mind day to day or week to week - there were also a formal legal process involving two oversight bodies (local services, and the national Court of Protection) to make sure that keeping her in a home against her will was actually in her interests.

It would have been far harder if she'd left a living will saying "Please make arrangements for assisted suicide when it gets to this stage" and then apparently changed her mind as the disease progressed to the point where there was no possibility at all of mental competence.
> python expects you to remember all the minutiae of all the code you are calling. If you cant remember, then you need to suck it up and pick your way through the code and mentally keep track of what is going on at every stack frame.

I have seen python code written this way. It's not a joy to work on. This function returns this type of class or this other type of class based upon input, and the two are not interchangeable say, so you have to refactor a bunch of code if your type changes underneath you.

The typical pattern is a method should return something of one kind of class only or raise an exception. And then newer tools like PyCharm can help you out here by knowing what the functions are going to return.
I'm not ignoring its foundation in India, only affirming that what we know of as Zen was critically developed in China and Japan. American English has roots in Britain, but it's distinctly American.
One thing that can be made obvious in a drawing is the distinction between what the user is expected to type, what's already on the screen when they start typing and what the output after they've finished typing (and hit enter) is. For some reason, the drawings in this intro don't do that. I also probably wouldn't give a friend unfamiliar with the command line a tutorial that teaches 'rm' and 'sudo' this early on.
post in on /r/python and write a small comment about why created it etc.. Its generally a welcoming subreddit.
+1 for Simple Mobile Tools. My newest phone didn't contain much vendor installed apps, so I was looking for nice and preferably open source replacements for the basic apps like gallery, and simple mobile tools solved all my problem.
If only. A lot of intellectuals were trained in argumentation but not formal logic. The number of times I see `a => b` be equated to `b => a` is mind-rending, and that's not even getting into issues of causality.

A while back someone who stayed himself an intellectual posted a contrapositive of a statement as if it were a brilliant insight.
OsmAnd - tried this on 3 devices, none could download/render anything at all on any network connected. Looks like a heavy thing anyway
My family called them Duluth Bags: https://en.wikipedia.org/wiki/Duluth_pack

They're just giant bags with straps: no frame, no padding. They might be hard to find online but you should be able to find one in pretty much any outdoor shop. Maybe look for a 120L duffel with straps. Love 'em.
This is a very good question and puts the situation well into a perspective.

My cut feeling is that if we count every genetic disease then two digits are necessary to express this number.
Not really, not in a way that would solve this sort of problem.

Who would pay that cash? Where would the money come from? How does the buyer valuate that money coming out of somewhere when figuring out their offer? How does it interact with the preferences on the investors’ stock?
Not sure, what would you want to see in Kialo for that?

We and others have tried that.

We gave experts a multi theses debate and let them discuss the various options (that's also what we do internally when having to decide things) and then looked at the outcome and switched through the perspectives to see what the individual experts thought.

Some use it in that way for board meetings. Instead of receiving memos that don't touch upon each other's points, you receive a Kialo in which all departments added their reasoning for why their favorite solution is good and the others' not.
Snapshot Work of Art