skysight-inc/HackerNews huggingface dataset:
Some books will remain relevant. A quick glance at my bookshelf of old but relevant books: K&R The C Programming Language, Programming with POSIX Threads (it's from the 90s but pthreads really hasn't changed), Algorithms, and Expert C Programming.
Ok, so a company has been delegated the authority to levy tolls. But the authority comes from the government.
You may be right about Oracle, but I certainly can't tell from the VM offerings they put out.
Climatologist Judith Curry leaves academia over field's politicization
"Operations started adding rules with 100,000s of domains, which caused a single set of rules to be about 10mb large"

There's not enough detail to be sure, but this sounds more like "when a relational database would be a better idea than redis."

Edit: That is, pushing the evaluation of the rules down...rather than pulling a kv and walking 10MB (of JSON?) to get to the small number of rules that apply for the transaction.
I don't think I've accused anyone of being anything. I've pointed out some context to someone who's not fluent and may not have been aware of that context.
Primary school teacher
I live in London, and really noticed the effects of diesel exhaust (particularly buses along busy roads) on my breathing in the past couple years. I've lived here for over 8 years.

It's the NoX that I notice much more than the soot. I get breathing difficulties after walking past buses (the sharp smell of the NoX fumes is pretty noticeable). I've had bronchitis twice in the past two years.

I've even started changing my walking routes to avoid busy roads entirely due to the diesel pollution.

What adds insult to injury is that many of these buses advertise as "Enviro" because their Diesel engines produce marginally less CO2 than a gasoline engine.
Semiconductor routing
Has anyone done the same thing for the patents? They won't be as readable, but I would assume there are far more disclosed inventions developed by the .NET teams than academic papers (and you'd have to search the USPTO database instead of the .NET sources).
That's correct - this has also been a massive issue for React, and still isn't fixed in a released version. There's a fix that was merged some time ago, pending release with React 16 [1]. There's some discussion about a 3rd party effort to back-port to 15.x.

[1] https://github.com/facebook/react/issues/7211#issuecomment-2...)
The point of the supply/demand curve is that there is a price at which revenue is optimized.

In this case $30 is the price they've determined they will make the most money. Charge more and too many customers will drop out to justify the increase. Charge less and you're leaving money on the table.
FOSDEM 2017 Schedule
As opposed the the situation without any express lanes, where everybody is crammed into slower roads, made even worse because none of that traffic is diverting to express lanes? Everybody is worse off, but hey, at least it's fair.
I know, that's why I hate it! I am looking at one now and I see no indication it was speeding.

I got 4 tickets when I drove up to Maine during the summer. Luckily, since it autopayed AFTER that day driving up it was full for the ride back.
libbsd is also using getentropy: https://cgit.freedesktop.org/libbsd/tree/src/arc4random.c
I have the non-cloud version, works fine. The most annoying part is that the license/version scheme is, in my opinion, too complex. I can never exactly tell if I have the latest version and if I need to upgrade (which costs $$). It seems silly to have to consider what machines/operating systems I'm using when picking a license -- especially when a key feature is cross platform/device syncing.

I would rate the browser extensions 3.5/5 -- sometimes has trouble when there are multiple browser windows and I can't exactly figure out what the "timeout" period is before I have to enter my cumbersome master password again.

I would rate the Android app 4/5 -- it has a feature to use a PIN instead of my full master password, which is fine for my usage, but that feature never seems to work.

Overall, it works fine about 90% of the time. I feel like I've gotten my monies worth. My password habits are better than before using it. I think the software could be improved and I am slightly hesitant about the companies recent push for cloud hosting (which I will never use).
The prices are displayed before you enter the express lanes. If they're too high, you can divert.
I don't know... I compared 5 Guys (a burger chain that is more popular on the East Coast) to the major fast food burgers and not only do I find their burger higher quality and better tasting but they also seem to be healthier.
At first I was appalled.. but then -- screw you and your cars (myself included). It is a horrible solution that we've had for decades, and something has to change. There's no better way than a suplex to the wallet.
Two serious fallacies here:
1) The risk posed by nuclear war is correlated across nearly every individual, so the odds ratio between risks posed to you as an individual and nuclear war is of no use to the practice of risk management in such policy matters.
2) You are comparing the study of things entirely outside our control (volcanos), and potential doom which is entirely of our own making, towards the end of maintaining control by holding the world under the constant threat of annihilation.
I want to be a Game Designer like Hideo Kojima!
Wouldn't we be better using this spectrum for even more data to stream anything, including DAB?
I would move to Wyoming and become a cowboy.
Actually, that was the fireman.
Faster SQL Pagination with JOOQ Using the Seek Method
but now im disadvantaged because i don't have huge 5k monitor
Unfortunately not supporting my language.
FYI: Architecture student here, the field is not fairly compensated like Software Development
Well then -- revolt. Don't drive to work on a snow day. Make your employer feel the pain.

