skysight-inc/HackerNews huggingface dataset:
Just a few examples.

A very pragmatic one: Eclipse includes a SAT solver to manage package dependencies (eg: can package X be installed in version 1.0 and coexist with package Y with version <= 2.3)

SAT is also used for bounded model checking, ie checking whether a given system (hardware or software) is guaranteed to never be in an invalid state. You can have a look at MIT's alloy project (http://alloy.mit.edu/alloy/)

SAT is sometimes used in cryptography, to try to solve cryptographic problems.

SAT solvers are very efficient nowadays, so it often makes sense to translate an NP-complete problem into SAT. This is not always the case, though (some problems would require to generate a huge number of clauses, making the use of a SAT solver impractical).
No. But it's the opinion of someone who spent 6 to 8 hours a day during three years with the person in question. He couldn't read. When he read in his head he mouthed the words.
I've written my own client that filters what I see. (No "is the bump on the latest iPhone a Bezier curve or a NURBS?" or "react ruined my life", "I am looking for a technical co-founder", etc.) My codename for it is "Hacker News for Hackers".
The Ridiculous Amount of Energy It Takes to Run Bitcoin
I really enjoyed reading the Ringworld series. Snow Crash was also good. I would love to see the produce a series on Neuromancer
>Great policing, or do the bad guys just lack imagination?

Ease.

It is likely quite difficult to get an RPG without getting eyes on you, then driving to an airport with an RPG, then lining up a shot and hoping to hit a plane moving at 100+ MPH.

Or you can take a truck and drive it through a crowded mall.
XikiHub: The Social Command Line
People at the executive level frequently interview in the off hours.
My advice? Don't ask, just do. At this point it's not necessarily an area that matters because if any of us could predict the future we wouldn't be commenting on Reddit. :)

Having said that you have one major attribute going for you, and don't take this as a pejorative, and that's naivety. You don't know what isn't possible cos you haven't been beaten down by experience (a double edged sword).

Take that naivety, think of something crazy that floats your goat. Can you write an AI for gaming? Can you make a filesystem faster? Whatever it is, set a goal, double it (ie an AI for gaming that can beat the top 10% in the world, a filesystem 5x faster than exists today)

You'll learn something far more valuable than a coding skill... You'll learn you are capable of much much more than you ever believed.

Just don't procrastinate, think big, fail big, and beat fear.
Well, someone was a citizen of a particular state, and received tax-funded benefits like roads, ergo "state-sponsored."
Please, add support HTTP/2 push!

This is very, very awesome work. My team has been working on enabling the PRPL pattern[1] and differential serving on a few platforms, and edge caching has been a problem. We've tried to use Vary: User-Agent, but that leads to low cache hits. This API would let us to much smarter UA sniffing at the edge.

From there we just need to parse some responses like JS and HTML, to be able to push their sub-resources, for an instant speedup and great caching for fine-grained deployments.

[1]: https://developers.google.com/web/fundamentals/performance/p...
By definition, almost all investment money is in an index. What proportion of it is in low-cost index mutual funds vs. high-cost employer retirement and managed mutual funds is of interest only to the financial services industry, which makes more money in the latter case.
Is it true that an extrapolation of existing trends puts NYC underwater in 150 years?
hmmm. then you face a massive class action lawsuit that finds an email or two where you joke about an ICO with friends, you easily spend 20-30 million defending yourself, you win, but you go bankrupt in the process. No, that doesn't work
We already have a portable container format for executables with no dependencies... It's called an ELF binary... Why would you even put a static binary in a container in the first place? I don't get it.
It’s a really good question. Supersonic jets were always heavily constrained due to noise pollution issues with the sonic boom. They weren’t allowed to fly over land at supersonic speeds, relegating them to trans-oceanic routes. Now yes this system will have such problems on launch, but as they go pretty much straight up out of the atmosphere compared to a jet, the vast majority of the journey is in space where that’s not a problem. Also supersonic jets had range restrictions preventing maximum use of their speed, while this thing can go literally anywhere on Earth. Finally the big killers with Concorde was recouping development costs and paying for ‘one-off’ spare parts, the costs were crippling. The BFR will (hopefully) exist anyway, so that’s not a factor.

