skysight-inc/HackerNews huggingface dataset:
Yes! If your language allows you to put constraints on those types you can specify what specific types have access to. For example in Rust:

fn foo<T: Positioned>(x: &T) -> Point {
x.position()
}

Note that this doesn't work in languages that use templates for generics, like C++, where templates work more like compile-time duck typing.
zeroCash is a pretty good starting point to a solution to the privacy problem.
For optimal performance, the absence of unnecessary dynamic checks is a requirement. The presence of static checks is not, although they are useful for your sanity's sake.
Great points. For a quick summary I suggest reading the highest rated answer to this Physics SE question: https://physics.stackexchange.com/questions/26291/why-did-th.... The keypoint that most people fail to realize is that "Ironically, geocentrism persisted because the ancients were decent scientists and were unimpressed by (pre-Kepler) heliocentrism's failure to support itself with observational data."
Agreed, but such software rarely runs on a home network with a cheap router.

dnsmasq is used elsewhere, of course, but those deployments are far more likely to receive security updates.
Entrepreneur First | Clojure Engineer | London | On site | https://www.joinef.com

Entrepreneur First help the most ambitious people maximise their impact on the world - by founding companies. We're looking for an engineer to help us build tools, interfaces and data analysis infrastucture using Clojure and ClojureScript, to help us reach every world-changing founder. Does that sound fun to you? It is!

If you're not yet a Clojure expert or came to it via an unusual route, or you're a master of category theory, we'd love for you to apply. We're a small team with a lot of responsibilities, so learning and helping each other learn is a constant part of the job for all of us. We value the experiences you bring from outside the engineering world as well.

You can apply by emailing me at conan@joinef.com, or by filling in our application form at https://boards.greenhouse.io/workforef/jobs/755661

We're looking forward to hearing from you, but sorry - no agencies please.
there's video[1] at the end explaining this new feature

[1] https://www.youtube.com/watch?v=ELDzy9lCFHQ
That exists. It's called Blendle, and it's awesome.
Couldn't building, configuration, and training be done separately and the results distributed? Or is the data for training publicly available?

Sorry, but I feel that the community can do a big catch up in this area.
San Francisco; Full Time; Onsite

I'm the cofounder of Figma (https://www.figma.com), a startup in San Francisco building a browser-based collaborative design tool to improve the way designers and developers work together. We're a small team (~35) and we're looking for talented engineers (https://www.figma.com/careers) who are interested in tackling hard technical problems with smart people and building a product that startups will rely on.

If you want to see what we value, you might find these interesting:

- First principles thinking: https://blog.figma.com/introducing-vector-networks-3b877d2b8...

- Pushing the web to the limit: https://blog.figma.com/building-a-professional-design-tool-o...

Upcoming/ongoing projects:

- Develop a plugin ecosystem from the ground up

- Build a community of design content and tools from scratch

- Cross-document shared symbols

- Multiplayer editing infrastructure (realtime simultaneous editing)

Our tech stack: C++, Emscripten, WebAssembly, Node, TypeScript, React, WebGL, Ruby, Sinatra

