skysight-inc/HackerNews huggingface dataset:
Advanced Scanners | Principal Software Engineer | Austin, TX

Advanced Scanners is a recently funded seed-stage medical device company bringing its unique IP to solve real problems in surgical navigation for patients undergoing open brain surgery. We are looking for a strong software development engineer to build the next generation of medical software.

You'll lead a small software development team, and have responsibility for the analysis, specification, design and verification of software for medical applications in a regulated environment using FDA-acceptable tools and methods.

Apply your technical expertise towards developing world-class algorithms and systems solutions using software engineering tools to solve complex technical problems related to optical imaging and surgical navigation. You'll participate in technical reviews, select the most promising concepts, implement advances in current state-of-the-art technology, in the areas of image processing, machine learning, artificial intelligence, and identify opportunities for productivity and quality improvement. You should have experience in C# or C++, and imaging development on GPUs.

Gory details about what we do at https://www.advancedscanners.com.
Contact Aaron Bernstein at aaronb@advancedscanners.com
Self-driving and electric cars won't solve traffic congestion. 112 sq ft/person is not efficient for transit.
Fun fact, Utah has Prima Facia speed limits. This means it's legal to exceed the posted limit when it's safe to do so. You'll get a ticket anyway, but you can make the argument.

If all cars went the speed limit then cities, towns, and counties would lose speeding ticket revenue. I suspect the money would cause attempts to force safe speeds to fail. On the flip side there's a certain amount of freedom inherent in being allowed to speed. So, it seems like there might not be enough support, on any side, to make this feasible.

Around here, going the speed limit typically means going slower than the rest of traffic. If all of our cars forced us not to speed, I wonder if speed limits would naturally increase to safer limits. I also wonder how much of what I just said is a result of Prima Facia speed limits here.
You would have done well to show more examples; people are having trouble with the art of bus manipulation.

* Throw people under the bus, but pull them out at the last moment. "I could say that it's the other team's fault, but we're practicing blameless postmortems. Can we focus on fixing our process?"

* Throw people under multiple busses. "We're behind on the upgrade effort because there are three different upgrade efforts going on and we can't focus on any of them."

* Throw busses at people. "I am not trying to take over your team. I am only asking that we follow the law. Waiting for Legal is a smokescreen; we need to act now or get sued next quarter."

* Be bureaucratic. "I wasn't able to finish the project because we have issues in deployment and code review. We'll be finished soon, and I'm improving our deployment process so that this won't happen again."
That's exactly why it has to be mandated. Occupant safety might be a selling feature, but not killing others has to be a required one...
Stockton, CA Tested Universal Basic Income. Here’s How Recipients Spent It
Man, I cringed when he (OP in this case) said that "it's honestly kind of insane that we require encryption for text based websites like .. let's go to Wikipedia." (Around 4m in the video).

I'm sorry, but no .. it's not insane that we require that in this day and age.

Otherwise, this looks pretty cool, will watch it further when I get the time.

EDIT: Answering his next question: "Why does it really matter?" One reason is simple: These pages link to login and registration pages. If it's not authenticated, and can be modified over the wire, then an attacker could just redirect you to a different "login" page. TLS/SSL authenticates that what you received is what you expected, and that's very important on the internet in this day and age.
Can't you though?

SELECT 2+2 as num FROM <table> HAVING num > 3;

this will return as many 4s as there are rows in the table

SELECT 2+2 as num FROM <table> HAVING num > 4;

this will return 0 rows. How is this not using something from SELECT in a HAVING clause?
What is a small amount monthly? Can you share a use case? Would you consciously go to that engine instead of Google for your daily routine?
CA too. I'm not sure how likely it is to get you out of a ticket though.
This is more like a change in how loss is valued: the person is charged for a copy of the book.

Not a dollar a day or some arbitrary value to satisfy social impulse for helicopter parenting the masses. It ties the “fine” to the value of the asset and stops bothering
> Minson and Gunningham are also looking to sell some of the companies WeWork purchased in recent years, as well as the Gulfstream G650 the company bought last year for $60 million