In principle yes a supersonic airliner could be cheaper, but the noise pollution issue alone is one of those external factors that is a real killer. Now it’s quite possible this use of the BFR might run into issues like that of its own, but they’re likely to be different issues at least.
Lots?

For one, they are all ancient civilizations -- most western countries aren't.

Second, they have different value systems (more collective than individualistic).

Third, they have different nutrition and culinary preferences.

Fourth, they have differences in lifestyles.

Fifth, they are more homogenous than a lot of western countries like the US, Britain and France, with much smaller (percentage wise) immigrant populations.

In most aspects, a place like Chicago and a place like Tokyo might as well be on different planets.
All good points :)
What more amazing is that 1000 ft^3 of methane is 12 tons, you need 1900 tons (in orbit) of propellant to get to mars based on the ITS design since it's about 5 trips of the ITS tanker to refuel the ITS that goes to mars (350-380 tons per refueling).

Lets put E2E propellant requirements for the BFR/Booster and the ITS at 10 times that of the martian transfer that would put the CH4 costs of the trip to less than $6500.... At 100 times that it would be about $65,000.

That will still be much cheaper than the most fuel efficient jets we have like the A380 and the 787-9 with the fuel costs of a 15 hour flight being in the range of 150-200,000$ depending on the aircraft.
> Why can't all appliances be like my Kitchenaid mixer?

Because people don't like to spend extra for quality products. For most appliances, there are brands that sell quality versions which will last for years, but lots of people just look for the lowest priced one with the features that they want, and buy it.
Celebrate Knuth's 80th Birthday in Piteå, Sweden
The amount of misinformation in this topic is frightening. Guys, most of the serious cryptotokens are about making some markets more efficient, eliminating lots of middlemen.
I have no time to go into details, but some coins I am currently invested in:

iExec
BAT
DASH
Factom

These (and some others) are serious projects with huge potentials. I am not only speaking about huge investment potentials. I am speaking about potentials to add value to society, make markets more efficient. 99% of the tokens out there are crap, but why is it important? 99% of startups are also crap, but nobody cares.

