skysight-inc/HackerNews huggingface dataset:
There is a currently-running attempt to do just this with the ACA. Various politicians keep ranting about how it is failing, and have made various changes attempting to speed that alleged failure along, and yet it stubbornly keeps working, more or less, and increasing in popularity.
The Supreme Court judges? Oh, no. Hang on...
IRS enforcement budget seems to always be cut under Republican administrations. Which when you think about it, is kind of a like backdoor tax cut. Go ahead, skimp on your taxes. We're not looking.
RISC-V Inches Toward the Center
Location: Seattle WA USA

Remote: Yes

Willing to relocate: No

Technologies: C (does anyone just do C with no trendy BS?) Python, HPC, storage, Linux

Résumé/CV: A lot of varied software, but mostly have shifted to marketing/sales/product management/pundit roles as I write and speak well (IHMO). Looking for something interesting and meaningful e.g. no cannabis blockchain please ;)

Email: bellwether10@gmail.com
> Since only savings would be taxed

This seems wrong. I would think you would only be able to deduct basics like food and housing, maybe vehicles, with limits. Admittedly, that does get complicated really fast. In fact, as a pastor technically working as a contractor, my dad was able to deduct housing expenses for his whole family. It's not entirely unheard of.

Also, I don't believe getting the government to pay you by deliberately incurring a loss works for business, so I don't see why it would for individuals.
> Look at the proof - page after page of work showing how to encode and decode formal propositions using primitive recursive functions.

Look at the game. Move after move of rooks moving in columns and rows and of bishops moving on the diagonals. :)

> Goedel's theorem is exactly that mathematics is not a symbolic game - that Hilbert's program is not possible. The proof relies on reducing logical deduction to arithmetic.

The point was that thinking of mathematics as a game in the first place requires "...the conceptual leap to thinking about mathematical statements as mathematical objects..."

Goedel's proof didn't come out of nowhere, and he was NOT the one to first propose thinking of mathematical statements as mathematical objects. In many ways, Goedel's proof was actually a response to/rejection of "mathematical statements as mathematical objects"

Goedel's big leap was... the proof itself. Was it the numberings? Well, I guess, but really it was what he did with the numberings. And then how he related that to arithmetic. It's hard to pick out a single piece of the derivation and say "ah ha! That's the key insight!". So I think "the point is in the details" is pretty accurate.
That's certainly comforting to hear, then.

Sometimes it gets confusing connecting the negative news of these large companies to their cool open source projects.
I think it’s you who is falling into the trap of absolutism.

The poster you quote believes that Facebook is clearly immoral, and to continue to work there is indefensible.

Have you considered that this might be true?

Now perhaps you don’t think it is true. That would be my guess based on your positions in this thread.

A non-absolutist position would be to say ‘Facebook as a whole isn’t that bad - here are my reasons...’

Whereas your actual position is ‘nobody can make valid ethical statements about organization above a certain unstated size’.

The first is holding a different opinion. The second is an absolutist claim.

Another counterargument could be like the Nuremberg defenses that you have already mentioned - I.e. Facebook is that bad but there are good people there who don’t realize that, or who think they can change it, or don’t understand the consequences of the orders they are following etc.

But that’s not what you are saying - you are saying that nobody should claim that Facebook is that bad.

You seem to think that Facebook is no different from any other employer, but have offered no explanation other than to suggest that not all steps taken by all employees are calculated to be evil.

It’s perfectly reasonable for others to think that Facebook is so obviously corrupt that to work there is morally bankrupt.

