skysight-inc/HackerNews huggingface dataset:
> See for example the sel4 microkernel, which is small enough to have a well-verified model for a bunch of different hardware.

The workflow for seL4 starts with prototyping in Haskell, formalizing everything in Isabelle, and then translating into C. This results in highly unusual C code and much of it would be better serviced with a DSL. I'm guessing that C chosen because it has formally verified semantics and compilers as well as integration with proofing assistants.
It would be fair to count in years of education and training. Just like with any other profession.
Is it true that iphones get slower over time?
>Lisp is not special in this regard

In reality, yes, at least because of two differences:

1. Lisp is a significantly more powerful language, compared to most non-Lisp languages. Thus, many patterns and practices that are needed in other languages, are simply not needed at all in Lisp, or become far simpler.

2. Lisp is a "programmable programming language" where code is a "first class citizen" and can be manipulated as well as any other kind of data such as numbers. This opens a very different approach to programming, with its own, different "best practices".
Though tangential to the points in the article, there's also a common failure to distinguish between freedom from infringement of speech by the government, and freedom from infringement by private parties. The former is guaranteed by the federal government; the latter is not (though some states provide limited protections [1]).

Not to mention failure to distinguish exercise of free speech (permitted) from discrimination against protected classes (prohibited). (The old "I'm exercising my right to free speech by refusing to provide gays/blacks/etc. services" argument.) "My rights end where your rights begin" is an important pillar of modern society that really precludes any sort of absolutism about free speech.

[1] https://en.wikipedia.org/wiki/First_Amendment_to_the_United_...
Ok, then. Here's what I want:

= Give me my + operator back.

= Don't "guess" at additional matches not specified in my search terms (beyond stemming). Or let me trivial, simply, and immediately specify such handling.

= Tell me the collection / last updated time of results returned, and let me actually, effectively filter based on these.

These alone should help me start to evade the massive pollution of search results that have me cringing a bit internally these days, in anticipation, every time I'm about to search for something that isn't a trivial response/result.

Thanks
No, it counts, it's just those states have recently been competitive. But being competitive or not is just the aggregate effect of individual votes; and which states are competitive or dominated by one party or the other changes over time, sometimes quite rapidly. (Some of us can remember when, in Presidential elections, California was viewed as a Republican presidential lock.)
Not only is the new Tree Style Tabs a step backwards from the old, I'm also not running that addon, but this one: https://addons.mozilla.org/en-US/firefox/addon/tab-tree/ I find it lighter and more responsive.

As for the session manager, I need more features: saving and loading several sessions, etc.
the constitution is a construct of white supremacy. abolish now. impeach now. flag this post now.

all republicans and conservatives are nazis. everyone who disagrees with me is hitler and must be silenced before people hear them, because I am the sole arbiter of virtue.
according to the IETF draft, the acknowledgements directive is meant to point to a page thanking people who have discovered and reported vulnerabilities in the past.

doesn't seem very useful to me. since the document supports comments, just put that link in a comment.
Failing up is a real thing.
If that's the biggest problem a country has, I'd say they're doing pretty good...
Oh look, top post about a story where China is taking pro-democracy political prisoners is defending China.

Why am I not surprised.
A gift to your family
It sounds more like Matt Cutt's external role.

If I were still at Google, I'd send you a welcome email and point you to the few things that I thought you got wrong in the past (mainly due to lacking the same context as those on the inside... now you can be the one biting your tongue). Quite a few of us paid attention to your writings. They were always among the most insightful, comprehensive and accurate, even when negative.

In some way, your hire might be a bit of a net loss, because now that you're on the inside, you're no longer going to be considered a neutral third party and I'm not sure that anyone out there writes as well as you did until June.
9 Proven Ways to Generate PR / News for Your Startup
That's what VMs are for! VMware Fusion on macOS is a really good product and I heartily recommend people use it.
Why not simply shrink the dial pad back down to iPhone 4 size and put it in the thumb zone? Is there a reason it needs to take up the whole screen? Sure it will look a bit weird, but the ergonomics would be a win.

I would probably still center it though, since we don't know which hand is holding the phone.
That comes to about $2.1 million per gigabyte. But it's also a bit of an unfair comparison since one user consumes far less bandwidth using SMS vs general data.
The Rules of the Gun Debate
CC-NC is not a license for code.

