skysight-inc/HackerNews huggingface dataset:
Thiết+kế+phòng+ngủ+bằng+những+màu+sắc+lãng+mạn
If you find a job that looks interesting, it's always a good idea to get in touch and find out the details and how much it is up for negotiations. Quite often there's details in the description, and if not, I would expect full time to mean something around 40 hours per week. It helps to look at the cultural background and where the organization is based. Especially benefits (vacation days, sick days, health insurance) vary quite much between different countries.
1st issue of Series F, weekly curation looking at the future of venture capital
Are there any unopinionated serverless frameworks that allow you to deploy to multiple clouds?
interestingly, you see airlines moving away from in-flight entertainment screens in the seat in front of you, in favor of BYOD. A logical move: let the clients bring their equipment (they bring it anyway) so you don't have to (install, maintain, spend fuel on, etc.).

Now with airlines actually removing in flight entertainment, flying from the Middle East to New York can be quite a long trip: no laptop to watch a movie, no screen in front of you.

I guess the US will stop banning as soon as one of these policy-makers is on the same flight as a few bored kids ;-)
No. Of course it makes little sense to apply to old jobs, but one of the goals here is to demonstrate that there _are_ actually paid jobs in FOSS. We keep old job listings around on purpose, also because it helps to find interesting organizations which you can then get in touch with.
> but "ridding toxins" etc is classic
> bullshit

That's exceptionally context dependant, and in this one:

> First is a protein called prolactin
> Adrenocorticotropic hormones are also common
> leucine-enkephalin

You've made the wrong call. I'm all about detoxes being pseudoscience, but you have more than one organ in your body dedicated to ridding it of toxins.
Showing that program code refines a TLA+ spec has been done for C and Java (although scalability is a different matter).

C: http://link.springer.com/chapter/10.1007/978-3-319-17581-2_1...

Java: http://ieeexplore.ieee.org/document/6042069

The C work seems more thorough.
Patches welcome. This is a hobby side project, and it does its job. (pun intended)
Well they cannot yet force you to divulge encryption keys, right?

And your nuke device might be worthless if they install a firmware exploit that will work later.
Except you'd never get an answer to that question.
If you want to avoid the techno-machoism (did you mean machoism or masochism? I thought you meant the latter, but realised it works either way though with different implications), find a tiling window manager that supports making windows floating, as that's really the one thing that is sometimes painful with some of them - if you e.g. start an application that opens tons of small windows (gimp used to be one of the great test cases for this - though now you can run gimp with few windows if you want).

But for me I picked a setup liked this because I was simulating it with a regular WM anyway by running almost everything maximised because that's how I liked it. I was happy to squint at tiny text when I was younger, and I used to care more about having a desktop that looked cool, and spent endless time on themes etc., but I got tired of it, and now I want functional. I still care that it looks good, but with less window-chrome there's less effort involved: I have a background image that's part visible behind my terminals; I have a theme I like for Chrome etc., and that's about it.

If you meant machoism: This kind of set up is far less flashy and in your face. If you mean masochism: For me at least this setup has removed friction and lowered the effort of managing windows, not increased it. I'm not using this setup to make this unnecessarily austere and minimal, but to remove stuff that got in my way.

I can understand the feeling though: It used to be painful to run these kind of setups. When the article was written there was definitively more applications that worked poorly with that generation of tiling window managers etc.
Please note that his sister testified against him:

> As part of their investigation, the Delaware County law enforcement officers also interviewed Doe’s sister, who had lived with Doe during 2015. She related that Doe had shown her hundreds of images of child pornography on the encrypted external hard drives. She told the investigators that the external hard drives included “videos of children who were nude and engaged in sex acts with other children.”

There's no racial conspiracy here, the guy is just a disgusting paedophile.
If the 'goal' of this policy is, as postulated elsewhere in the thread, to allow physical access to devices in order to deliver malware, etc., then how would you know your wiped device hadn't acquired a bootkit along the way?