Perhaps it is.
Perhaps you, and the person I was replying to, are talking about different things. The Knuth–Plass algorithm does not mess with the kerning specified by the font designer. In fact, despite some demand, Knuth never added a feature of letter-spacing into TeX, because all the typographers he spoke to agreed it was a bad idea. (It is now possible to do that, with hacks and with other engines like pdfTeX/XeTeX/LuaTeX, but in any case that's not relevant to the Knuth-Plass algorithm being discussed.)

What the Knuth-Plass algorithm is concerned with is merely where to choose line breaks. For justified paragraphs (as in any competently typeset book you can pick up), the space between words necessarily varies from line to line (barring some staggering coincidence). What the algorithm tries to do is break lines such that this inter-word space is as close as possible to the ideal specified in the font (and to minimize the amount of hyphenation required), and at this it does a better job than other algorithms (those that look at only one line at a time).

See Figure 4 in the paper: http://www.eprg.org/G53DOC/pdfs/knuth-plass-breaking.pdf#pag... (page 1130, the 12th page in the PDF).
Native applications can be rejected from app stores, have their revenue siphoned off 30% at a time, and have a high barrier of entry. It's completely reasonable for an alternative ecosystem to evolve, with a different set of tradeoffs.
> Measure twice, cut once.

I always thought that had to do with carpentry and woodworking, not statistics.
Yeah I agree. With 10 years as 'individual contributor', the last 2 as team lead, an eMBA might serve me better. Tech is coming to our office next week to present/recruit for eMBA, so this article and your response is perfect timing. Thanks!
automagically: /aw·toh·maj´i·klee/, adv. Automatically, but in a way that, for some reason (typically because it is too complicated, or too ugly, or perhaps even too trivial), the speaker doesn't feel like explaining to you.

http://www.catb.org/jargon/html/A/automagically.html
No I don't, so I might be not doing a full restore. If I'm on vacation, I might only install a few apps and risk my vacation photos being snooped on by customs coming back. Or I might pre-download installer packages and if I'm very paranoid verify their hash values online later.
a child in the park

said hello to me today

she mustn't have been

four years old

not yet old enough

to be scared

of an old hobo

sitting on a bench

levity for my worn soul

a barrel fire

in blast winter cold

so rare to feel something real

i smiled a lot as a child

i remember ms gibson

her jocular bellow

‘ain't startin' this class

‘til that boy stops smiling’

the same ms gibson

who said

seriously this time

‘y’all poor, all of youse’

‘y’all ain’t amount to nothin’

i guess she knew

a teacher's clairvoyance

look at me now:

a hobo sitting on a bench

how did i get here?

how can i be so alone?

that a small child's hello

could move me so?
It is ethical not correct to do things that BTC.com do. But you should also keep in mind that BTC.com are Bcash promoters. Maybe they want to destroy Bitcoin because they want to make Bcash stronger. People should stop mining for BTC.com
I have spare factory-reset phones and laptops for family/friends who visit - in case they choose to travel without devices.
Why the distinction? It's the same language.
Tableau Software | Security Engineer | Seattle, WA | ONSITE

Tableau's Product Security team is scaling up! We're looking for two operationally-focused security engineers. If you're specifically interested in security work, please shoot me a message.

* Security Engineer - https://tableaurefer.rolepoint.com/?shorturl=DxfBe#job/ahBzf...

Requisite blurb about Tableau: Tableau Software is a company on a mission. We help people see and understand their data. After a highly successful IPO in 2013, Tableau has become a market-defining company in the business intelligence industry. Our culture is casual and high-energy. We are passionate about our product and our mission and we are loyal to each other and our company. We value work/life balance, efficiency, simplicity, freakishly friendly customer service, and making a difference in the world!

#Note#: Please only contact me if you're an individual (no recruiters/staff aug companies) that wants to do security engineering full time at Tableau. One of us will be at DerbyCon if you want to catch up as well.

If you want to apply, please email us at prodsec-recruiting@tableau.com so we can put you into the system. Cheers!
May be a reasonable choice but I recommend just throwing.
Not surprised. This guy invested in a company I founded. I had a friend call me and basically say “this dude is horrible, don’t let him invest”. I could write a book about how that investment ended up working out for me personally.
This is a great anecdotal argument -- I just want to note that it also applies very well, pretty much verbatim, to some other graduate school educations too, such as engineering or comp sci.
The issue that I (and countless others) have is that the new interface is agonizingly slow to use.

I could give a hoot about the redesign, but the fact that it now regularly takes 5-10 seconds to switch to my “sent” or “drafts” folders— an action which happened practically instantly in 2008– is unacceptable and has prompted me to begin migrating to another email service.

I know I could use Thunderbird— which I used to— but I’ve come to rely on the web app for access away from my own computers. I’m preliminarily quite happy with Fastmail.
If it's a random officer on the side of the road, then this might work.

If it's at a border crossing, assume that they're using forensic tools to dump your entire phone, which will bypass any user-profile shenanigans you might try to do.
> I genuinely believe that classes to teach communication and negotiation should be undergraduate core requirements

It's generally hard to absorb the full value of classes like these in undergrad without having any real life experience so to speak. That's why the top MBAs require applicants to have at least 3+ years of a solid career to help them achieve the full value of the courses they will take
California is First state to require women on corporate boards
Infinite Food | Mechanical Design Engineers / Electrical Engineers / Food Safety and Quality Manager / Industrial Architect | Zhuhai, China | VISA / REMOTE / Full-time | http://infinite-food.com/

Infinite Food will define and dominate a new segment of global food retail based upon a wholly owned and operated network of service locations powered by advanced robotics. Consumers order via smartphone and receive personalized hot meals automatically cooked from fresh ingredients and packaged, ready for pickup from our 2m² footprint machines within only three minutes. 10-20x faster than delivery, with true 24x7x365 operation and service in any language, our Series A venture aims to launch 300 locations across three markets in 2019. We are a Zhuhai-based, Zhuhai/Shenzhen/Hong Kong/BVI registered company with two and a half years of IP currently seeking:

(1) Mechanical Design Engineers with fluency in Solidworks. Working language is English, Mandarin or regional languages well regarded. Broad range of interesting work focusing on automation and industrial products, rapid prototyping and iteration with supporting electrical, software, logistics and machine learning engineers. Experience with CFD (heat, fluid and airflow modeling), electrical and food safety regulation in any market, production in thermoform, injection molding, blow molding, extrusion well regarded.

(2) Electrical Engineers. Rapid prototyping of PCBs for robotic / mechatronic systems design iteration, plus opportunities in power systems design, power supply quality monitoring, energy storage systems evaluation, induction system efficiency enhancement, actuation component specification and evaluation, motion control systems, test harnesses, manufacturing process control, environmental monitoring, etc.

(3) Food Safety and Quality Manager. Background in microbiology, chemistry, software or operations research, national or international experience in the food safety industry well regarded. Initial jurisdiction will be mainland China but global knowledge will be critical as we move from domestic through regional and global markets. Interface with manufacturing, design and government relations teams, author and run world first automation systems for food safety and traceability.

(4) Industrial Architect. Numerous novel and substantial systems ideal for cross-disciplinary (mechanical/industrial/production) engineer-architect. Interesting work will provide opportunity to apply and combine principles from systems thinking, traditional architecture, industrial solutions, portability and modularity. Scope includes both finished systems and systems-of-systems.

For all positions: Mandarin speakers well regarded, but Chinese knowledge is not required. Clear written technical communication in English is mandatory. Skills and experience first, qualifications a distant second. We respect execution.

Email 'hr' @ our domain, please include 'Candidate: <job title>' in subject. No recruiters.
A poor choice is better than no choice.
It would be interesting. However those people can vindictive and if you fall in their crosshairs they can ruin your life. I wouldn't mess with them just because at least.
Luke is doing "good things" for the community by making Linux actually seem approachable and human; good work dude.

Keep it up!
Ask HN: How do you organise your bookmarks and read-it-later articles?
> TFA

just breathe
It'll be built into the forensic analysis software they're using.
try Pocket
Is it possible to use Redux without an eject?
They are often sold as self-improvement books. I picked up a "wise quotes from CEOs" book thinking it'd have some gems as well. Just made realize that most of the people writing and saying these things were grossly out of touch with the people they direct.
I have a top 5 MBA degree that moved me from an $18k / year job in a third-world country to $360k in Manhattan 2 years after graduating.

Presumably that's enough to motivate anyone.
As a "stupid thought experiment" that's a fun thing to consider. (Somewhere I've got a proof-of-concept perl script that steganographically embeds PGP encrypted messages into an image of the FBI logo and posts them to Twitter. I would not ever actually use it in anger... I still have the private key for all my test/gag posts, just in case I ever need them...)