Creative Commons has spent a while trying to pin down what counts as "commercial use" for art and data, but they'll tell you flat out that code is out of scope. Ideas like "dependencies" or "linking" are not considered by CC licenses.
You're not wrong Walter you're just an asshole.
This also of course raises the question of what the rights of the audience are in terms of their choice to listen or not. This becomes especially complicated with situations like the internet (where the barriers to engaging in conversation with other people are lower), or on property which isn't a completely open public forum all the time. Ex. free speech rights might be restricted in a library, even though it's government property, where that interferes with the ability of other people to use it.
Yes... its Identity and Access Management
I have to accept that the value of the work I do may change in time, either up or down. Why do people in the music industry not have to accept that as well? Why are they entitled to the same economics decade after decade, while the rest of the world changes?
Then how can you determine which lines were most effective if those lines didn't result in anyone actually being hired?
This name is really confusing. If they called it "Shareware 90 plus other restrictions" it would at least convey a bit about what the idea of the license is trying to do.

Using "License Zero" is a really marketing oriented approach.
Right and all the bare metal providers like softlayer are probono orgs
That's not the result of 'loops in the network'. That's the result of the memory effect of wealth. See, this is the problem with handwavy gibberish.
From "The Dark Path":

> Now, ask yourself why these defects happen too often. If your answer is that our languages don’t prevent them, then I strongly suggest that you quit your job and never think about being a programmer again; because defects are never the fault of our languages. Defects are the fault of programmers. It is programmers who create defects – not languages.

http://blog.cleancoder.com/uncle-bob/2017/01/11/TheDarkPath....

I think that software defects happen too often because the most widely used programming languages don't do enough to prevent them. That makes me the audience of this statement. And he says that I should abandon programming. I think that's rather presumptuous of him.