Using a parcel-handling service, gov't or private, along with some tamper-indication of the package interior seems much safer, though not perfect by any means.
The point was this: the paper was _just_ published and people seem to forget that securing funding takes some non-zero amount of time.
I think NT's model is only possible when the API is intimately tied to implementation details of the threading model. POSIX derived APIs probably do not want to be quite as prescriptive.
Thanks!

After huge demand, the USB Kill V3.0 comes in an anonymous version.

No branding - No logos - Generic Case. The anonymous version is perfect for penetration testers that require discretion.

There's no way this thing would be used in a pentest. It destroys computers. Generally pentesters try not to destroy the client's property.

Amusing way to frame it, though.
Spoiler alert: serverless is made of servers.

But seriously what they mean is that you rent an allotted amount of resources on a server farm to run your application for a short period of time, and then the resources are freed again. Not all applications will fit this environment, such as any embedded databases, persistent connections, and so on.
To my surprise certain subfields of CS don't use LaTeX at all or rarely and use MS-Word instead. You kind of have no choice since the conference/journal templates are only provided in one format (well you can create your own template but only if they accept PDF entries...yes some only accept Word files).
> The share price is basically set by adding up all the future earnings of a company and applying some discount.

The share price should be approximately the average different peoples' estimates of the future earnings. There's no one organization setting share prices (you know this, but at the level of explanation you're giving, you should make this clear).

During a bubble, people sometimes by shares (or houses, or tulips, or any other goods) knowing they aren't worth the price, but expecting that some "greater fool" will buy them at a higher price because "everybody knows" the price is going up and up. Then the music stops, the market runs out of greater fools, everyone realizes they're stuck holding shares that are worth much less than they paid.
Even better the ESP32.

It's 512 KB are more than enough for most applications.

After all it was enough for having MS-DOS, Turbo Pascal development environment back in the day, just as example.
I believe this was previously the case, but it is now possible to opt out. I flew from Heathrow (Terminal 2) on Friday, refused the mm-wave scanner and had a pat-down in a private room instead.

From Heathrow's security FAQ page (http://www.heathrow.com/more/help-with-this-website/faqs/sec...):

The only alternative that can be offered to a scanner is a private search which allows for a more extensive hand-search than usual. Passengers will be escorted to a different location in the airport from the main search area (eg a private search room). The private search may involve the loosening and/or removal of clothing. A person undergoing a private search may ask to be accompanied by a witness.

This alternative screening method will take significantly more time than passing through a security scanner.
Add what about tontines?

https://en.wikipedia.org/wiki/Tontine

They are not mentioned in the article, but they are (were) IMHO the missing link between life insurance and gambling.
New hobby of PVS-Studio team: fixing potential vulnerabilities in open source
Isn't the man innocent until proven guilty?
Permanently infect the EFI on the laptop, while its enroute without your permission. Removing the hard drive is not a remedy, maybe remove the battery as well?
Yes.

But that's not all.

Depending on the country, your origin, your job, your beliefs, your principles, your preferences or whatever, a government could jail you just for being you. Forever.
Just a very pedantic IO test that goes through a long list of permutations of IO buffer sizes, counts and IO modes and finds the one that delivers the highest read/write rate. Basically, it estimates maximum IO rates realistically achievable by a userspace process, as opposed to a physical read/write rate at a disk level, which can be (misleadingly) higher.

The theory is over at https://ccsiobench.com/fast-bulk-io

---

NVMe drive from my test box - https://ccsiobench.com/s/UAr3f

SSD in USB3 enclosure - https://ccsiobench.com/s/UAtNj

TrueCrypt volume on the same - https://ccsiobench.com/s/UAxmh
What is remarkable is that the order bans electronics on flights from Saudi Arabia. I thought Saudi Arabia was still untouchable especially after the travel buns that excluded the country where terrorists harmed US most originated or got financial support. So however weak, it does add a credibility that the ban is based on some intelligence.
Pretty much what mintplant said, though on desktop Firefox you can also use UserContent.css (not sure how long it'll be supported for though).

http://kb.mozillazine.org/UserContent.css
I hope someday I'll read such detail research on when and how we evolve to lie. It always fascinated me, when this starts and how it propagates from one generation to another. I'm almost sure, it's the most unique human trait.
That's already the case for Linux and epoll, isn't it? Epoll isn't POSIX and is Linux-specific. If it's going to be platform-specific, it had better be right.

A different way to look at it is that NT was designed by a single cohesive team, working from start to finish, where as the Linux kernel was evolved over many years, via the contributions of many people, in a less cohesive way.
Ok, I finally found a good reference:

"In the 1960s and 1970s, David Rockefeller, then-chairman of Chase Manhattan, frequently visited Hong Kong and opened more branch offices there. In 1973, the bank became the Bank of China's first American correspondent bank." [0]

The guy who wrote the book in 2016 has an M.A. and Ph.D. in economics from Harvard, works for the Congressional Research Service and is an affiliate faculty member at the economics department of George Mason University.

Is this still fake news? Or was David Rockefeller the first American Banker to open a branch in China after numerous trips in Hong Kong?

[0] https://books.google.ch/books?id=Qaa7DAAAQBAJ&pg=PT116&lpg=P...
Technically you'd have to divide the 2300 by two. (1150 students pulling on a rope attached to an immovable wall exerts the same force on the rope as 1150 students pulling in each direction.) Still, even at 11.2lb per student, it's obviously easily attainable.

Edit: also not all the students were competing at once. Still, even with only a few hundred it'd be too close for comfort. For a safety-critical thing like this you want a healthy margin.
Yea you can totally use Lambda for that.
For example you can schedule triggers in Cloudwatch that runs a lambda at intervals to do whatever you need, for example generate a pdf and put it on s3 where you or your users can access it directly.
None that I know and sadly I missed the event but the slides are at http://slides.com/lanzone31/dawson20170303#/
The problem is that they probably don't want people to be able to easily replicate it, if it really works. It's the same reason compsci papers rarely include source code.
I use i3 with tmux. Tmux for me handles grouping of things I'm working on using sessions, every project or thing thing that I'm tinkering with gets a named session. I like that I can detach and leave a project in a state that I can easily come back to.

I also prefer to have one terminal window and organize it with tmux. Much like I only open one browser and organize it with tabs. Leaving my actual workspaces uncluttered.
Show HN: Single HTML Element JavaScript Game – Collect Infinite Gems
I have no idea why you would want to use this instead of running it directly in aws yourself. Maybe the learning curve is less steep but you lock yourself in with a 3rd party framework and if you run into problems you probably will have to learn aws anyway.
Them's the breaks. When you have such laws like that "everything causes cancer in california" one, the only recourse companies have is to cover their asses.

It takes one guy to file a suit that he got a seizure from your game when it didn't have a warning. Even if he didn't get a seizure, have fun in court.
Yes, they can be refused at Heathrow. I did so just a few weeks ago. The alternative process wasn't unpleasant but did feel deliberately inefficient.
Free Granary.pro that manages URLs, used for biz or writing documents, by folder
The new addition to maps is about doing that manually when you need to, with extra features like how many minutes left on the parking meter.
I have no idea why I started a lisp quest in my final uni year, but I felt the same when I found SICP.

ps: beside the very bad quality images, I'm still in love with the old layout.
USA to ban electronics on flights from some countries
The court accepted evidence that he'd downloaded and shared all manner of such filth, including both technical evidence and testimony from his sister.
Well, that book costs $99: http://www.springer.com/us/book/9781441997357

But there's been more recent work done in TLA+ on another realtime OS, where the mechanical proof system, TLAPS, was used to prove some aspects of the kernel correct, and you can read about it for free here: https://members.loria.fr/SMerz/papers/abz2016-pharos.html
Try git praise: https://github.com/ansman/git-praise
Plenty of art is educational, and therefore has a practical purpose. In fact, I'd argue a lot of art is functional.

Your line is wrong.
This started before 2000. I'd say we were going in a good directios .

Then someone had the idea to treat corporations as people and legalize bribery. Leadership sets the tone as they say in corporations, so what kind of tone do greedy politicians set?

Our upward progress was doomed to stall bigly thanks to that decision.
People dressed as dogs in an office  – strange news alert
How Intelligent PM Software Can Enhance Business Performance in 2017
I remember reading this back in the day and eventually winding up using a wm called ion3 instead of ratpoison. There wasn't much that set it apart from the other tiling wms and I forget why I liked it the best.

Apparently the dev had a bad experience with open source and refused to continue working on it or something like that. I don't think it's around anymore.
But commit signatures are actually just signing the SHA1 hash. So you still have the problem that you could just reuse the signature for the valid commit with the malicious one.
I see. I work with clients from Germany, Australia, and the Philippines. I have the time zone problem. But if it's relatively autonomous where they say "Do this" and you do it then no problem. But if real-time communication is a thing then it might be problematic still it's not too bad. I'm based in central United States. 9AM for me is 4PM in Germany for example.
Amsterdam Airport Launches API Platform
"Allegedly?" Is someone making an allegation?
Ask HN: What is Apple updating right now?
Right now some sections of Apple website say "We've got something special in store for you." Do you have any idea what they will update?
I've been doing the following for several years, and I think it's a good low commitment way of learning, i.e. there's a lot of bang for the buck.

1. Make a ~/git/scratch repository.

2. Whenever you see a code snippet in an interesting blog post, don't just read it. Copy it into a subdir of ~/git/scratch and run it. Write shell scripts to automate the process of running it. Prove to yourself on your computer that it works.

The first few times, it may be a little onerous. But eventually you will fall into a groove and it will take 60 seconds or less each time.

I don't promise to understand it on the first pass. Just the act of downloading it and running it gets it into your brain. Half the time you end up hacking on it anyway, and other times, you don't understand it, but when you see something related later, the light bulb will go off in your head -- "that's similar to something in my ~/git/scratch repo". And then you can go from there.

I don't know why but having a running code snippet really makes it feel "ready at hand" and you will learn faster. It somehow primes your subconscious. I feel like there are a lot of people who read Hacker News a bit passively, without retention.

Here's a good blog post along those lines, with code: http://journal.stuffwithstuff.com/2013/12/08/babys-first-gar...

-----

A much bigger commitment, but with correspondingly bigger benefits: I found helpful was to reimplement like 10 different things I use in maybe 500 - 1000 lines of Python. I like the new "500 lines or less" book [1] -- I was doing this 10 years ago!

Once you implement some class of program, you have a very good idea of how the "real" libraries you use are implemented. That helps you build better systems and write better code.

Examples: A template language, a pattern matching language, test framework, protobuf serialization, a PEG parsing language, Unix tools like grep/sed/xargs, an event loop library based on Tornado, a package manager, static website generator and related tools, a web server, a web proxy, web framework, etc.

In addition to writing something from scratch, I also find tiny code on the Internet and play around with it, like tinypy, OCamlLisp, femtolisp, xv6, etc.

[1] http://aosabook.org/en/index.html
Article is wrong. Crying is cathartic.
The US lost, but the US still supports Israel, still has troops in Saudi Arabia and the rest of the Middle East, and still supports various anti-Islamist fighters around the world, so no, Osama bin Laden did not achieve his goals.
We've got pretty good continuations, call/cc, generators etc in here too. http://pharo.org

If you do want to leave the comfort zone, this is a must.

And we really do not care for the framework du jour, even if we use some.
That's somewhat uncomfortably close to dox'ing.
So does the deterrence effect increase by the number of screenings? The physiological effect is not measurable in this case, and if we compare it to the placebo effect which is measurable, there is little proof that eating two fake pills has any benefit over eating one.

How big portion of terrorists is likely to completely ignore the fact of one screening but be deterred by the existence of a second one?
True, though 100 bit passwords are extremely uncommon. Even deadhorsebatterystaple claims to be less than 50.
The third screening should naturally be moved to the train station before the airport. That will solve it.
Because so many of us learn imperative programming first, then find functional a big shift, I think we forget that everyone learns maths, which has no mutable state in the traditional maths classroom written style, and so functional actually resonates pretty well with people who have never touched programming at all, provided they've been exposed to enough maths.
Yes, they can proceed without your assistance. Also, they can charge you with obstruction with justice.
A counterexample here - Angular. I think, it is slowly becoming a piece of abandondware exactly because of Google's influence and backing.

Angular 1 was a framework, Angular 2 was a piece of a religious writing that people developed to pad their resumes.
This reminds me of a book I bought in the early '90s, when I moved to Seattle. It was called "Seattle Survival Guide" and covered the things you needed to know to live well here, as opposed to the touristy things that typical city guide books covered.

One of the things it had were downtown pedestrian shortcuts. For example, starting at the ferry terminal, you could walk up the Marion street overpass to 1st Avenue, enter the lobby of the Federal Building, take the elevator to the 4th floor, and exit to 2nd Avenue. Cross the street and take the escalator to First Interstate Plaza and walk through that to 3rd Avenue. Across the street was the Seafirst Building. You could take the 3rd Avenue entrance to that, ride its escalators up, and take its 4th Avenue exit. Cross the street to the Seattle Public Library, enter on 4th, take elevator or escalator up, and exit on 5th. Cross 5th and enter the U.S. Courthouse, take another elevator, and exit the Courthouse's 6th Avenue exit. All those elevators and escalators cut about 200 feet of climbing out of your walk up to 6th Avenue.

(Note: that route worked in the '90s. Some of those buildings have changed since then, so I don't know if there is an equivalent route now).
So here's my concern: guy's now been in jail without charge for 18 months. The prosecutors say his guilt is a foregone conclusion, but apparently it's not foregone enough that they're willing to go ahead and prosecute without the contents of his hard drive. They're gonna hold off until they get what they need.

We're starting to get to the edge of the point where this guy might legitimately forget his password. I think we can assume the FBI has been running a common passwords/dictionary attack with common password symbol substitutions for the last 18 months, and apparently they haven't found the answer, so this password is probably a pretty good one that's not based on a word or even a sentence.

If he stays in jail without trial for another two years and then says "I can't remember my password any more", what should we do?
IANAL, but from reading about this case (and opinions from actual lawyers), I believe it's because they actually don't have the evidence to convict (or they believe the evidence they have, absent the files on the encrypted drive, are not enough, or at least not enough for the sentence they want). They know the evidence on the drive exists, but cannot get up in front of a judge and jury and say "because we found these hashes in the logs, we know there are these files on the drive". They have to actually produce the files themselves.

So, you might say, ok, then that means asking Rawls to unlock the drives is asking him to incriminate himself, and that's not cool. But still, go back to the "foregone conclusion" bit: this isn't a fishing expedition to see if they can find evidence of wrongdoing. They're not asking him, "Hey, do you have any child porn on your hard drives? If so, give them to us." If that were what they're doing, Rawls would be perfectly in the right to say, "I do not have any files to give you". They know, based on the log files, that the incriminating files are on the drive. They are merely requiring Rawls to produce evidence that they know exists, and his refusal to do so is unlawful. Just as if someone refused to turn over bank records that the authorities knew existed.

I know I'm not explaining this perfectly (IANAL, as I said), but hopefully this helps?
That is not such a big problem. Many operators in TLA+ -- like division -- are defined in terms of CHOOSE, but that doesn't stop TLC from implementing them efficiently. It's very easy to supply efficient implementations for various built in constructs, and tell you that you shouldn't use CHOOSE in your own definitions that you want to be automatically translated. So the data and data operations aren't the big problem; the control state is a bigger problem: It is hard to translate TLA+ constructs to programming language idioms like subroutines, loops and threads.