If you're interested in learning more about what we're working on or want to meet up to talk about any of my other projects (http://madebyevan.com/), you can email me at wallace@figma.com.
I used to sleep usually on average 7 hrs when i worked the regular 10 am to 6pm shift. However , working 1 pm to 11 pm shift nowdays and tend to turn in much late than before however wake up earlier than 7 hrs to study for an exam that i am preparing for alongside. I I have observed my productivity in view of this routine to be at peak later in the day rather night when lesser to no distractions or people in office. However am trying to balance out my routine to get the magic number 7 hrs of sleep.
Evernote | Senior web dev | Redwood City, CA | ONSITE

https://evernote.com

The Evernote Web Team is looking for a Senior Web Engineer who knows what it takes to build production-ready web applications and is excited about building the next generation of the Evernote Web Client.

We are building the new client with React + Redux, and are working closely with product managers to create a first class Evernote client for web users.

http://grnh.se/m67bcx1
IPFS still looking very strong
Yes, why do something automatically when you can do manual work!
Even if you stick with Sierra, precisely to avoid this sort of thing, you might fall foul of the disappearing password hint problem: https://apple.stackexchange.com/questions/299558/
Cruise Automation | C++ Engineers, Data Scientists, Android Engineers | San Francisco | ONSITE

Description: We're the driverless car company. We believe in improving people’s lives by making transportation safer, more accessible, and more convenient.

Our team is small and we move quickly. We’re currently testing a fully driverless solution on city streets in San Francisco. We're looking for smart, ambitious people to help build the world’s largest fleet of driverless cars.

We are looking to hire C++ engineers across the entire company so please check out our open roles!https://getcruise.com/careers

Check out this video of our car driving fully autonomously through SF!
https://www.youtube.com/watch?v=KSRPmng1cmA

Technologies: C++ on ROS
Visa Sponsorship: We can transfer Visas
Contact: Anthony@getcruise.com

Here is an article from our CEO on some of our hardware as well. https://medium.com/kylevogt/how-we-built-the-first-real-self...
> But I disagree with that premise. I think "ability to be a great programmer" is generally something you're born with, or at least something that's been determined by the time you're ~18.

That's your opinion, but it's far from a majority one. It flies in the face with the continuous education/MOOCs/coder bootcamp industries and the "anyone can be a coder" mantra of the current age. Either you're right, or all of those programs and institutions are hucksters.

Not to mention, "great programmer" is hyperbolic when many many coding jobs these days are really just about fixing broken JavaScript and gluing together APIs. Software has eaten the world, and Sturgeon's law applies to software as much as anything else.
Ask HN: What in your personal life do you track?
Atom uses a piece-table-inspired data structure to represent text[0]. We store the file's original contents in a single contiguous buffer. All of the user's unsaved edits are then stored in a separate mutable structure called a Patch, which we represent as a splay tree. When we need to read from the buffer in a background thread, we can 'freeze' the patch, and store any subsequent writes in a new patch which is layered on top of the previous one.

Even though we do load the entire file into memory (as opposed to mmap-ing the file), the piece table design is still very useful. It makes it very cheap to compute the buffer's current unsaved change set, which is a value that we periodically serialize for crash recovery purposes (similar to vim's `.swp` files).

It's also just a very compact way to store a large chunk of text, which is good from a cache-locality and memory usage perspective.

[0] https://github.com/atom/superstring/blob/master/src/core/tex...
Sourcegraph (https://sourcegraph.com) | Software Engineer | San Francisco, CA | REMOTE, Salary: $100-200K + equity

Sourcegraph is the best way to read and write code with your team. As a programmer, you spend hours every day trying to answer simple questions with outdated, single-player tools that force you to constantly context-switch away from your code. Sourcegraph brings discussion and review to your editor in a first-class way and makes all the code inside your organization easily searchable.

We're a small team founded by Stanford and Palantir alumni. Our users and customers span programmers across the world, influential open-source authors, and major companies. Our technical challenges include scaling code analysis and search to every codebase in the world.

Stack: Go, TypeScript, GraphQL, Docker + Kubernetes

Jobs page: https://about.sourcegraph.com/jobs
Exactly. This isolation ( though obviously they all make use of many core APIs ) makes it easier to focus on one component at a time. I didn’t like the VFS layer that much ;)
Sure, but most people never change any settings. By default it loads all images from all senders
Nope, it requires COBOL.
That seems like a real risk, true.

But at least at $THE_OFFICE, I'm lucky that there's a trivial-to-recover ~/.snapshot/hourly.?/notes file. YMMV.
This is a really well done analysis of Rubicon's fundamental flaw and a huge reason why you see the main players all owning landfills. Trash is simply too profitable and easily corrupts any organization no matter how well intentioned they start out. That corruption has clearly hit Rubicon's sales team at least in some instances.

Not owning any of the "infrastructure" may seem like a huge positive from an cost standpoint, but I think they'll have to invest and re-invent a lot of the physical collection and processing tech in order to achieve their stated recycling goals.

