skysight-inc/HackerNews huggingface dataset:
I read it in comments on forums where people argued about one prover vs another. I can't find an academic source with Google talking about it. No worries then.
> I am only 20, but I can't imagine ever wanting to leave

i'm having a tough time telling if this post is satire.
The Item interface requires a uint32 typed key, meaning that if you need a hash function to derive the key, you are responsible for resolving the collisions :D
I haven't seen that behaviour personally, but I don't doubt it exists. Mobile browsers suck.
Three laws to fix online advertising
Sending two copies of my book to a guy I've never met in Michigan
Free PLR Private Label Rights Internet Marketing Ebooks Collection
I pick number four: education. Which goes back to my point, that we need some sort of public awareness day on what Internet security _really_ is, or something - I don't really care what it is - to change the narrative. Otherwise we're going to have some huge disaster to some major infrastructure because of an unprotected remote connection like the article shows, and the company that committed it will likely cover up the cause.
Stereotyping in business consulting
Ok this is really bad -- one of the machines/images is showing a practice fusion terminal with PII revealed -- a huge HIPAA violation.
ASK HN: Why every language has its own build system?
Hello HN!
Why every language has its own build/(dependency management) system?
Java - ant, maven, gradle
Scala - sbt
Python - pip
Ruby - bundler
JavaScript - npm
...
Every time start having doubt creep in I think and act on one mantra.. Do the work.

It really is that simple.
Tqdm – a fast, extensible progress bar for Python
Using bind variables?
Aren't those exact copies from Mike Bostock's Visualizing Algorithms? https://bost.ocks.org/mike/algorithms/ Please give credit where it's due!
At my last start-up the average age of all employees was 39.5. There were still some assholes.
>Solving forum trolling could be brutally curbed by this method and would probably be effective with an extensible whitelist.

Sounds like a recipe for a forum full of sarcasm and passive-aggression.
Cat Selfie: The Next Copyright Battle?
There's no natural law stating that technological progress and capitalism is the exclusive interest of reality.

People make laws. People make technology. If we continue down a path of making technology only serve the accumulation of capital, people will course correct the direction of technology.
How one programmer broke the internet by deleting a tiny piece of code
Am I understanding you correctly when I assume that you mean you share data across threads?
The ability to kill an arbitrary goroutine from the outside. To use context you need to write your specific goroutine such that it checks for cancellation and will eventually handle a cancellation request. This cannot be done with an arbitrary goroutine.
I always wanted to see "I am a victim of the Telephone" updated.
Chinese activist's family 'taken away' over letter calling President Xi to quit
Same question. I don't get it, even after reading the FAQ...
tldr; ban everything.
Had those word been filtered none of this would have happened. I'm surprised Microsoft didn't have some overriding system

But then how you filter out stuff like 'the Holocaust didn't happen', which would be just as offensive even though it involves no swear words.

These are normative matters, which I imagine would be very hard for AI to tackle.
"helper process and have it manage the cache over a socket" is essentially redis, and another thing that introduces latency and can fail.
There is always a performance gain, and sometimes it can be fairly huge.
Behavioral Economics would say people love ikea because they put it together. [1]

1: https://en.m.wikipedia.org/wiki/IKEA_effect
> Notice how the for loops in the comprehension goes in the same order as in the imperative code.

Thanks, that's a sane way to explain the order. Up to right now, it was always "the opposite of what you'd expect", which was a memory rule that always failed me.
Ask HN: Should I write a cover letter?
Would it be helpful to write a cover letter to apply for a Software Engineering job?

If so what should its contents be?
Do we have gender studies graduates as modders? Seriously, this is getting annoying. I actually have a profitable start up that works in this area so I know my shit. Hackers really really need to kick this stupid stuff out soon or we all will be left for the worse.
I think the only mature, sensible response to the Lenna "controversy" was that of Deanna Needell and Rachel Ward, who published an image-processing paper using a test image of Fabio instead.
We built kindista.org with SBCL/Hunchentoot.
This not true. CPUs have instruction parallelism, even on a single CPU, but there is no observable concurrency.