Especially in DC, so close to the maggots' nest.
Are there any CI SaaS tools for this?
But public roads are usually for the use of the public. At most there's a difference of a few dollars if you're just traveling a short distance. This arrangement just seems to be milking people for money, and I don't want to see public spaces go in this direction.
We are a patriarchal society
Lego previews Boost robotic kit – cheaper junior version of Mindstorms
What kind of children's books, out of curiosity? I have some interest there myself.
How does Product Hunt ranking algorithm work?
Why does some startup with 100votes can be above startup with 1000votes?
The connection to the bot server seems pretty flaky. However I'm pretty impressed by the quality of conversation, there are certainly fragments that appear quite logical.

Anyone know what hardware and software is being used here?
Agreed, vegetarian options have become way more available in recent years but taco bell has always been a fast food oasis.
You know, I haven't drank the "kek" koolaid and given Mr. Trump's historic cozy relations with the mob (Roy Cohn, Casinos), his strange manner of draining swamps by filling it with the worst sort of toxic sludge from Wall Street, and his irrational and excessive love for Israel ("they will [never] pay for it"), am not willing to suspend disbelief regarding his being yet another distraction for the citizenry of this nation by the moneyed class, but you start off with:

"In a best-case Trump scenario, he bumbles around for four years doing not much except embarrassing himself and the country."

This guy does not have a history of bumbling around. He seems to be quite an effective man of action. I think you "embarrass" yourself by starting an analysis with that paragraph.

Then a bit down below you say:

"It can be fun to have secret, unchecked powers when your guy is in office, but is incredibly dangerous when the other guy does."

It can be "fun" to have leadership with "unchecked power"?

Man, get over your totalitarian urges before you decide to play cassandra for the rest of us who do not think it "fun" at all, under any circumstances, to have leaders with "secret unchecked powers" in our Republic.

[fix minor typos]
Tournament poker player or national park ranger.
If One Password was compromised wouldn't an attacker have your DropBox credentials anyway?
Git-based editor for writing research papers
LLVM Kaleidoscope, or if you'd like to start with your own toy CPU, then nand2tetris on Coursera.
Christina Brooks:

https://github.com/christinaa/LLVM-VideoCore4

It's not entirely finished, but it's good enough to get real work done if you're careful.

Previous HN thread:

https://news.ycombinator.com/item?id=11612449
As a MSFT employee I feel obligated to pitch our media services: https://azure.microsoft.com/en-us/services/media-services/

I do not have any first hand experience with them though so I can't offer any insight to how well it all works.
Cisco | Paris, France | Full-time | Cloud Infrastructure Tech Lead | Full Time | https://www.cisco.com/careers

As a Cloud Infrastructure Technical Leader, you are responsible for developing, scaling and maintaining our cloud software infrastructure, covering a wide range of technologies, from on-premise bare metal hardware infrastructure (computing, networking and storage) to our cloud-based platform, with a specific focus on high availability, scalability and data-intensive technologies. This key position also consists in establishing and driving our continuous delivery and quality assurance processes. You thrive in a fast-paced, dynamic environment that requires a unique blend of innovation, risk taking and speed of execution.

The role is for highly technical DevOps engineers who combine outstanding oral and written communication skills, a deep expertise in large-scale and data-intensive cloud-based systems and, most importantly, an ability to autonomously plan and organize their work assignments based on high-level team goals.

Our technology stack includes Python, Scala, C++ as well as a wide range of internal tools built on top of Docker, Kubernetes, Cassandra, Kafka, Spark, Hadoop, InfluxDB and a variety of front-end visualization technologies (D3.js, WebGL, HTML5).

Desired qualifications

* Degree in Computer Science

* 5-10 years of industrial experience with large-scale and data-intensive systems

* Experience in building, maintaining and troubleshooting private and public cloud infrastructure (OpenStack, AWS, Google Cloud Engine, Microsoft Azure)

* Experience with automation and configuration management software (e.g., Ansible)

* Hands-on experience with Big Data technologies (e.g., Spark, HDFS, Kafka, Cassandra) and micro-service architectures (Docker, Kubernetes, etc.)

* Hands-on experience with large data warehouses (100+ TB)

* Excellent coding and scripting skills (e.g., Python, Bash)

* Experience with software development methodologies and tools (e.g., git, Gitlab)

* Excellent English spoken and written skills (C2 level) is a must.

Apply by sending an email to gmermoud[at]cisco[dot]com
The point is that it would break features for many users in exchange for security theater.

Limiting the access of Dropbox is all well and great except that it breaks sharing, which many people use, in exchange you simply move the files to another folder on the same Dropbox which effectively does nothing.