I am also very sad that most people here are against making the investment landscape more meritocrtic than it is currently with all the privileged VCs, angles and lawyers born into lucky countires.
He's also said rockets are the only transportation where electric wont work.
This might be a sloght departure, sp forgive me, but what exactly is going on with Rust? Their user base is rabid and loyal as any as I've seen, and their evangelists spout out content at a fair pace, but it doesn't seem to be gaining a huge amount of popularity (I may be wrong, but I've seen very little demand/job postings). Has it just not hit critical mass, is there not enough general utility or is the thought of leaving a language with a C in the name just too frightening?
I'm not entirely sure leases aren't the ARMs of the car world.
Very fresh approach, but based on the video this is not really a "chat bot", but only works with predefined answers?

The landing page is also very thin on details... what kind of survey elements are supported? Can the surveys branch based on previous answers? Can the response data be exported?

Oh and the "I Accept Terms and Conditions" link gives error..
Control your Raspberry Pi with Siri, from anywhere in the world
Places people don't want to live in:

- a submarine

- the middle of Death Valley

- the middle of Antarctica

- the (completely lifeless) top of mount Fuji

Living in a Mars colony would be a combination of all these experiences.

If you somehow have the magic sauce to make Mars enjoyable, you could offer this experience in the middle of the desert as well. You could tackle real habitation problems on this planet.

Just building a couple school buses (ISS) to float around the Earth took hundreds of billions.

And to the "what about nuclear war on Earth" argument: are you going to build a lightbulb factory on Mars? Semiconductor fab? Smelter? No Mars colony would be self sufficient for a realllllly long time

EDIT: Earth 2 Earth is interesting, though I don't know how you solve the vomit problem. Or the "sometimes the rockets explode " problem.
It’s a good test, though the exploit was so egregious I really doubt it was one person or group who took advanatage of it.

If the data never sees the light of day in the shadier parts of our internet then their narrative is more belieavable.
The underlying issue is CADT churn in the userland.

Every few years or so some new "kid" comes onboard and decides they can rewrite some piece of code over a caffeine fueled weekend.

This then effectively solves some surface problems but resets the clock on a whole lot of other issues...
I find it really sad that the first question is about what races are the characters, and what races might the actors be.

I think there's a lot more to literature and cinema than a matrix for the demonstration of ethnicities.

(Sure, ask these questions if they're important to you. But don't make them be your chief criteria in judging the work.)
Propagandists like the US President's own son and close associates will stop at nothing to frame the Russian government with emails and undisclosed meetings. The scope of the deception is almost unbelievable.
Honestly I'm surprised this is just now the case. Last time I was in Bengaluru(Bangalore). There were ads on billboards for programming jobs. Everyone walking down the street had backpacks from major tech companies. The sheer number of tech work there has to be massive
Do you live in a bubble?
But then they just fired all of them apparently. https://www.linkedin.com/feed/update/urn:li:activity:6316923...
>And it's not "whitewashing". Nobody denies that OT God is a mass killer. They just claim that - for a fictional character - being a mass killer (or a god for that matter) was very differently perceived 3000 years ago in a middle of a desert.

sigh

you've clearly never dealt with fundies. I was raised by people who taught me that literally every word was divine and that the entire bible is a historical document (there are millions of these idiots across the globe). These people will bend over backwards to explain to you how the wholesale murder of babies was totally justified. They'll even do it with a straight face.

You and I both agree that the Bible is no different than Harry Potter, and God happens to be a bad guy in the first half.

There are millions of people who live their lives believing that the entire bible is a 100% historical document. Having unshackled myself from these morons, this topic can be a bit of a sore point for me ;)
The increase in corporate debt is worth watching because most of that will have to be refinanced and is thus sensitive to rising interest rates. Much of the proceeds were used for questionable purposes like repurchasing stock near historic highs instead of investment in the underlying business. This is a proven way to boost short term stock price and EPS, but not so much the capacity to repay.

That said, it's disingenuous to compare 10yr treasuries to indices comprised of bonds with a maturity of >=1yr. Issuance skews shorter term that 10 so those indices probably do, too.
Yep, mechanical engineering. Though I'm less concerned about this part as it's their area of expertise.
> > . In a speech at the University of Georgia last month, he [now ex-CEO] described a stagnating credit reporting agency with a “culture of tenure” and “average talent.”

That was his description of the organization he inherited, in 2005. It was not his opinion of the organization as it stands now.
ES6

const atLeastTwo = x => Math.max(2,x)
> There is a theoretical solution that we might be able to explore at some point: If compute is deterministic -- that is, always guaranteed to produce the same result given the same input -- then it can't possibly pick up side channels.

Doesn't this require the timing and interleaving with other processes also be deterministic? ...which seems hard to guarantee with modern CPUs, async IO, and shared execution.
FWIW, They are actually called "Taskers"
https://www.taskrabbit.com/become-a-tasker
To be fair, Mudge went to Berklee College of Music. People find their way into infosec in many ways.

https://en.wikipedia.org/wiki/Peiter_Zatko
giosalinas
Generating Synthetic Computer Vision Training Data
China's J-20 fighter jet put into service
AI vs. Doctors
No, it goes into considerable detail about the nature of the attack, how it changed once it was passed off from an "entry team" to a more advanced group of hackers, and the level of sophistication.
I've also heard IBM is becoming the default for pretty much all Indian companies when it comes to consulting work for complex projects.
you're a lost cause pal.
I developed Ext-JS applications from 2011 till 2017, and during the ExtJS 4 time, it was great. I loved the quality of their documentation, and most importantly: the ability to comment on each class/method/property etc. This contained invaluable hints and insights. The community was really good.