SIMD is data-level parallelism, not concurrency.
Generating dynamic Python tests using metaclasses
A big advantage for Go is that the standard library has been stable since 1.0 and there are no plans for breaking changes.

This appears not to be true for lodash.
I've been coding in Node for a couple of years. I find it interesting. But I'm aware that the async model of Node inverts the flow of control, turning code inside out and makes application logic difficult to scrutinize and reason about. Stack traces in traditional multithreaded languages are easy to understand, whereas in Node a stack trace is necessarily filled with unrelated calls - or perhaps no stack at all in the case of next tick deferred callbacks - due to the single-threaded nature of the model. This necessitates passing around context via closures (or god forbid global variables!). The "context" in a threaded language is typically just the stack. With Node's async Promises and equivalents we can trick ourselves into simulating linear program flow, but it's a pale imitation of the real thing.

This got me thinking - why did the single-threaded "green" threading programming model like how the Java JVM was initially implemented all those years ago fall out of favor? It would be as performant as Node presently is but without the difficult async logic for the end user programmer. Async programming and green threads are duals - both use event queues behind the scenes to drive the scheduling. The complexity of the actual I/O and timer event callbacks is hidden from the programmer in green threads. The pseudo "thread" context switches would only be done upon blocking I/O. No need for actual mutexes as the program is still actually single threaded. Stack traces of green threads within a program would be easy to decipher. Computation on a green thread would also block all I/O as it would in Node, but we'd know that going in - no different from Node in that regard. Just the programming model would be simpler.
Taking it down is probably a very good idea, especially if anyone involved in it is subject to US law.
Really? I am pretty much mind-blown when the first time I learned about this. Given that my background is Mathematics, I thought it was pretty elegant and also looked very intuitive.
yea zoloft gave me a new lease on life even at minimum doses.

But most therapists are useless.
"I can't seem to find anything directly related to the software part - is SML/NJ a verified implementation of ML'97?"

The page says it's included in SML/NJ distribution. Probably one of the tarballs. SML/NJ is just an old compiler for SML 1997. FLINT is techniques and code needed to certify compilation. They're different things but apparently bundled.

"probably because more people actually write real software in OCaml than in SML?)"

That's what I've gathered. The SML people have strong academic focus with Ocaml people having more practical focus. A big community built up around it.

"As for Racket and SML, I came across"

That's neat but they both have no type checking. I'll skip to next question as it's relevant here.

" Curious about your line of thinking there."

LISP is easy to parse, easy to interpret, has robust compilers, supports incremental compilation of individual functions, modify/debug a running program, and especially extension with macros. Racket is a batteries-included LISP with IDE, active community, and strong support for DSL's.

Now, ML's strengths are strong typing, type inference, easily integrated into formal verification, lots of prior work/tools in that (incl compilers), and easy to model w/ macros. Embedding ML in a LISP gives me the best of both worlds. I once did this in a 4GL to have rapid development with extraction to C/C++ with safety, portability, etc stuff auto-inserted. Easy parsing also lets you extract to a number of ML's or LISP's to use their tooling to catch extra errors in yours.

I've only run into two tools outside of Racket doing this sort of thing:

https://github.com/combinatorylogic/mbase

http://julialang.org/

Mbase is used in commercial tools for static analysis, etc. It's a LISP and toolset custom designed for easily making things like compilers that comes with many DSL's for specific tasks, including ML. Julia raises the bar for 3GL language experience via a compiler written in LISP (femtolisp) that immediately translates the AST's into LISP expressions and works from there. It's more advanced than, but similar advantages to, the 4GL I wrote as it combines best properties of static typing, dynamic productivity, macros, and C support. Underlying LISP that enables that is only about 1,000loc to implement IIRC.

So, that's my thinking. I also thought of implementing the tool in MLton, too, but such things are even easier when your tooling and language makes extractions trivial. ;)
> If you've not read or heard it, I highly recommend giving a narration by Ginsberg a listen.