That is just obscene.
First they should stop paying 100% commissions to real estate agents. Seriously, if you need office space cut a deal with an agent where you get back 80% of the rent paid for the term.
It'd be a lot more honest to say "correlated" instead of "linked" in science journalism headlines.
You can’t really hijack a train to hit a specific building, as you can with a plane.
Honestly, I think it's worth bragging about just how much code re-use and modularity one can get out of combining parametric polymorphism with ad-hoc polymorphism (type-classes).
> iPhone/iPad/etc. are different classes of devices

No, just no.

They're our computers.

This is why I really hoped for the Ubuntu and Firefox phones to happen.
This comment pretty much sums up my own experience, including learning Go, then Haskell, and the final takeaway - have pretty much given up talking on the internet about Haskell.
And if a few homeless people die from transplant complications, hey they volunteered! And now we can stop investing in social welfare because a steady supply of homeless bodies improves the health of the middle class!

The world is not linear, it has feedback effects.
I’m the same height. Do you mean elevation or azimuth visibility? My Leaf is awesome for elevation as I’m not staring into the visor like I am with all other vehicles. In the Leaf, I’m looking several inches below the visor.
Actually it's funny you should mention the FAA. I have much greater freedom at modifying my airplane than I do modifying my car.
It works with multiple cards too! If you're ever in NYC, visit a NYPL branch. They are one of the few city library systems that give free cards to nonresidents (it does have to be renewed every 90 days, but has full borrowing privileges)
I've also used crontab.guru a million times, precisely 0 for crond itself. Tons of systems use the same syntax.

So the super dismissive "systemd is better" response is kind of missing the point anyways, even with any type of legitimate justification.
Sure, but A) genetic screening only knows about the common issues, and B) if you marry someone random and don't realize they're a half sibling, you might not bother with genetic screening.
People seem to be in more of a hurry now.

The general common-sense level of the population seems to have dipped, causing pedestrians to make stupid decisions, like running across a road at night(I see this a lot).

Pedestrians are also capable of being distracted by their phones.
Got The Pod from Eight Sleep recently and I’m loving it. Consistently feeling more refreshed in the morning.

Anybody who even remotely cares about sleep fitness should try one out.
Except maybe for the point that humans are notoriously bad at estimating creative work and biased in the shorter side... So taking estimations as commitment is indeed a way to short-hand the one estimating. Thus the rush when you realise your naturally optimistic estimate became a deadline.
> In the example I reacted to, a government agency actively worked to inhibit that behavior in order to preserve its revenue. Your point would hold if governments didn't have the power to do things like this.

A governmental bad actor is basically orthogonal to the idea of a carbon tax. The government could equally try to increase sales of liquor and cigarettes for sin taxes, or go around murdering people for the estate taxes. The UK example is shameful but reflects on that government body rather than the specific tax on petrol.
Elixir's ORM, Ecto, appears to be a lot like LINQ. You write pseudo-SQL queries starting with from. E.g.

from u in User, where: u.id = 1, select: u.name
Historically tradition is to encrypt the login, registration and administration pages, which is what people have been doing for decades. Full encryption of everything has advantages but that's not it.
Nginx-ingress (the free version) does a reload when pods are added/removed. I would expect to see latency spikes. As I understand it the paid nginx-ingress can do these reconfigs on-the-fly. If you have pods adding/removing frequently, like maybe from "We then scale up the backend service to four pods and then scale it back down to three pods every thirty seconds", this is what you see. The more interesting question is if that is a realistic expectation for your workload. Unless you are doing aggressive auto-scaling pods can be very stable, only add/removing during upgrades.
It's entirely possible this has been the state of the company for some time and senior management + SoftBank wanted to cash out via IPO. Everything's come crashing down.
I travel from Dallas to Houston every week for work and have been following this closely. Often after a run of crummy trips by air due to delays and other common air travel issues I take an executive charter bus just to take a break. All the while dreaming of what it would be like transiting via maglev at 1kmph
errno is thread-safe as it resides in TLS. Part of libc such as pthread is very hard, and so does the dynamic linker. The latter is supposed to handle TLS data as required by TLS/elf spec, which more or less requires a full thread/pthread implementation. As a result, it is rather difficult to break down libc, without writing the whole thing in the first place. golang might be an exception (no linkage against libc), but AFAIK it doesn't use TLS.