But if you're _actually_ crossing a border into a country where there's internet access, why would you risk carrying any data that you wouldn't put on a postcard across that border? If you need it, download it after you've got there.
The exploits come in a nice box (physical box with phone connectors), and sadly, the answer could be yes at the bigger checkpoints (depends on whether they shelled out $$$ for the box).
Yes, but false hopes keep people going. And these days, your garden variety automaton has billions of tiny switches. There is a well-known saying that "quantity has a quality all its own".

My uninformed opinion is that there is probably some crucial learning mechanism missing from current AI but I suspect the raw power of current electronics is completely sufficient. Perhaps we just need a way to couple one module to another to automate training in some way we haven't invented yet but will seem obvious when we do.
DriveTime | Lead Software Engineer | ONSITE | Tempe, Arizona |
C#, Angular, TypeScript, Node, Azure

DriveTime is ranked 12th nationally as the “best place to work” for IT employees. With over 145 dealerships across the country, DriveTime is nation’s largest integrated used car retailer.

* Competitive Salary + Full Benefits: Medical, Dental, and Vision

* 401K, life, Long-term Disability Insurance

* Continuous Learning: Tuition Reimbursement Program, Technical Training, Conferences

* Company outings including Golfing, Spring Training Game, and Habitat for Humanity

* An AMAZING, fun, progressive work environment featuring a gym, pool table, foosball, horse shoes, electronic gaming, Virtual Reality Room, a large outdoor turf for tossing frisbees and footballs, gas BBQs, etc.