The narration I have is surprisingly sedate given the text of the poem. Not a criticism, really, just something which struck me as odd.
I think you don't understand tptacek's remark. It doesn't matter if they have setup passwords or not.
I think I follow. But why do I want general-purpose functions to ever be non-blocking in Go?

To me, idiomatic Go suggests that libraries, data structures, business logic, &c is encapsulated in blocking functions, and that concurrency is expressed in glue code.
...then you reach your late 20's....

Kids come along, you become more choosy about the people that you socialise with, free time disappears in an instant.

You still enjoy your job, but you can no longer justify spending more than 9-5 doing it, so what becomes more important then is to actually be productive during the 9-5
This means quiet, efficient "grown-up" offices.
It's here in the "Not a microkernel" section:

http://www.informit.com/articles/article.aspx?p=766375
Apple vs. FBI is not a free speech matter
Asian Immigrants Exceed Mexican in 37 States
Retention. I say this only partially kidding.

In the classic AcquiHire situation, sale price is determined by quantity of engineers. Retaining an employee is worth 1M a piece.
I noticed it at least on Reddit. Surely that would be their death note if Imgur did it?
Controversial “Warp Drive” to Finally Undergo Peer Review
Perhaps the author of that should have quit reddit first, or at least before making this disastrous AMA: https://www.reddit.com/r/IAmA/comments/4c27ss/im_pieter_hint...

And in particular this grossness (tw: rape, abuse, reddit)
https://np.reddit.com/r/IAmA/comments/4c27ss/im_pieter_hintj...

He'll hunt you as long as you run. I guess that's why he's hunting you, and it probably annoys him at some level.
You need to learn to conquer your fear and stop running, confront him with patience and a smile, deflect his attacks, regain control, and then wait for him to leave. I've tried to explain this in detail. The book is free so take a look online and see if it resonates.
1) I don't know whom you're addressing, but it's very unlikely someone used 3 different accounts to downvote you for something that isn't very political/controversial. For your reference, you can't downvote someone who replies to you, so it certainly wasn't me.

2) You can't "burn" downvotes. You have as many as you want, but can only downvote any eligible comment a single time. I can't remember what makes some comments ineligible, though.

3) You'll end up hating HN if you take downvotes personally. Downvoting is often a way to say "I disagree" without polluting the thread. Sometimes you hit a seam of (dis)approval, and there's no rhyme or reason to it. I hope a few downvotes won't stop you from participating, as there are a lot of brilliant people here who have interesting things to say.
I don't want to be a jedi Python programmer and exploit every neat trick of the language. I want to be a very good programmer and write code that's easy for others to read, debug, and maintain.
No joke: you should try to get a TedX talk and inform the world on this subject. I think it's golden.
> That must have been an extremely long time ago: http://www.ancientresource.com/lots/roman/romankeys_locks.ht....

Nope. I can tell there are still people alive these days who remember that this was still the case in most places of Western Europe.
> curated sets of packages with groups of people focused on doing the auditing and security along side my due diligence

How does this differ from how NPM works? For example the set of packages that is utilized by Express is downloaded more than 5 million times per month. There are tons of eyes all over those packages.

Sure if you are installing sketchy packages that have 100 downloads a month you have to do a lot of auditing yourself, but when sticking to the core modules that are used in practically every node project you can benefit from the auditing being done by all the others who use those packages.
>Your definition of pay2win is different from the nature of Minecraft.

This is a weak argument because there is no winning condition in pretty much every pay2win MMORPG. Pay2Win is not about winning. It's about getting an advantage versus nonpaying players.

You're selling ingame currencies and crates with a random chance of getting items in exchange for real money.

By the way what pay2win actually means is a redherring. The point is that this is an unethical business model that I don't want to support.
I wouldn't call list comprehensions a Jedi feature of Python -- they are pretty darn idiomatic and common.
Kinect breathes new life into respiratory assessment
The art here is balancing isolation vs sharing of resources.

If a lot of people share a file system and somebody uploads a lot of big files and fills the disk that can crash the system for everybody.