Then they upgraded ExtJS (can't remember if it was to Ext5 or 4.x) and deleted all the comments as 'no longer relevant'.

Then they started to move certain classes (such as a SOAP client) to the 'premium' edition. Which was understandable, but annoying if you just wanted to experiment with the framework.

Then they removed the GPL edition from the download page, the only way to obtain the GPL edition was by begging on the forums. Eventually Sencha simply no longer responded on threads about the GPL version.

Last year I did a small project and attempted to use Ext6, I found it had become a monster, or even 2 monsters because they split ExtJS into the 'classic' and 'modern' editions, which were promised to be merged eventually, but I'm afraid that's never going to happen. ExtJS now requires a custom build system (SenchaCMD) to compile a project, debugging is becoming a nightmare. Bugs in the build system are rarely solved once reported.

The way I see it: extjs was a great product, but they started treating their community like sh*t, and after that it all went downhill.

Goodbye ExtJS.
That would depend on the specific item, I'm sure. For example you can tell if a phone has ever been wet because there will be signs on the interior. No situation will be perfect but at some point the burden of proof has to shift from the company to the user. I think six months is probably a bit soon but sometime between that and two years seems reasonable to me.
No, I actually don't get her larger point. She describes frustrations with her husband (which I feel are not generalizable), and I don't even accept her framework necessarily (it generally seeks to use blame to resolve a marital issue which I find counterproductive, a therapist would never use a word like 'fault').
It hasn't been necessary to drill down the applications in the start menu since windows 7. Just start, type search, enter. Then pin your frequent apps to the task bar.
Huh? Haskell does very well in the shootout, better than JavaScript and often comparable with C.
Rather than strictly utopian or dystopian, I just want to see more nuanced sci-fi. Where's the sci-fi counterpart to The Wire, following socially and economically diverse groups of characters in realistically complex, interconnected stories? (Actually, The Expanse isn't that far off from this.)
RMS is both extremely capable and strong willed activist which is very combination.
As a Unity fan, the way GNOME's setup now allows me to keep pretty much my entire workflow as I was used to it.
They are. The times I've been caught were clearly my mistake. Those times and various close calls have been cases of almost symmetry. I've also done things like building two identical units in series or parallel and watched myself learn. I can imagine a great speed up with practice. An apartment's worth of furniture could take me a day, and I can well imagine paying someone $100 for an hour instead.
The stage setting sounds a little too grim- JS debuggers (Venkman etc) and smartphones existed in 2005, and people haven't stopped using editors like vi or textmate to write code.
jQuery is dom traversal and manipulation (with a common ajax interface) - ExtJS is (was) a UI framework. It's an apples and oranges comparison - I worked on several ExtJS projects, all of which used jQuery for one thing or another. I think it's actually pretty accurate to say that frameworks like angular are more responsible for its decline since their feature sets are much more similar.
I love the fact that the Baofeng is cheap and I have one myself thinking I'd finally deflower myself on 220 and 70cm. But the rig sits in my trunk unused. I just don't want to use it. The UI is awful. Once programmed some of its users call it the Plastic Fantastic; I don't. No analog squelch knob is still a non-starter.

Try to borrow someone's Icom or Kenwood or Yaesu, listen to the local action, and jump on . Hamming should be fun and it is with a friendlier rig. Try not to let the plastic fantastic turn you off from hamming.
"Founder" path focuses on start-up. What about small business, as a consulting shop or a dev shop, that has a very different risk/reward ratio?
>Let me ask you how many of immigrants are grad students or people with high tech jobs?

Depends on the country of entry and the country of origin.

The majority of latin America immigrants in the US, or African immigrants in France for example will be nothing like "grad students" and "high tech jobs".

>Is it one of the stupidest thing to say drop in IQ is connected to immigrants!