https://jobs.drivetime.com/Openings/Details/jobid/24111/lead...

I'm a Team Lead at DriveTime. Feel free to ping me with any questions.
It always been...
Sadly, if your username implies Australia instead of not-in-Kansas-anymore - we're almost certain to get even stupider laws than this fairly soon...
Keep in mind that people who cross the border without any incidents don't usually bother posting about it. I wouldn't alter your plans just based on a few comments here at least.
I've been to probably 60-70 countries on a UK passport. The only unpleasant border experiences I recall were in Israel, UK, France, and the USA. (Rude and intrusive).
Reading and writing is not slow, but your queries. If you don't cache or optimise your queries then any operation is going to be slow. With a VDOM you are just exchanging queries for cached DOM objects, but if you don't optimise your updates on such they are bound to be slow as any other. Also, a VDOM is immutable and prone to garbage.
This reflects the American adoption of personal computers pretty well. Most High Schools did not have personal computers until well into the 90s, but some had them in the late 80s. Similarly, universities in the early 90s did not have availability of personal computers to the degree math professors were all able to do calculations on them (to say nothing of the state of mathematical software at that point).

A number of personal computers in the Soviet Union were created, such as the MIR series were developed in the early 70s and late 90s, but commodity hardware didn't really kick in until the early 80s.

https://en.wikipedia.org/wiki/MIR_(computer)
+1 for TypeScript. The current existing ports of CRA for TypeScript are always behind.
Despite the scary name, I fail to see the laundering connection. Wouldn't the trades hit the blockchain upon final execution anyways?

They look pretty legit. Here's more info:

https://venturebeat.com/2018/09/27/worlds-first-decentralize...

It's worth noting that I've no connection to them nor any conflict of interest, just thought it was topical. Didn't have time to make a disclaimer in my original post.
Recently there was some very interesting work on solving ambiguous inverse problems with Invertible Neural Networks: https://hci.iwr.uni-heidelberg.de/vislearn/inverse-problems-...