For a blog service you will have a lot of people who put in 2 or 3 blog posts and never get much traffic, you will have some people who get "lucky" and get 100,000 hits in one day, and a very few who create a lot of content and get lucky a lot.

Shared CPU & memory on a big machine is great when it comes to people getting lucky...
Don't forget lost future business too - good luck winning the next contract bid with this kind of track record (hopefully). If that effect is strong enough, it could potentially even put a place out of business.
Donald Trump worries Google, Apple and the whole tech industry
Problem is I'm getting home from work 7-8pm. Housekeeping, food, then rest, and I need to let my mind decompress before going to bed. That takes me past midnight. The only people I've seen do this over decades are very type A and/or they finish every night with a few drinks of alcohol. I don't drink.
You might want to preface your post with "ASK HN: "
By the way, are there any particular languages you'd be especially interested in seeing us support?
Burstable EC2 T2 instances: what are they, what's the performance and the cost
It also works with the if-filtering, which usually goes in the inner most loop.

Actually I don't recall if you can put an if between two for's, like you might do in an imperative loop.
That would be when Linus refused to apply some patches that would effectively give Microsoft signing authority over the kernel via UEFI.

In classic Torvalds style he wrote that if Red Hat wanted to deep throat Microsoft, they were free to do so in their distro.
I suspect it is easily hidden for the masses yet easily available for the few.
The best defense my family has settled on is to buy from farmers markets (whole fish, butchered meat), or buy fresh as in vegetables and fruits.

That offers no protection against hormone injected meats, or plants bred to look nice but with zero-nutrients, so we shop at reputable markets and hope they have a positive influence on the supply chain.

Its not exaggerating to say that many people in small african towns are eating more nutritious foods than we are getting in our modern, corrupted world.
WeFriends – A Social Network on a Serious Mission
no oauth support? that's the piece that's lacking in python. we want something like ruby's omniauth.
I could use a summary, its bit long winded.
> There is no way to kill a thread in Rust

Think about the interaction with (non-memory) resource ownership. This is just horrible, and I wouldn't even want it in a higher-level language. If you want to carefully notify threads that they must terminate, set up a channel, or write to a shared variable, but please do not just forcibly terminate threads.
Pretty sure people have had insurance claims refused in the UK because there was no visible sign of forced entry.
I was taught French in elementary school. It didn't take, and as an adult in Lausanne I had to call on Google Translate a lot.

Kids on an extended trip to France reliably learn French. IIRC Papert asked why we can't have a Mathland that works that way, and tried to build one in Logo and the culture around it. This produced at least one awesome, ripping book (Turtle Geometry), some excellent ones like Computer Science Logo Style, and I imagine some local incarnations of Mathland where enough acculturated people got together. I'd guess that schools taking it up too quickly was what smothered it, under school's immense power to turn everything in school into more school. I haven't yet read Papert's later books, though.

We need both let's-make-school-suck-less and ways to learn outside it. I hope someone with experience in these matters will comment.
Another source I can link to when people in comment sections blindly state, "y axis should start at zero!", which is almost as annoying "correlation isn't causation". Context.
That might be true if an AI's needs were comparable to a human's. But the AI's we aim to develop wouldn't really face an existential crises when they go without food or sex.

We can engineer an AI's needs. You might as well say it should be a crime to train puppies to do tricks.
Best post here.
I have nothing but good things to say about HubSpot. I never worked there, but I did work in the same building for about two years, and I managed to sneak in to a few of their parties, as well as snag a few bowls of free cereal. (They play up the candy wall too much. The cereal wall was where it was at.)
That's not really "cute" code though. Short list comprehension isn't any less readable (and certainly not less maintainable WTF?) than a multi-line "for" loop. In fact, I find short list comprehension more readable. I don't have to mentally keep track of place in a multistep loop.
It simply means the research is not insightful.
Better World: My Work Day as a Freelancer
He hope the op knows that mobile Chrome on iPhone is not "chrome" at all. It's a layer on top of the outdated webview of iPhone.... :)
In Japan street crime is very low but both bicycles and umbrellas are 'borrowed' on a routine basis. Kind of like an informal bike sharing system. Consequently most bicycles are of the $80 made in China variety.
The Easter Rocket War of Vrontados
David Blaine: How I held my breath for 17 minutes - https://www.ted.com/talks/david_blaine_how_i_held_my_breath_...
New 2D material could upstage graphene
Curlbash: locally save and checksum/review before curl|bash-ing
I'd love to check my DNA for potential diseases, and I'd like to know, for instance, if I'm a descendant of Genghis Khan - but this article reinforces my reluctance to send it in anywhere.