It's a pretty hard task to tackle libc (not just string functions, obviously), maybe for the same reason there're only a few libc implementations (support full dynamic linking).
Rail is critical infrastructure in the US, extremely critical. It's just not critical for passenger travel.
Facebook is livestreaming its internal Q&A
Any more reading on this?
> Also, a China Railway Group engineer told Changjiang Daily that Japan, Germany and the US were also competing against China, trialing their respective ultrafast maglev trains based on various models of the superconducting maglev technology.

Uh, we are? I don't know of any successful maglev projects ongoing in the United States.

And this is awful. Planes pollute so much [1] and the experience of flying is awful.

[1] https://www.dw.com/en/trains-vs-planes-whats-the-real-cost-o...
This. Apple cooperates a lot with law enforcement than they let out. While they make a big deal about on-device security, iCLoud which most users turn on is the loophole. Apple turns in backup content when asked much more willingly.
> There's only a dereliction of responsibility if a trend is going in the wrong direction and nobody thinks about how it can be reversed

It appears your argument is that reproducing less is good, but we're already doing it (though not on purpose), so therefore me saying we should do it on purpose is wrong?
In the mainstream world, we study a single category of types and logic at a time. There is an ∞-category Tomb whose objects are languages and arrows are compilers; we don't talk about it much. Lisp is certainly not somehow an arena where we transcend computing concepts; it's a lightweight syntax for untyped lambda calculus, at best. A single topos, not the entire multiverse of topoi.

I could restate your entire argument for ANS FORTH and I'm not sure whether it would lose anything. That should clue you into the idea that your argument is really about the age of the language family, and the corresponding maturity of philosophy and reasoning around members of the family.

The only thing that Lisp makes easy is the parser, by dint of reusing the host Lisp's s-expression reader. The most trivial and surface-level part of a compiler, really.
You can never say never, the Texas Leg. is notoriously susceptible to political influence by monied or powerful individual. But I doubt it.

It will also take support of several powerful people within the leg (the speaker, and Lt. Governor), as well as the Governor to get the eminent domain condemnations done without interference.

But land developers get local governments (most often), and sometimes the Texas government to use public funds to build roads to increase the value of land to be "developed" all the time. It's the main way that new roads get built around here. Then they use a "private utility district" (authorized by the friendly leg.) with taxing authority to fund the installation of streets and sewer, etc. and voila, now they can make billions selling houses. All without risking a dime. It's a nice gig using tax dollars to funnel money to millionaires, if you've got the right friends.
And then it was later found out that, like I detailed in my edit, that that wasn't enough. Attackers could just modify the login page link on any unencrypted page and phish you that way. What I described is just one of many reasons the industry as a whole pushed to full-encryption.
I get that it's moving fast, but what's the specific threat model? Terrorists hijack the train and somehow drive it off the tracks? Presumably it's easy enough to secure the "cockpit". They could blow it up, but is that dramatically worse than blowing up a train moving 50 mph (genuine question, I'm not sure about the physics)? Especially as these trains don't carry fuel, I can't imagine a tragedy on the scale of 9/11.
If properly designed, you don't get traffic jams on public transport though. Trains have dedicated tracks, and buses can be given bus lanes.
> You can’t really hijack a train to hit a specific building, as you can with a train.

*as you can with a _plane_
Read this earlier today: http://nymag.com/intelligencer/2019/10/marketing-expert-scot...