>We can for example say that this specific observation y either corresponds to a young cluster with large expansion velocity, or to an older system that expands slowly.
It is true that museums and libraries prune their collections. What's not true is that they make these determinations from the same profit motive that drives businesses.
Don't pick a fixed value for the batch size; render until your time is exhausted and then wait for the next batch. Yes, this'll be slower overall, but you ensure that the app stays responsive regardless of device or CPU availability.
I always wondered: what if redlining worked from a financial perspective?

If it turned out that Ethnic Group A is on average 5% more reliable about paying their debt, this is valuable information, but the banks are legally bound to ignore it.

So they've probably spent a lot of time trying to produce similar metrics through proxy measurements. Seek out a profession or purchasing pattern that suggests a given ethnicity without outright saying it.

I suspect AI is, from a legal CYA perspective, the greatest proxy of them all. "It's a black box, we don't/can't know how it produces its results... yet mysteriously it biases exactly how we would if we could overtly discriminate."
https://tratt.net/laurie/blog/entries/why_arent_more_users_m...
We've been using Sourcegraph at Uber and it has been working pretty well. We saw a performance regression last week with `max` queries but it got fixed fairly quickly (less than a week from reporting to having the fix deployed)

Some wishlist things:

- would be nice if the query language was better documented (not the GraphQL console, the help section for that is comprehensive)

- a coworker had expressed a desire for multi-line searches (which is supposedly in the pipeline)
> You used to be a "programmer". Now you're a data engineer, ops engineer, front-end engineer, back-end/full-stack engineer, ios/android/react, system/OS programmer, etc.

I still wonder when there's actually going to be official training in these specialties, that counts as credentials when seeking employment. As far as I know (and I could be wrong), traditional education tends to be somewhat general.

Which specialty you're qualified for seems to have more to do with what job you happened to hold when the specialization split began, rather than something you deliberately decided to study.

(Okay, I'll admit that there are training courses in all manner of things, but they don't seem like a formal course of study you can actually put on a resume.)
From memory one of the issues on github says it's coming in 2.1. It just wasn't determined to be a "blocker" for 2.0.
SimplePay | Ruby on Rails Developers | Cape Town, South Africa | REMOTE

The story (skip this paragraph if you don't like stories in your job posts): I founded and continue to run this startup. Most of the team works from our office in South Africa. However, 5 months ago I moved to Singapore for work / personal reasons. I used to be quite averse to the idea of remote workers, but seeing as just about everyone will now be remote from my perspective, I decided it's a good time to start focusing on hiring for remote work. We’ve hired 3 remote developers so far and it’s been a great experience!

SimplePay is online payroll software for South Africa, Ireland, Singapore and Hong Kong. Our software lets thousands of small business owners (and their accountants) run their payrolls without headaches, so they can focus on the challenge of building their businesses.

Do you believe most SPAs are a pile of steaming crap, but wouldn't mind digging into Vue.js for pages that will benefit from the increased interactivity? Do you laugh when people give up the power of PostgreSQL in favour of data stores that don't offer any benefits for their use case? If so, you may fit in well with our mindset. The work will include: Doing direct integrations with banks that offer good APIs; Expanding our API for other systems to integrate with us; Adding new features; Optimising for performance; Integrating with government systems; Squashing bugs; Eventually, the opportunity to do some mobile development (maybe using Flutter).

Experience: Due to our full pipeline, we can only hire developers who have a few years of Rails experience at this time, or polyglots who at least know Ruby. Previous experience with remote work would be a bonus - we need people who understand the challenges and can share what they've learnt.

Location: Most of the team is in GMT+2, and I'll be in GMT+8 going forward. So anything from GMT+0 to GMT+8 should be OK, unless you keep unusual working hours.

Please mail careers@simplepay.co.za and put "Hacker News" somewhere in the subject. I look forward to transforming the company to being more remote-friendly.
I have a similar problem. Opening and closing the lid helps. But hardly magic feeling.
and redux-saga?
Aspose.Newsletter October 2018:  New APIs for Files/Folders Compression and More
yeah, if you're absolutely inept and have insufficient logging/monitoring, you can't even tell how bad you'd been screwed. kinda like a Dunning Kruger effect of sorts