Optimizing how/when waste is collected through modern software is a massive improvement and certainly we don't need to be collecting all materials every week. So there are huge gains to be had there from an environmental standpoint, but relying on infrastructure that is already optimized for moving trash to a nearby landfill is going to really hold back any effort to increase recycling rates.

I bet they can pull through this with all the funding they've received, but it sure does seem like they're a classic brokerage firm that happens to make an app for their haulers.
I have a confusion about ID structure/format:

The ID is composed of two parts: a millisecond time and a
sequence number. The number after the dot is the
sequence number, and is used in order to distinguish
entries added in the same millisecond.

Does this mean for example that 1506872463535.11 comes after 1506872463535.2 (because 11 > 2)? If so that means treating these as decimals (which will be easy to do inadvertently) will yield the wrong order (as would sorting them lexicographically). If so it seems like something other than a decimal point would be a better separator (colon perhaps).
I think this really depends on the kind of businesses that VCs are pursuing. Many of the current wave of startups are directed at turning the poor into an app-directed servant class, or otherwise making their lives more difficult by intensifying problems like housing instability (e.g. AirBNB).

It becomes a zero sum game when the object is maximize the exploitation and vulnerability of the labor force. You’re right to say that it’s not an issue of immigrants vs natives. But rich vs. the poor in the US is becoming very “us against them.”
I'd love one gduplessy+lobsters@gmail.com
I'm not sure that's relevant here. The only way that flies is if the armed forces are deployed against the companies in question, something that is expressly forbidden in federal law. (And if that ever becomes an issue, the USA as we know it has already ceased to exist)
Isn't the point that this a Google problem?
If just because Google says it is news it becomes news we are in trouble.
Important announcement for Drivy applicants: I have taken the time to complete the "coding task" for this company. I've then failed to get any member of this company to look at what I did. Poked multiple Drivy employees on LI trying to convince them to look at the code... Mais c'etais tout en vain.

Do not start this company's coding assignment without a very clear indication someone will ever bother to look at it!!!
What amuses me in all "static typing versus..." discussions, is that it usually it is the comparison between two camps:

Camp A: Languages with mediocre static typing facilities, for example:

-- C (weakly typed)
-- C++ (weakly typed in parts, plus over-complicated
type features)
-- TypeScript (the runtime is weakly typed,
because it's Javascript all the way down)

Camp B: Languages with mediocre dynamic typing facilities, for example:

-- Javascript (weakly typed)
-- PHP 4/5 (weakly typed)
-- Python and Ruby (no powerful macro system to
help you keep complexity well under control
or take fulll advantage of dynamicism)

Both camps are not the best examples of static or dynamic typing. A good comparison would be between:

Camp C: Languages with very good static typing facilities, for example:

-- Haskell
-- ML
-- F#

Camp D: Languages with very good dynamic typing facilities, for example:

-- Common Lisp
-- Clojure
-- Scheme/Racket
-- Julia
-- Smalltalk

I think that as long as you stay in camp (A) or (B), you'll not be entirely satisfied, and you will get criticism from the other camp.
Thanks Josh, I am emailing you my linkedin profile
Show HN: Donate Bitcoin to Any Charity in the United States
Is there a real alternative? The patches themselves form as a notice, if anyone happens to be looking closely at the project. I'm sure a blog post widens the audience, but once the patches are public, the cat is out of the bag.
Reify: An Engineering Driven Marketing Consultancy
Does Apple acquire?

It'd be difficult/weird for them to start integrating/selling Android devices/ecosystem, which feels like they'd be putting their feet up for a few years while Google continued advancing. It feels antithetical to their business model.
One that immediately comes to mind is cases where Kafka is overkill. Kafka is a great tool, but there's a lot of overhead in setting up and maintaining it (e.g. Zookeeper), so if your throughput needs are low, it's a poor fit. Spinning up a Redis server is dead simple, and if you're already using Redis for other things, then there's no need to bring an additional tool into the mix.
American is not a race.
When I was in, we had a 6-on 12-off schedule to allow for 24hr coverage with only three watches. Effectively, each of our "days" was an 18hr day, with 6 being on-watch, 6 being used for maintenance/drills/training, and 6 being for sleep. Rarely did we get a full 6hrs of sleep per 18hr "day."
VMware Workstation 14 Pro Serial Key and Crack Full Free [Latest]
To me you could use % complete with some confidence level to measure not just progress but, confidence. There are many task which aren't fully defined. Those would have lower confidence than entering a bunch of data into a table or something.
Check out Dafny, Whiley, and Liquid Haskell.
I've had sleeping issues since I was a kid so mine are probably a bit skewed.
Weekdays, on a good night, 4-6 hours. Anything below 4 hours is a bad night and does happen more than I wish.
Weekends: 6-8 hours

If I get 4 or less hours of sleep, it affects me pretty heavily and I honestly feel somewhat 'hungover' and it can be hard to get meaningful work done. For me, 5-6 hours is the sweet spot.
Actually, refactoring browsers were pioneered by Smalltalk people.
PyCharm gets it right 99% of the time. That 1% is hardly worth switching the a different language.
it would be a huge mess. Somehow integrating Sony into apple ecosystem. Its cheaper just to buy what you need from them.
I mentioned it on my thread with BrendanEich: https://twitter.com/yuhong2/status/912757701163106304
Semi-automatic refactoring tools is just one part of what a type system enables. A much bigger benefit in my opinion is that it immediately highlights issues in your code while you are refactoring. Basically answer "What do I still need to change to finish the refactoring?". Unit testing also gives you some of this, but is typically much slower - both in execution time, and the additional time it takes to figure out where the issue is.
We used it at my last job a few years ago, and it was pretty easy to get people who aren't normally even coders to build a ColdFusion page. We used it for the university's intranet and it was very good for making simple internal CRUD web apps that various members of our team could understand / troubleshoot / maintain easily.

One of the defining features of ColdFusion is the tag-based syntax. You can have a single "web page" file in, say, "my-widgets.cfm". It can then have a mix of HTML and CFML tags that lay out the page, which would include an SQL query of a database and the HTML being output for each row. Other languages have templating, but this is more like a core feature of the language.

By default, it's also got that PHP style of "just upload a file and open it in your web browser" that makes it simple. So if someone else wanted to make a page like my "my-widgets.cfm", they could simply duplicate it with a different name and make changes until it's ready to go. This lets you turn around internal web apps very quickly that, you know, does in realtime what an administrative assistant does in a week with an Excel spreadsheet.

I use Python now and I certainly recommend it, but it wouldn't be as simple to jump right into as a barely-techie. Same with modern PHP (on something like Laravel). Earlier PHP would be similar, but ColdFusion's <cfquery> functionality is so easy to use and so critical that it's really a big deal. You don't need to know much ColdFusion to run a query and output the results (safely even) in HTML.
600-800 is probably where I draw the line but if your configuration costs $4,000 then you might think it is worth it. Also Apple offered to "buy the damaged part" in my case (though I'll need to ship/reship) so if you are US based it might be cheaper.
Some of it is simply "American" food now (e.g. cornbread, turkey, jerky; barbecue and jerk if you count the various Carribean tribes). Others are probably a bit harder to market as restaurant fare (e.g. acorn mush, bird brain stew, "Indian ice cream"). Some of it is also very specific to certain tribes or otherwise has a more regional than national appeal (e.g. succotash, hominy).

I definitely agree with you that restaurants specializing in traditional American Indian cuisine (whether in general or with an emphasis on a specific tribe or tribes) would be a great idea.
7 Local SEO Mistakes (That Tank Your Rank)
I think the idea is that you have to write tests anyway.
> “Future operating results depend upon the Company’s ability to obtain components in sufficient quantities on commercially reasonable terms.”

I can see how acquiring Sony would perhaps solve the "commercially reasonable terms" part of this equation, though no doubt Apple has quite a lot of leverage here already as the largest buyer of such sensors in the world, but how would it solve their ability to obtain components, especially on 1M per day iPhone scale? That's surely always going to be dependent on outside factors - mining, shipping, freight etc? For all the effort it would take to integrate a slow growth Japanese business with a huge cultural difference, it doesn't at all seem worth it.
XL Hybrids | Full-Stack Application Developer | Boston, MA | ONSITE http://xlhybrids.com/content/contact-us/#work-with-us

We convert commercial vehicles into hybrids to reduce fuel consumption, emissions, and maintenance. Our products provide a compelling return on investment for fleet customers. We are looking for developers and data scientists to expand our backend data processing and UI team and our embedded controls team.

Our work offers:

* positive real-world impact
* connected vehicles
* continuous data processing
* automation
* challenging and varied problem space
* opportunities to contribute throughout the company

Our current choices:

* SVG, React, React Native, Relay, GraphQL
* Storm, Kafka
* Cassandra, MySQL, elasticsearch
* Docker, Ubuntu
* AWS
* Embedded Java and C.

We are looking for experienced full-stack JavaScript developers, data scientists, and embedded controls software engineers.

If this sounds interesting, checkout out our job listings at http://xlhybrids.com/content/contact-us/#work-with-us and get in touch!
Don’t work at Volumental unless you want your life’s work to be measuring people’s feet
Could you explain what you mean by the "economics" holding them back? Someone living here starts off in a much better position than any foreign entrepreneur. If they can't figure out how to get the attention of an investor then they probably wouldn't be a great entrepreneur.
Do you have any thoughts on how it might even begin to be possible to do back pointers safely, in ways that don't already exist in Rust?

First, you need to be able to talk about them. A forward ref/back ref pair has to be identified with some form of declaration at compile time. The forward pointer is an ordinary owning pointer. The back pointer is special. So add a variable attribute "back", to be used like much like "mut", but only on a reference field of a struct. Let's see if that's enough.

The invariants to be enforced are:

- If b.bak points to a, a.fwd must point to b.

- If a.fwd points to b, b.bak must be Option(None) or point to a.

These can be enforced by some simple update checks when a.fwd or b.bak is updated. The normal sequence of events is something like:

a.fwd = &mut b;
b.bak = &back a;

or, when breaking a link,

b.bak = Option(None);
a.fwd = None; // drop ownership of b, which deallocates it.

You have to clear the back reference before dropping the object, to avoid a dangling pointer situation. The compiler might optimize that out, observing that b is dead at deallocation.

If you try to change b.bak to anything but Option(None) or a, that's an error.
If you try to change a.fwd while b.bak is not Option(None), that's an error.
This can usually be checked at compile time.

Open questions:

- Can the compiler figure out which field of a is the forward ref? That's the ref that owns b. Or is syntax needed in the declaration of the a struct for that.

- What about arrays of forward refs?
Advanced compilation techniques can transform (input data, input program) into a statically typed program, so the at the limit the answer is strictly "no". See partial evaluation, futamura projections, etc- or JS JITs for more down to earth stuff (though sidestepping data transformations).
FWIW, I caught up with a SWO buddy the other day and his take on this was that there are two ultimate culprits for the recent collisions:

1) A "check-the-box-and-cover-your-ass" mentality with regard to the implementation of annual training. The basic gist is that the (very necessary to some extent) training designed to get young sailors to not get DUIs, manage their finances properly, not beat their spouses, etc has gotten more and more onerous every year, with more mission-focused training being sacrificed in order to make hours available. By my friend's telling, there has been something of an arms race in that every fleet-level commander has to do something quantifiable to put as a fitness report accomplishment (eg, "restructured and implemented DUI awareness training; liberty incidents fell 13% during tenure in billet").

2) The tracking systems that Navy ships have turned on in peacetime started getting turned off 10-15 years ago and the original impetus was the IGRC using this data to antagonize Navy ships (ie get position/speed/bearing of a destroyer over horizon, then send a couple of speedboats to cross its bow 300 meters ahead at 40 kts). This was briefly mentioned in article as something that is getting reinstated following recent collisions.

Interestingly he said that the end of the SWO course had little to do with the accidents and that the main reason the Navy ended it was that junior SWO feedback was saying that they would learn more just being on the ship for that amount of time (analogous to the concept of learning much more in your first 4 months as a junior engineer than you did during your senior spring semester as a CS student).
On the other hand, playing Goldeneye is a shock to the system.