Slightly off topic, but Who stores senstive files unencrypted in Dropbox anyways?
Node.js isn't great for CPU bound tasks in general.
There are two possible interpretations of this question actually:

1. What would you do if you were not worried about finances and could simply do what you most loved for a living?

2. Given your financial and career needs/desires, what would be more rewarding than your developer job?

I'd answer these two questions totally differently, and I suspect many in this thread would as well.
For those who haven't read it, this is the premise behind one of pg's best essays:

http://paulgraham.com/submarine.html
> I'm also really not interested in how things work for "typical CRUD apps"

You mean you're not interested in what a huge part of the industry is doing? Well then that explains why you don't see the benefit.

There's tons of work creating user interfaces, transform some business logic and shove it back in a DB. No one said it was going to be a life-fulfilling experience. It's just work.

Now many of these shops want a native ui, mobile ui, responsive design and a back-end developer all in one. Many times they hire for specific frameworks so that you're ready to be productive day 1.

If I were staffing up a team to do a CRUD app, or even more complex, I'd staff up with JS developers.
EOMA68 gets me thinking about those Compaq Ipaqs that could be fitted with a sleeve (i think Compaq referred to them as jackets) with a PCMCIA slot. One use of all this was to turn the Ipaq PDA into a mobile phone.
Forest ranger
Same here, or aircraft A&P mechanic if you want to get more specialized and charge more :)
Bar tender.
Got any tips for someone trying to do the same?
My favorite tools for symbolic math are Maxima as discussed in the article, for interactive exploration, and GiNaC for large-scale computation.

http://www.ginac.de/

GiNaC is really fantastic for problems where you have symbolic models that are generated from large data sets, especially iterating between solvers and symbolic forms.

For example, high-dimensional Cox proportional hazards models have semi-parametric forms that require a mixture of symbolic and numeric computation. In this case, our study run-time was over 3 days, over a few thousand cores. Without compiling the numerics to native code, taking advantage of symbolic simplifications, and calculating Hessians symbolically then evaluating millions of times numerically, the same study would have required years of runtime.

In a computer vision application, I used GiNaC::compile_ex for a similar advantage, solving stochastic functional equations, and selecting optimal model parameters, while accounting for noise. In a way, the massive boost in symbolic + numeric speed made this practically interactive, since previous models could be cached in a compiled form, meaning that instead of plodding along, looking at a few stills here and there to see if the algorithms were producing good results, I could use live video feeds and interactively get a sense of whether the noise and stochastic model were functioning as intended.

One of the most fun programs I ever wrote is a program that generates symbolic forms for stochastic models, runs them against live camera feeds, which in turn generates optimal copulas and so on, that get reduced to C code, that ultimately produces optimized VHDL. Every step involves iterations of symbolic calculation, numeric calculation, and generating the code that will perform the next step. The code is a mixture of C++ (model computations, camera IO, optimal pipelining for VHDL), Octave (graphical views), R (statistical routines), C (mostly generated code), Perl (code transformations), and VHDL (mostly generated code). The only part that wasn't so fun was actually invoking the windows-based Altera VHDL compiler, which could take an hour or more to do the synthesis.

Also, GNU Octave also has a nice package ("symbolic") for using GiNaC interactively.

https://octave.sourceforge.io/symbolic/
> not sure about hookers, because I've never met any

WHAT? 2017 and you haven't met or saw a hooker in your life? you are kidding right? well if you want to meet some without leaving your room you could just search escorts in your area, it's pretty much the same as an a hooker just more expensive, don't be afraid to try! just remember to paid them after not before.
I'm also systems/embedded and the OP made me a bit nervous. I have been primarily writing C (with some C++ and other languages) for my career of ~8 years. It seems like there are enough jobs available. Certainly not as many as web dev, but at the same time I have been able to work on things I consider interesting (spacecraft, MRI, automotive).

OP, what do you wish you had done differently? Web? Enterprise Java dev?
I also love welding. My grandpa wanted to teach me, but he didn't have a second helmet. So he has me wear the helmet because he can weld by sound, so he just looks the other way and lays down a bead that is more perfect than lots that I see in the wild. (He started and ran a machine shop for most of his working life.)
Right. Traffic is unpredictable, and the only way to adjust for it is if far fewer people bring their cars with them in the morning so they have choices on the way back. Traffic is a choice we've made as a society, and we need to create more ways for people to opt out of it. Capping tolls just forces everyone to deal with traffic.
Shameless plug for Config Management Camp, which is in Gent, on the Monday and Tuesday after FOSDEM:

http://cfgmgmtcamp.eu/

Great conference for sysadmins/devops!
> I know that TLA does allow existential quantification over internal variables (corresponds to hiding) and one can eliminate the quantifier by defining a function.

That's what I meant. The functions do not necessarily apply to hidden variables only, but to any variable. E.g., in TLA+, if Spec1 has variable x and Spec2 has variables q and t, you could write:

Spec2 ⇒ INSTANCE Spec1 WITH x ← q + t

Which implements Spec to by mapping (q + t) to x.

> But notice that ... is different from having arbitrary refinement mapping.

Can you explain what you mean?

> However, these are the concerns when we are specifying a system -- is the specification correctly models the system that I have in mind.

Right, but you want an easy way to determine if a specification is machine-closed or not. TLA provides a sufficient syntactic condition. A specification is guaranteed to be machine closed if it can be written as

Init ∧ ◻[M]_vars ∧ Fairness

Where M is an action and `Fairness` is a conjunction of ⬦ clauses containing WF/SF (weak/strong fairness) conditions only. In fact, when testing safety properties alone (which is normally the case), a specification is usually just

Init ∧ ◻[M]_vars

Which TLA guarantees is machine-closed. Otherwise, a ◻ formula alone may not be machine-closed (and may imply a liveness property, like in my example above), and proving whether it is or it isn't may be non-trivial.
From my experience, if you want to do anything complicated in C, it's necessary to buy books. Some languages have good online resources but many don't.
> Stereotypically, charter schools are the ones that are supposed to be better than public schools at a cheaper cost to the government (charter schools can be private or quasi-public).

I'd also question the extent to which reality bears this one out, but yes, that is the view.
I keep seeing the assumption, that anything that ceases to exists is a failiure. I feel that this could not be further from the truth. Perhaps the members were happy for a time and then died. Just because a woman ceases to be beautiful with age does not mean she was never beautiful at all. Go make some mandalas people https://en.wikipedia.org/wiki/Sand_mandala !
Yup, we managed to get some things right. Interesting read: https://en.wikipedia.org/wiki/Kerala_model
There's always streaming json parsers[1] that will help you when parsing large json data sets.

[1]: https://github.com/dominictarr/JSONStream
I would like to be the mayor of my city. I would focus on improving infrastructure (transit and internet) and supporting the arts.
Do you really think the engineering in the JVM is that bad? I can't think of many VMs that have the technical capabilities that HotSpot or Graal do. The CLR doesn't even do basic speculative optimisations. Maybe Azul Zing or J9 are comparable in terms of the advanced techniques they use, but would you really put the Oracle JVM that far behind? I'm not sure there's any sound technical basis for that.
Typed it up on my phone, so yea.

I have SharePoint Online through Office 365. I like SharePoint's blogging layout, but the only problem that I found eventually was that you can't share your blog publicly without have users create login.

My solution, install it on my home server running Windows 2016 and Kasperky Endpoint Security. So, I created a VM with Windows 2016 installed ShapePoint. Had everything setup and went a couple days, all good. I checked the Kasperky log and notice a high alert item that said (forgot name of attack, but they were scanning folders on parallel systems). I looked at IP location, was somewhere in South America, and I said to myself, "Screw this, I don't know enough about Internet Security" and I shut down the studio... and went with blogger.

Moral of story, if you self-host, make sure you know what you are doing.
As someone who's never used Chrome in his life, and who's not a web developer, I can say I don't notice any of this in my day-to-day browsing.
When I look at the schedule, I feel I'm more and more away from Fosdem. There are so many talks on so many subjects that look so "niche", I don't know where to go. What would you attend, as a generalist coder/project manager ?
HVAC. I love figuring out proper air flow for some reason and have made modifications to the ducts at my house. I could see myself doing that stuff for a living.
This isn't an argument for tech books, per se, but dead trees are still the most convenient and comfortable way to read words.
Nice Taco Bell ad. Why is this on hacker news?
No one wanted to have a beer with Nixon.
"stress releasing" is more accurate
My 90s self had a Super Nintendo for which the SDK was out of reach. Now I can write apps for my iPhone, iPad and Apple TV.

My desktop machine is still a desktop machine.
Minimalist Responsive White Blogger Template Download – Help2blogging
If we're really dreaming, then I'd like to go back in time 30 years to write a monthly column for 80s/90s era tech fanzines like Creative Computing, WiReD, or InfoWorld.

I'd describe the science behind a different technology each issue and interleave an interviews with pros in that space about why it's hot or not -- like "Mathematical Games" a la Martin Gardner, but set in a a more cultural context that made the most of the gogo enthusiasm that infused those heady days.

Computing was a blast then.
And most people likely thought that there couldn't be other forms of society. Divine rights of kings.
Location: New York, USA

Remote: Yes, for the right team and project

Willing to relocate: No

Technologies: Front-end mostly, javascript, react/redux, backbone.js, node.js, grunt/gulp, Typescript, D3.

Résumé/CV: https://goo.gl/btPZ45

Email: g.polu.shkin@gmail.com

Github: https://github.com/proll/