(I also think that on average programmers aren't careful enough and don't spend enough time making sure their stuff doesn't break, but I see that as primarily an economic problem. Most software companies are rewarded more for delivering features than closing the security holes. We can attack that problem either by finding some way to convince software vendors to pay for the tremendously expensive effort of testing software, or we can reduce the effort required by using stronger type systems and formal methods. The latter seems more realistic and attainable.)
Thank you for your service. I did some time at good ol JBB in 08-09.

This is when I first started smoking. First I was bumming here and there, then in order to not feel like a bum I bought a pack and slowly the pack would disappear faster and faster... I smoked for four years (At peak a pack a day) and gave it up cold turkey. Lots of wasted money.
This suggestion is missing the incentives present for software writers. Open source drives adoption and the network effects of Google-ability and stack overflow Q&A, along with prestige for the creators. Straight up removing free commercial use does some real damage to the network building - your license prevents it from getting used for many projects.

What you want is a license that allows use in "cheap" situations without giving away your right to price-discriminate against companies that have large checkbooks. So, some sort of simple price discrimination screen built into the license. Something like "Does your company have 1000 or more employees? If so, pay us. If not, you've got a free license and 90 days to get into compliance if you change categories".
Do you have any links to his insights? They sound pretty interesting but I'm not sure what to search for to find them.
I do twice a day, local NAS backup and it saved my life recently.

A bug in a script I wrote in .net, was supposed to iterate through a list of network directories to delete (all starting with \\SERVERNAME\) and ended up iterating through the characters of the first item in that list ("\").

That's how I learned that in Windows, "\" means the root of the current drive, and that deleting all files from a drive on an SSD only takes seconds...
Hey! This is a bug—should be fixed in 1.0.2 later today: https://github.com/Foundry376/Mailspring/issues/17
Maybe a 7-9pm shift could make sense. A 5-7pm shift would result in drivers sitting in rush hour traffic and delivering very few packages. Or they could try a 5-7am shift. I'm sure no one would mind an early doorbell.
I lost a lot of time in the age test too. I was about 8 years old and we just started to learn English in school (am a native Dutch speaker). I remember keeping a list of correct and wrong answers so I could get in more easily.

Great times and awese game back then. I agree with the article though, the remake of the game is nothing like the experience of playing the original.
Cellebrite: Hacking into iPhones is harder than ever
My first go at lisp was working through SICP. I loved it. But I couldn't see myself using it for a medium-sized project just because static typing is that valuable to me.

Now I'm learning Racket, and Typed Racket feels great so far (despite a few awkward spots). You don't have to sit on that fence; you can switch between typed and untyped code at will.
When we "suppress speech", we aren't actually suppressing the utterance but rather limiting the audience.

This may seem like a good way to limit the spread of an idea and it will definitely reduce the spread in the short term.

However, people will always find a way to communicate (e.g. side channels and dog whistles develop). This means that eventually you've now only removed from the audience those who are the least susceptible to the idea and have the best tools for refuting it.

At this point, the idea is actually better able to spread within it's audience because dissenting voices have been isolated.

As you broaden the criteria for what is suppressed (used to be use of the N word, now includes mentioning any genetic component to differences in distributions of traits between genders), you end up driving more and more people into this isolated audience and encouraging the spread of very objectionable ideas to people who used to just have mildly objectionable ideas.

The more we allow private companies with monopolistic or oligopolistic products to push these voices out of the mainstream the worse off we will be in the long term as these ideas become more entrenched, isolated and difficult to remove.

The more we rely on shunning, ostracizing and public shaming as tools to battle objectionable ideas, the more we encourage the creation of communities that are fertile ground for those ideas to grow in.

[edit: minor grammar fixes]
> Some classes of problems are masked on a single system.

Yes but you can also have IPC failure, syscall hang, single thread hang etc. Instead of treating these as special cases, these could be handled by generic patterns that apply to 'distributed computing', if the system was designed similarly.
Such a bad “article”. Mentions an interview with Ivy but doesn’t mention where or to whom it was given. The text reads like three tweets interspersed with ads. Also, what logic is that: We use the iPhone too much so instead we should use Apple Watch more to do the same things (in this case read mails)?
Type systems, which the chart doesn’t address at all, are now usually considered at least as important an aspect to language’s ‘paradigm’ as the (increasingly-blurry) functional vs imperative distinction. And a lot of the examples are pretty dated, coming as it did at the tail end of the object-oriented and XML fads. And concurrency and especially parallelism are given short shrift.
This is great information! Slightly off topic, but I’m curious about your username. Why have you kept on using a throwaway for all of these years?
Really? I'm not sure if I could think of a single off-limits topic in standup comedy.
I seem to remember suggesting jobs.txt as a listing for a company’s open positions. Someone even made a site promoting the idea.

What I mean to say is that the concept of a domain is much deeper than html, and we use it so shallowly. The web is distributed and simple if we want it back.
> The main issue people have with the book is that it uses CLISP-specific code in a few places. CLISP's last release was seven years ago, and because it hasn't really been maintained it's beginning to bitrot. Folks in #lisp generally don't recommend using CLISP these days, instead recommending actively-maintained implementations like SBCL, CCL, ECL, ABCL, etc.

Note that CLISP is actively maintained; the most recent change was three hours ago: https://sourceforge.net/p/clisp/clisp/ci/63508ea11cf0b2062ca...

I have no idea why the maintainer hasn't released a new version since 2010. Doesn't make any sense to me.

I use SBCL, but CLISP is still alive.
But really, who is advocating the government do anything other than the fringes? The discussion around "Free Speech" is the concept, not the government's role in regulation of it or lack there of.
Yeah—something is definitely up with SMTP auth on Linux. I have a few test accounts it seems I can connect on Mac which are not working on Linux... stay tuned.
Siofra, partly-open source tool for scanning all DLLs for hijacking vulns
because it's a defense of an authoritarian regime?
Solving Atari Games with Distributed Reinforcement Learning
I welcome critique! And greatly appreciate the time you've put into this comment. I've bookmarked it to read again, in case I've missed something the first time around.

I'd also be interested in following up, publicly or privately, in a more direct way. I support what you're doing, and it sounds like you support at least the spirit of what I'm doing. We should talk.

One point I'd like to go ahead and bring up:

A common thread through the examples of success you've given is size. There are some examples of single-person, profitable operations, like Sidekiq, but they're very, very rare. Many successes boil down to economies of scale on services, information, relationships, corporate process compatibility and so on.

L0 aims to make one business model that currently involves a lot of structure---dual licensing---available to very small, independent players. As an indie developer today, sure, you can set up an LLC and start e-mailing forms off the Internet to procurement departments. But doing all that will swallow you, as well as the time you already don't have to spend developing software.

Part of making that play available to indies is automation. Part of it is standardization: one form for buyers to review. Part of it is network effects: one place for customers to get all the licenses they need, in one transaction. Part of it is recognizing a play that can, forgive me, "scale".

Dual licensing is the most direct of the well known options, in that sense. The software is valuable. Pay for the software. Where does the pay go? Into the one who'll make more and better software.
In the US find a dealer or the dark web, you can buy test kits to test for pure MDMA (Molly), to ensure it’s not mixed with things. Ecstasy can otherwise be mixed with opiates or uppers like speed.

I know a lot of pretty responsible users of MDMA (most use during festivals). It’s also best to not do it more than once a month as it’ll significantly decrease the effects.

It’s also important to be mindful that in days following the high may come a low where you feel more depressed than usual. This is due to the low seratonin levels your brain will have after you increased them to levels you’ve likely never reached before.

I also wouldn’t consider MDMA a “trip” per se. At doses like 80-120mg you will be fully mentally able, you’ll just have rose colored glasses on (a fondness for everyone and everything).

Otherwise some other tips are to chew gum as most people have an oral fixation on MDMA and you don’t want to grind your teeth. I hear taking Magnesium before helps as well though I haven’t personally researched that.
I hadn't dialed a phone number in ages (months at least) until I started developing a phone based website change recently. I just don't call people who I don't know. I tap faces 99% of the time. I suspect many mobile phone users are the same.
I echo the idea that he will try to fill the Matt Cutts role that mikkelewis mentioned in the comments. SEOs always knew to turn to Cutts when they had a question and it hasn't been properly filled since he left. I have a feeling we will be hearing from Mr. Sullivan quite a bit in the coming months. It has to be super exciting going from being an outsider (although well known and connected) to a Google insider. I wonder how others in the SEO community feel about it?
Is it always clear when it’s one or the other? If I say “western society is decadent and as such should be overthrown” is that an idea or an incitement to violence?
Ive only done security in SaaS in my career. This text file is pretty useleas. Disclosure is very out of place, and indicates to me that it's pretty much just for companies with a bug bounty

I'm a bit negative, but I don't want more useless emails from security researchers. Companies that do security well will adopt this, and are already easy to get ahold of...
> Most people don't want or can't afford to have their computer running 24/7.

I'm always telling my family and friends to reboot their damn computers every now and then. In my experience most people never turn their PCs off.
Interesting, your considering that your setup somehow compares to Blackblaze

Also if if he says it takes about 15 Min's for it to come online and be usable in their massive data center I would believe him.
Learning Diverse Skills via Maximum Entropy Deep Reinforcement Learning
West Virginia border is 106 miles from Washington DC. One of the poorest areas of the country is next door to the Nations Capital, that makes good press.
You are operating/arguing from the neutral reality perspective-- that is to say, that "we as a society" exists as a concrete entity that can pass laws. But that's not the case. We are not the government, far from it. The government is a collection of people who have power over us.

Many of them are corrupt and will do evil-- just imagine the worse member of the political party you disagree with as a dictator.

Every time you want to give government power to the government, imagine that guy as a dictator wielding that power.

Any limitations, as we have seen, on human rights become the camel nose under the tent, and then you eventually end up with government violating the right wholesale. (eg: secret courts and secret rulings, National Security Letters an the like, illegal surveillance and wiretapping.)

While inciting a mob to violence can be considered immoral, it is the violence that is the crime... the action.... not the opinion.
> Is it unreasonable to expect this level of effort out of any 20yo who's options are "be poor" or do this?

It's totally not, but the book presented him as a ambitious go-getter who pulled himself up by his bootstraps. I wish I remembered the damn book's name.
I may have not been obvious - i'm agreeing.
I don't like the approach either, and the point about accessibility is an important one that's very much non-trivial (but developers often ignore it completely at first).

It's like making a web page that renders everything inside Canvas elements. If that doesn't seem like a good idea to you -- why would you build your mobile apps that way?
Code here: https://github.com/deepsense-ai/Distributed-BA3C
Thanks pizza - you seem to lack the "forgot to post link"-extension ;)

No, really, I am interested. Please share. Thanks.
I personally think that music is a bad career choice. I started out majoring in music in college 20 years ago before switching to computer science, and while I still enjoy playing and writing and recording music, I enjoy whatever money I may get from it like a bonus.

I don't think that music industry people are entitled to anything in particular. I do think there's probably something suboptimal going on with streaming payments. If I were watching payment for my work drop 100x, I would probably be both looking for ways to "correct" that if possible, and looking for other work to do...
I really don't think so. I don't think persons of color not want to be constantly assailed with racism online fall into that category. Women not wanting to be assailed with death and rape threats on line don't fall into that category.
You can't release your code in a way that it can be used as a dependency, except by requiring your downstream users to use the License Zero payment platform. That's an encumbrance.

You also can't distribute it along with GPL code, at all, whereas combining BSD and GPL code is totally fine (the result is GPL).
Creating a Serverless Uptime Monitor and Getting Alerted by SMS Using Zappa
$120 billion per year, you missed a factor of 10.
To be fair, attitudes of many on the coasts are doing a good enough job of that already.
>Without type annotations and checked structured data for everything

I guess this problem you mention must be Clojure-specific, because in Common Lisp you can declare the data types of the input parameters and all return parameters, and have the compiler (i.e. SBCL) do static type checking; also the compiler can tell you which data types are accepted and returned by your function, by use of the "describe" function.

Furthermore, you can define your own types, structs, and classes, and the declarations (and static type checks) will work with them as well.
Are you saying that "hate speech" is a concept that is only adopted by the fringes? Doesn't seem to be that way to me.

20 years ago, it was the fringe. Now it seems like if it isn't mainstream, it is close. Certainly we see Canada and the UK passing laws eliminating free speech for political minorities.
I'll agree with you on the precision issue, as these designs would seem to need greater precision to hit the correct button, even if only by a few degrees.

However, the consistency of rows I think only makes sense with physical buttons where you can feel your way across them. With a flat panel, we don't really have the feedback anyway, so you can't touch your way down to the next row and know where you are.

Having said all that, I'm not a fan of these designs, but I am a fan of the designer taking on the challenge.