It's actually a pretty decent explanation. If different countries have different average IQs (which we know to be correct) and if the mass immigration is not of the "grad student" type (which we also know to be correct), then it's a good explanation, assuming there's no other factor that we neglected to examine. Remains to be seen if this is indeed the case or if there's another cause (or perhaps multiple causes).

>It is greatly disappointing to see this kind of nonsense in HN which is kind of home for many hackers and programmers. Hearing these kind of stupid ideas in C-Span? Who cares? But HN, that shows how low our societies has become.

You are ranting. This is not a reasoned argument against the parent's argument. This is what's anti-hacker and anti-science.
A Brief History of CO2 Emissions
Of course, there's almost zero chance that the genes that represent high intelligence are equally distributed between races and ethnic groups. The whole field of intelligence research is a political minefield these days, at least in the Western world.

In related news, France has lost 4 IQ points over the course of a decade:

http://www.sciencedirect.com/science/article/pii/S0160289615...

Quote:

"Dysgenics and replacement migration are proposed as causes."
Supersonic jets could - maybe - more affordable, but they are slower than rockets, and the value proposition is in speed.

I'd actually worry about crowding skies above the planet. A rocket flying with suborbital speed has arguably less means to avoid collision if the possibility is detected in flight. Also rockets will need to pass heights where lots of satellites, orbital debris and even charged particles can present some danger to flying objects.
Can it print yet? Last I looked, it could not.
dude. he fucking killed babies.
I don't think it is. They made good money off it. Plus they can use that IP in other projects like Heroes of the Storm.
There's a crop of light, cheap Chinese laptops based on Atoms (well, they call them "Apollo Lake") which are the closes you can get to a modern day netbook. Google N3450 (the most popular CPU), or brands like Chuwi, Jumper or Onda.
> Aren't supersonic jets more affordable?

They're currently unavailable at any price. If you make a really wild speculation based on taking the price of the most expensive airliner Airbus or Boeing sells and extrapolating from there how much a supersonic one might cost, it's not obvious that the airliner is cheaper.
If anything, it turns the CEO into a victim.

"No CEO would be able to withstand a targeted attack from such a motivated adversary!"
If you don't provide (real) time as an input to the program, then non-determinism of time does not affect determinism of the program. At least, in theory. It's definitely a long way from there to practice.
the control (or management) plane generates packets. a dataplane does not generate packets; it ingests and expels packets.
https://en.wikipedia.org/wiki/Crypto-anarchism
Sadly Gnome is a confounding variable in all this.

They have decided that they will only do whole number scaling, and Unity (up to 7, Unity 8, now a community project, was to be based on Qt) is based on GTK/Gnome.

Frankly the Linux DE have been crapifying every size the DEs (Gnome in particular) figured they knew better how to do the underlying stuff than X11.
Minimalist? Really now.
A hacked version of FreeMind, although I may be switching, or releasing that version as a patch or new project.

I'm currently looking for a new solution that has the ability to add arbitrary back-ends to retrieve data, probably Electron-based.
Exactly that's the point your choose your privacy.
Lewis Hamilton: Could a vegan diet hamper his 'racing edge'?
It sounds like you’re already happy with vim, so why not keep it? Also the micro keybindings are configurable, so not much to see here.
If it is, as an anarchy-capitalist, I'm pretty happy with the ecosystem-- without government control, we have seen a lot of the worst people, including hacks and thefts, yes, and those make the systems and software stronger-- because we have a lot of good people, and a genuine meritocracy without gatekeepers keeping out everyone but the well connected.
Wages did not go up by 60% in two years. They barely went up at all.
Same as any other site setting, all of which need to be pushed to every location. We have existing infrastructure for this that propagates changes everywhere within a couple seconds.
It's crazy what people are reading into this comment.

By practically pay, he just means he has a very low interest rate, and possibly some regular account fee's.
The company has a choice of not employing you though and it tells you exactly what work to do. Now if you force the company to pay, then yes your example confirms my statement.
SAFE: Functional-first stack for web dev that emphasizes type-safe programming