Lots of choice quotes. :)
> Shameless plug (but I hope that's okay, again)

I find lots of cool shit on hn because people decide to share their side projects that I wouldn't otherwise have seen.

It only becomes a problem when people don't disclose they have a bias or connection to a product when they should.
Sure:

1) Should basically never happen anyway. It's a point of pride on my team that we rarely (as in, maybe once a year) have breakages in production that are actually caused by Haskell - they are almost always caused by something else. On the off chance this very unlikely scenario actually happens, I've never found a Haskell codebase I'm familiar with to be any less readable than ones in other languages. If anything, the reverse is true. The important thing is familiarity, not the language it's written in.

2) Haskell is a language in which research is done. It's also perfectly suitable for production software. The two aren't mutually exclusive.

It _does_ have many ways to combine things, but in generally that's seen as a positive. Most of the ways are compatible with one another. The big exception is the distinction between monadic and non-monadic code, but libraries where that distinction matters almost always support both.

3) This is a problem with developers, not the language. If you employ idiots who want to masturbate over academic points for two days instead of doing their jobs, thats your problem.

4) Architecture is much _easier_ to change in Haskell than in other languages, because refactoring is safe and straightforward. Anyone complaining about logging and config has clearly not written enough Haskell to be aware of the common patterns for handling those smoothly.

On the _very_ rare occasion that you just need to jam some print-lines somewhere deep for debugging, the Debug.Trace module lets you do that with basically no effort.
Agreed, but also we don't know what exactly Apple (and also Google) is collecting - Apple Maps might only have subset of their data.

Not to mention, having a good way to build realistic virtual environment for acceptance testing is probably key here to enable self-driving.
Let’s be real: this was going to happen regardless of whether or not the founders and investors cashed out.

The only remarkable thing about the WeWork story is that the markets called BS before the IPO.
They can cross reference with the cases that actually get prosecuted.
Facebook is just acknowledging reality. Politicians only tell the truth by accident.
Because these disguises do not disguise; they reveal.
Yes, of course you encrypt those, but you also need to link any page which can link to those as well, otherwise an attacker could put a link on the page which goes to their cred harvesting page instead of the secure login page.
+1 for OpenBSD. For C, it’s the nicest platform around. I love the system man pages and the like you said, they have a lot of nice system and library functions to use as well.

Also it’s pretty easy to copy the C stuff to new OSes as well for portability.
I agree - honest (and hilarious) mistake.

>You try to accept that another human being could miss someone with a bloody zebra walking by with them _anywhere_ because they were staring at a smartphone!

I would believe it easily:

https://youtu.be/Ahg6qcgoay4

(Classic attention test.)
I'm glad I am not the only one who stared at the monitor with my "what the hell did I just hear" face when he said that.
Everytime I see an article on HN about Apple Maps, I get hopeful that there's an announcement buried that they're releasing an Android version...

I agree that Apple (& Bing/MS) is vital... But in order for the goog to be toppled, there needs to be apps on all platforms. It seems ludicrous they want to redistrict their map and messaging to iOS only, but there's a real opportunity for Apple to spread out into competing platforms.
> because by then it was well established that white people shouldn't enslave, or attach to land, other white people

That's not how Europe works. Virtually everyone around here is "white". That doesn't prevent racism, it's just racism against Gypsies, or Albanians, or Itelmens, or Jews, or now (often white) muslims.

And of course in Europe we had a big thing for using class differences instead of using race differences as our justification for such things as serfdom.
Even the us high speed rail Association claims efficiency only up to ~1000 mile trips, and this is their own best case marketing claims. And they're fighting for the sub 125mph version using existing ROW.

http://www.ushsr.com/hsr/completesystem.html

This paper shows only about a 3% to 20% improvement in co2 per passenger mile by shifting air traffic to already existing hsr in Europe (200-800km trips, taking into account embedded energy, and assuming %50 will be recyclable, which I think is quite optimistic)

