skysight-inc/HackerNews huggingface dataset:
I find the problem with development "methodologies" are the people implementing them. Frequently the Agile Master or someone who has read the book and granted a certification but doesn't understand the subtleties of company culture, team capabilities or project etc. They just want the "process" to be followed.
Party Teens Margarita C Peachy Gang-Bang Carmen Fox Redtube Serpente Edita Tube8
To complement: Leroy recently worked on a research project, Verasco, to formally verify a static analyzer for C (in the likes of Astree, Frama-C, Polyspace, etc.) that could plug that hole: if the analyzer reports "no undefined behaviors", then you are sure your program compiled with CompCert will result in a bug-free program. Turns out that it is very hard to scale such analyses, but with more research they may end up working for real-world programs.
List of Awesome Online IDEs
> map / filter over list is different from arrays.

How?

CL-USER> (remove-if-not #'evenp '(1 2 3 4 5))
(2 4)
CL-USER> (remove-if-not #'evenp #(1 2 3 4 5))
#(2 4)
CL-USER> (loop for x in '(1 2 3 4 5) when (evenp x) do (format t "~&~a~%" x))
2
4
NIL
CL-USER> (loop for x across #(1 2 3 4 5) when (evenp x) do (format t "~&~a~%" x))
2
4
NIL

Even a function like:

(defun print-evens (sequence)
(loop for i below (length sequence)
for x = (elt sequence i)
when (evenp x)
do (format t "~&~a~%" x)))

Works for both, although it's considerably more efficient for arrays.

> Even in the 2000s we had to hand write Java Iterators and fear mutation while iterating .. that sort of things.

And even in Lisp, the standard specifies "The consequences are undefined when code executed during an object-traversing operation destructively modifies the object in a way that might affect the ongoing traversal operation."
Ada only caters to developers and industries that care about quality before price, and where sloppy programming and cutting corners might kill people.

Given that the computer industry still enjoys EULAs with disclaimers, product refunds and lawsuits due to sloppy programming or CVE exploits are still pretty rare, it is almost impossible to convince people otherwise.

One of the great outcomes of the increase in malware attacks is finally getting more buy-in for safer native languages.
A simple theory of Moore's Law and social media
Small personal story as a former french cs student :

I remember my thought when i was taught oCaml : we had to recode ocaml type inference, in ocaml. The teacher was really satisfied in the end , saying things like « that’s good ! Now you see, type inference is like a theorem proof ». It took me ten years to understand what i did this day, and what my teacher meant.

When i was a student, i wanted to program videogames ( like many cs student i suppose), so all this research and very theoretical concerns were very very remote from my interest. Ocaml was a weird thing that had very little to do with my future everyday job.

And now i start to look at F# for web development, thinking that the whole stuff is just beautiful.
The manifesto emphasises the importance of sharing the values of a method, before actually applying the method. It's the difference between wisdom and dogma. Take tests for example: blindly going for coverage metrics will be much less effective compared to having a deep, shared understanding of the pro's and con's of testing. To know that your co-workers have a similar understanding of the methodologies, makes the methodology itself of lesser (or no) importance.

Personally, I am of the opinion that a strong emphasis on test-driven development in the long run will cause waterfall-style development. Tests are all about risk-prevention, instead of risk-mitigation. Prevention eventually becomes exceedingly expensive, whereas mitigation is all about building robustness into the running system. Due to that, the scalability of mitigation systems, such as true micro-services or actor-systems, are inherently more dynamic and cause less latency in development.

I don't understand your last statement. It seems to confirm my position: "... anybody who sits down is shouted at ... ". The process (standing up, not sitting down) is less important than good team dynamics (not getting shouted at).

(edit: down-voters, please share why you down-vote! I'd like to know. Also, please don't down-vote based on opinion, but on weakness of argumentation instead.)
OpenRCT2 (https://openrct2.org/) allows you to play RCT2 together on a multiplayer server. It's awesome.
Or rather, proprietary software and hardware.
You should probably at some point recognize that everyone doesn't live in America
This is just to say we have explained the plum jokes in your Twitter feed
Yes okay. I can add that Bitcoin is practically useless because you can get the exact same service using other coins like Bitcoin Cash.

The problem is uncertainty if your transaction goes through, because it's practically impossible to predict if the fee you just paid will be enough, and that Bitcoin cannot support more users.

Gold does not have these issues. Gold also has other usage but what is the use of Bitcoin if you cannot move it?

> In addition, believing that Bitcoin is dead for transactional uses because of temporary issues may be a mistake.

Agree. I should say that Bitcoin is practically useless right now when the fees and confirmation times are skyrocketing.
Coin minners via WebAssembly
Since when did Duterte wants to control social media? Liberal Party wants to control social media since 2016.
Well the argument in the article is "By telling the story of one polar bear, Nicklen hopes to convey a larger message about how a warming climate has deadly consequences." But that particular bear is probably old and sick and its problems likely not caused by warming such. I guess you can use it as an illustration of how you think warming may be bad.
In the spectrum between "continuous" and "discrete", I wonder where the chess problem lies. AlphaZero learning from zero hard coded behaviors, and following the description of exploring all the paths one might put it close to being continuous. The thing is, AlphaZero shines by aggressively not exploring lots of paths. So there must be some kind of abstraction it relies on to filter theses paths; and this represents some sort of local minima of the topology of the problem.

I'd be very interested in knowing if some rules can emerge from this. And if it can be extracted from the AlphaZero internal model. Hopefully rules that can be interpreted by humans. It could be measured by: what percentage of play decisions can be reproduced with a rule expressed with under 150 symbols? Both for chess moves themselves, and for a path-pruning strategy.

I think in the future explainable AI will be a standard part of the AI/ML stacks. The DARPA launched recently a program titled just like this [1]. They talk about deep learning; but I'd be very interested if some results can be had with Reinforcement Learning.

[1] https://www.darpa.mil/program/explainable-artificial-intelli...
Timed Petri Nets Real-Time Constructor
Do you disagree that American police are more prone to violence, and perhaps more eager to apply violence than other police around the world?

I actively avoid American police. Unlike in other developed nations, they treat civilians as the enemy. Yet, unlike in developing nations, you can't just bribe them and get on with your day!
Majority of my coworkers have not done this. With some of the newer stacks, it is not really possible, yet. And in a distributed world, it is genuinely not feasible, that often.

I think this is an odd one. That the act of stepping through code hella build the skill to mentally simulate stepping through code. Which helps reason about it. I don't have data to back that claim. :(
How to Play WMV Files on a DVD Player
>> On the other hand this Duterte guy seems to be the usual violent dictator kind and there is no way I can get behind that.

An actress twitted that Duterte is a psychopath and his response was: "I leave her to her Constitutional right to free expression. She should enjoy that".

Dictator right? Some of Duterte's dictatorship plan include:

1. Federalism so that power can be spread throughout the country not in one place only
2. Freedom of Information
If a methodology cannot be followed effectively by (presumably intelligent and sincere) individuals, why blame the people?

This reminds me of the people on the far right or left who believe, "[Capitalism/Communism] can't fail; it can only be failed."
I doubt that that's the one true answer. If I had been researching the topic at the time, I would have accepted eventual consensus. As somebody who has done research into algorithms, the reason why I would have disregarded Bitcoin's approach is that it's inherently terribly inefficient.
Maybe the point was to explore methods of parallelism?
I didn't say anything about gun control or other measures that might be employed to control issues such as regular shootings. I only said shootings don't seem to be considered a problem that needs fixing by (presumably) a majority of the society you live in.

On a societal scale just because there is a differential across different societies does not mean that one is wrong and the other is correct. They might just be different. For some people, for example, it is obvious that you can't compare median European culture to American culture (in as much as American and central Chinese culture do not compare, to cite another, perhaps more obvious and common example), for they are vastly different even if superficially similar and sharing some set of values.

Since these societies do not compare, assuming measures to control issues transfer between societies is foolish. I.e. assuming that gun control would work in America based on gun control working in other places is nothing but a non-sequitur in my mind.

Again, and just to reiterate, I am not arguing for some set of regulation or another that (presumably) your society should enact or not. I merely observe differences and of course see things in a certain light and tend to rank and order things a certain way, after all, I know in which society I want to live, and I know in what society I would never want to live.

(clarification: when I write "America" I specifically mean the United States thereof)
Just to show some numbers, in the last 10 years, there are about 50 shots fired by the police per year for whole Germany, killing less than 10 persons per year. The precise numbers can be found in the table here: https://de.wikipedia.org/wiki/Waffengebrauch_der_Polizei_in_...
These where often rather agressive trades, even without violence actually occurring it's threat was still on the table.
Other countries have plenty of weapons around, yet don't have police that use deadly force immediately. Finland is a prime example[1].

[1] https://en.wikipedia.org/wiki/Estimated_number_of_guns_per_c...
Wow, Thanks for point this out and I have never heard of Soundhound before. ( Talk about Discovery problems )

There are many times when a song suddenly pops up into your head, and you cant record the exact lyrics, the may likely be a few words that is wrong so Google doesn't help, and humming it in Shazam never worked. I had always thought my voice was sounded too bad.
Exactly. Software development is fundamentally unpredictable because you're always making something that's new, at least to the team doing the making.

After all, if you were repeating yourself, you'd just re-use the methods and classes and packages you'd already written; worst-case, you could copy+paste the code and tweak it.

And since you're doing something novel, of course you're not going to be able to predict how long it will take, beyond extremely broad guesses.
Emacs, one of the most reliable software ever was written in a language with no typechecking -- in Lisp! Emacs never crashes although it is configurable by the user in almost any way -- also in Lisp.
In that scenario I bet they're even more effective without the condescending "manager" adding nothing.
The sports bra: a short history of an undergarment revolution
I rented a friend in Japan, and it made me a better friend
> bitcoin makes a design decision which undouly favors early over late adopters but it wouldn‘t necessarily need to.

Explain please how it would be possible to create something like bitcoin which does not in some way or other favor early adopters over later ones, I really can't see it so this is a genuine question. Not 'pre-mining' is roughly equal to simply not adopting it at all. I see it analogous to a founder not believing in their product to the point that they will not use it. Of course 'Satoshi' could have not pre-mined as much but who is to say whether those coins are even accessible today?

And anybody that joined in later than that already lost that early adopters advantage compared to those that joined earlier.

Which probably means that (wild hyperbolic assumption following) if you haven't done anything with it so far you'd look at me and my miserly number of coins as an 'early adopter' whereas I was - and still am - pretty skeptical about bitcoins long term viability.
In the winter seals have to use holes in the ice to breath, which makes them very vulnerable. Without ice it is much more difficult for bears to catch them. http://www.athropolis.com/arctic-facts/fact-seal-breathing.h...
Notes on Postmodern Programming (2002) [pdf]
Why does the truth have to come from social media sources? Did people suddenly forget about old-school journalism? Newspapers, publicly-funded radio and TV programmes etc. Those are far better sources of 'truth' than you'll ever get through social media.
This is a course that was offered through Coursera a while ago.

Very good course, it focuses on concepts (there are many) with a little theory too, but just enough to sample the soundness of claims being made.

Highly recommended.
I stopped reading right after here.

"All those “out of iCloud storage!” notifications that Apple pushes to your home screen in the hope that you’ll spend money on services that other companies offer for free."

Repeat after me. There is no free lunch. If something's free you're milked in a different way. No company is altruistic to keep offering you services without getting some benefit from you/your data.

I pay for my email service. Their business is sustainable and are not motivated to sell my data. They still could, but their terms and conditions I agreed to will prevent them from doing so without getting sued by me.
And this led to the police militarization?
Can we please call this the "No true Scrum Master" fallacy?
I just read that opinion and it is pretty solid, but I can offer a more precise correction for his opinion of American behaviors.

Yes, he is correct about attitudes regarding individuality. According to the Geert Hofstede indexes the US is the most individualistic country in the world by a lot. As an American who has lived outside the US for years it isn't this individualism that is to blame.

The actual behavioral culprit is thoughts on security. The US is a generally safe place and the wealthiest nation in the world, but the attitudes on security here are more similar to those of third-world countries I have live in. Americans have a cultural fear of injury whether that injury is a physical harm, disrespect, or an injustice. This was one of the huge selling points when Trump was campaigning for President. He really capitalized on people's fear of terrorism and ISIS. No matter how remote and irrational those things are these were real fears people had.

These security fears are such a huge deal to American culture that it explains our use of military and politics to such an extent that the US always scores relatively low on the Transparency International Index considering the actual low corruption and efficiency of government services.
hahahaha well done
Mozilla had a strong stance against a content blocker in firefox for what ? 15 years ? Whatever they said to justify this position it is obvious that the actual reason is conflict of interest with their main source or revenue.

I don't think anyone can really blame the decision, but they should be more straightforward where their loyalties ultimately lie. The fact that one of the best known alternatives to chrome and so called independent browser is in cahoots with Google is a sad state of things.
> satisfying requirements on time and within budget—I haven’t seen any methodology deliver consistent results

There seems to be a false premise. Methodologies don't deliver consistent results on time and within budget because they attempt to help to figure out those software requirements, so that an actual problem can be solved, not useless requirements satisfied.
Bitcoin: The amazing investment based on dream gold invented by a wizard
In Lean Six Sigma mistakes are treated as mistakes of process not mistakes of participants.
According to multiple friends that are from Kathmandu, pedestrians are more like to be killed that injured from cars. The reason is if a driver disables a pedestrian they need to support them financially for life. But if they kill them they have a fine with a maximum limit. So it’s often less expensive to kill someone that to injur them. Therefore there are numerous cases of drivers hitting a pedestrian, not killing them, then running them down again to make sure they die.
Intel Management Engine Critical Firmware Update
Join the Muse as Director of Product, Partnerships and Build at Massive Scale
Lisp is the secret power tool of developers who really understand computing.
Hashline – real-time discussions
While it sounds plausible on the surface, this is not at all supported empirically. There have never been economies without fractional reserve banking that one could reasonably compare with ours.

There are also plausible-sounding arguments to be made in the opposite direction: Fractional reserve banking allows money to be created and destroyed adaptively to support the economy, which makes the economy run more smoothly overall.
> I don't know why, but somehow people don't get it that agile is not a methodology but a spirit.

Because of all the agile coaches, boards, trainings, conferences and companies. It feels then more like a religion.
Showing that the design of the GB dates back to the time of the NES and C64. The tight coupling between the CPU and the CRT beam meant that you had similar interrupts there.

And as those systems supported color displays (in a limited fashion), it was used for things like swapping palettes mid draw.

While it takes whole different level of effort to do so, it is quite impressive what can be done on limited hardware when one do not have multiple layers of abstractions on top.
On the topic of jobs that will be replaced by AI, her job can be replaced by a casette player:

> Mia Garlick, Facebook’s director of Asia-Pacific safety programs, said, “We are committed to helping ensure that journalists around the world feel safe on Facebook as they connect their audiences with meaningful stories. We permit open and critical discussion of people who are featured in the news or have a large public audience based on their profession or chosen activities, but will remove any threats or hate speech directed at journalists, even those who are public figures, when reported to us.”
> There is such a things as physics in software: between time, scope and people, one of them almost always has to give

This can be true but can also be completely false. Massive differences in productivity are possible depending on how individuals work together on a team.
Is this US / Regional Specific? I have never seen this working anywhere in Asia.
Scrum is great for non-software companies that need to write software.

They will not attract the most talented software developers (on average, not in all cases), and the business people for whom the software is a means to an end care more about consistency and predictability rather than quality.

As a result, fungible resources (humans), deeply regimented stories, regular delivery milestones (sprints), and consistent velocity IS the best possible outcome.
The accuser just admitted to forging the yearbook
In the Philippines, the old school journalism that you are referring is dead. Most journalists here can be bought and this is a fact. We use social media to get information from government agencies pages without the "spin" included.
> Android OS features an omnipresent “back” button on the bottom left-hand corner of the interface. Want to go back on a website, or back to your last email? Don’t dislocate a thumb stretching to the top of the screen, learn some strange new gesture, or activate a weird Accessibility Mode that moves everything down. Just hit the button that’s always there. Done.

I always wondered why Apple didn't copy that. Every time somebody hands me an iPhone I'm lost, I tend to go back to the home screen and start again from there. However everybody is trained to use a browser back button, even since before 2007. Google built on that.
A GraphQL Client Library for Go by Machine Box
> Maybe social skills come harder to programmers than to other people (I’m not convinced that’s true)

This is, in fact, the answer.

You haven't truly SEEN office politics until you've worked on a team of developers. I'm shocked a reality show hasn't come out yet about software development. It would make Survivor look like Family Matters.
Maybe it's not the actual number of shootings, but the video evidence, the militarization of policing, and the lack of even personal responsibility much less punishment for things that look like murder.

Yesterday's example:Graphic video shows Daniel Shaver sobbing and begging officer for his life before 2016 shooting

According to the police report, Brailsford was carrying an AR-15 rifle with the phrase “You’re F—ed” etched into the weapon. The police report also said the “shots were fired so rapidly that in watching the video at regular speed, one cannot count them.”

https://www.washingtonpost.com/news/post-nation/wp/2017/12/0...

How many like this should we see every year? How many don't have a nice video to release?
Volunteering helps with anxiety and stress
Could be, but if it really was extra debugging code then they might just have forgotten to remove a debug flag or add a prod flag, so they just had to flip a bit and recompile. Yes, that requires incompetence over malice, but firmware/drivers seems to have some really low quality stuff happening.
I don't participate in BTC because I find the whole thing hilarious.

Between it's inability to work as a payment method at scale (transactions per minute), exchanges running off with client bitcoins, exchanges getting broken into constantly and the shady way it's handled when that happens and on and on.

I'm not saying the idea is fundamentally useless (clearly) but the implementation is terrible.

I might be wrong and in 20 years I'll be getting paid in BTC but I'd bet that isn't the case.
For those reading this thread who aren't aware of what's happening in the Philippines, this is the guy that you are defending:

https://www.theguardian.com/world/2016/sep/30/rodrigo-dutert...

>Rodrigo Duterte vows to kill 3 million drug addicts and likens himself to Hitler
Agreed. Though he may need a partner in one of those “popular” people to handle the sales and networking side of things.
You are utterly wrong about that, and it is easily proven. (People not only believe the fake news stories, some of them even arm themselves and storm pizza parlors to rescue the innocent children Hillary Clinton is trafficking as sex slaves, or refuse to vaccinate their kids and thereby put their own children and others at risk, etc etc etc etc etc).

But it's interesting you are getting so worked up defending this idea — why is that? What cognitive bruise are you protecting?
Silicon Valley (TV series) does a pretty good job in my opinion.
I agree, politics are easier for developers for some reason.