As I understand it, they refuse to do anonymous testing - they have good reasons, some of which are completely focused on privacy. I'd love to have an at-home kit, so I could check the contents of my DNA against a database of known facts.
Sounds like a pretty hard job...
How much a deep sea diver makes?
What about trans Atlantic cables , how many strands do they have ? And are they wide core fiber ?
If we improve the use case for anonymous medical care, I can live with 23andme being a subpoena farm.

Much scarier that you can't get a lab test without leaving 3 data footprints (insurer, lab, doctor's office).
Inventor Ray Kurzweil sees immortality in our future
I wouldn't leave my bike unlocked in Helsinki. Just last year my bike was stolen near the Parliament house (Kiasma) even though it was locked to the stand.
Yes, certainly I am not suggesting that we sacrifice humans to go open the sluice gates manually.

I am talking about doing it without computers. These things were done prior to computers with relays and switches and even status lights and a monitoring board, etc.

I'm advocating that we take out all of the general purpose capabilities as well as the ability to interoperate. A human being flicks a switch.
Stay clean bro.
Do you have a mirror of the bostonglobe article so the rest of us can read it??
The iPhone baseband processor speaks a point-to-point USB-like protocol to the AP, and does not have access to secrets stored in the AP or the secure enclave. Secure applications on the phone have to assume that the cellular network is insecure already, so the colocated baseband processor doesn't much impact the threat model.

So, no, this is not a good argument.
> Trade a copy for their email address and permission to send more things they will like.

...

> This works. Very well.

And has become annoying. Very annoying.

Recent "annoying web design trends" articles are listing this technique.
You can add The New York Times to that list, although they rewrote from PHP, Python, Groovy, Java and C++ so no idea how it'll fit in that list.

https://www.youtube.com/watch?v=bAQ9ShmXYLY
Also prohibited: == (children learn =), &&, ||, |, ^, %, ++, --, != (children learn ≠), ~, <<, >>.

& is maybe allowed. Sixth graders don't know about bitwise operations, but they know & means "and". That's stretching things a bit, though.

Is [] allowed for indexing? When I learned about arrays in sixth grade... No, wait, I didn't learn about arrays in sixth grade. For that matter, I didn't learn about functions using (): those are only for grouping expressions. Functions are just like, "sin 90". Also, since I didn't learn about code at sixth grade, I obviously didn't learn about using {} to delimit code blocks; , was only used in prose, not in mathematics.

Having said that, it's unclear why programming languages should be limited to operators that we can guarantee "sixth grade" students (whatever that happens to mean in your part of the world) will have heard of.

What actual benefit could it bring, other than (maybe) making it easier for somebody who hasn't learned a language to guess the meaning of a piece of code in that language? Is that benefit worth making code twice as long and rendering half the keyboard useless?

main() {
printf("hello, world\n");
}

Should, I assume be:

the main procedure is:
the message is "hello, world" plus a new line;
display the message;
stop.

Anything else will be too confusing for the many sixth graders currently working professionally as programmers.
Shrinks work for some people. I can't really take them seriously as it always figures to me they're just as much a wreck as I am.

Anyway, if I were you, I'd cut & run.

Like the fellow below said, you're young, don't waste your youth. Send them some money when you can but don't go down with the ship trying.
Because of the way technology adoption works, pushing for "some security" over "no security" is a good way to end up with "some security" (and, because attacks only get better, over the long run back to no security) forever.