https://doi.org/10.1155/2018/6205714
Python has some basic pattern matching. ADTs are alright, but if you notice that MLs implement them by tagged unions, then really this is a request for syntax and ergonomics, not semantics.

Python is untyped. This fundamental separation between Python and Haskell is non-trivial, and can't be papered over. Your complaints about exhaustiveness, field existence, and case analysis are all ultimately about the fact that Python's type system is open for modification, while Haskell's is closed; in Haskell, we can put our foot down and insist that whatever we see is an instance of something that we've heard of, but in Python, this is simply not possible.

I agree, when it comes to Python's moves. I am about ready to leave Python 2, but I'm not going to Python 3.
The Realms polyfill solution was inherently hacky: it tries to shim a sandbox into an environment that didn't have one, and it makes it too easy to accidentally leak capabilities into the sandbox.

WebAssembly was built from the start as completely sandboxed (if you want the sandbox to communicate with the world, you have to write each bridge yourself), and it's not as easy to directly share references to host objects into the sandbox, so it's unlikely to happen by accident.

It's a blacklist (Realms polyfill) vs whitelist (WebAssembly) kind of situation. Whitelist approaches are almost always easier to secure and verify.
Yes, these two definitions are very close to each other. "Comprise" does not belong here.

Others I would remove:

"quantum": It really means something more like "discrete", and discrete values might be small or large depending on one's perspective.

"splice": I find no support for the second definition.

Still, many of these are very nice.
This is all well and good if nobody else wants the book.

But if I check out a book, and you place a hold on it, and I fail to return it, that's not OK.

Now you don't know whether to wait for the book to be returned, or to just go buy it because I can't get around to returning it.
Have the various GPS navigation services generate flow-through rate reports for every intersection at different times of the day and use those as a sample to actually program light cycles for traffic volume.

Don't the traffic lights already know the flow rate through their intersections?
> So Google Street View is chopped liver

Yes.

Because this is missing an important point. In order to render the data, the data has to be in a format understood by computers, which street view is not.
Gonna have to ask you for a cite on that one. Climbing costs energy, as does lift. Piston engines and electric both get better mileage than turbines.

I could see it for a 13 hour flight, maybe. Train tracks don't cross the Pacific, though.
Maybe if a sufficiently large group of angry sysadmins applied the Internet Death Penalty to Facebook and refused to allow any traffic to or from their IPs?
Just try changing the first function definition in my source for tinyasm code to "struct label define_label(char name, int value)" and it will complain of error. Same with all my functions. I didn't had time for further dive looking for the error cause, so I just resorted to K&R.
Maybe https://en.wikipedia.org/wiki/Persecution_of_Muslims#Russian... and https://en.wikipedia.org/wiki/Circassian_genocide then?
What's the advantage of decentralisation? Is it really a problem to have centralised servers if they're just storing dumb encrypted blobs?
> The main risk with We is that there's a recession, occupancy drops to 50%, and they're stuck with the leases. But that's not a unique risk.

What is unique is how massively overexposed they are to this risk.
It shouldn't, though, because there is no table bound to that name to draw from at that point. You haven't added a from-list that is actually relevant to the current scope yet.
Yes give it a go and ask me any questions :). I was hoping someone makes use of it. It's tightly coupled to Redux, but not React. I don't think it will work great with ember, and I say that because Breezy doesn't require any router or models (again Breezy is about the content state as opposed to business models). It reuses your Rails routes much like Turbolinks.
This isn't about ORMs or database performance. It's just a comparison of query languages, with LINQ being more natural for data models with lots of joins and nested records that are common today (especially since that's how people work with objects inside their programming language).

SQL is far from perfect. It would be nice to see some modern SQL dialects that follow the LINQ syntax and are natively supported by RDBMS.
Easy, I live in Western Europe and they absolutely hate high density living as it's seen as eye-sore sardine housing for the poor and lower class and nobody wants to live in or around such buildings/neighborhoods as it'll turn into slums so it's a real hot potato.