skysight-inc/HackerNews huggingface dataset:
BuildBook is an early stage company hiring for a key engineering role to help us continue our early momentum building technology tools for the residential construction industry:

BuildBook | Product Engineer | US - Remote | https://angel.co/company/buildbookhq/jobs/875012-product-eng...

We are a remote SaaS startup with team members in multiple cities in the US. We have a small, tight-knit team that is flexible in how/where we work. We are moving fast and are laser focused on a specific customer and specific problem. We have a solid core product in market, early customers that are raving about us, and a big vision to solve a massive problem.

Our product is a collaboration platform for residential construction teams and clients. In short, we are on a mission to make construction projects (new homes, renovations, etc) suck less for everyone involved. Our primary customers are small business owners - custom home builders, remodelers, interior designers, and others in the construction domain.

Given our early stage, all roles are hands-on with an opportunity to lead as we continue to grow.

Our product process is centered around lean and agile methods. Our tech stack currently includes React, React Native, Ruby on Rails, and Postgres. We are deployed on Heroku. We manage our backlog with Clubhouse, our code with Github, and Sketch+InVision for our product design flow. We are always open to new tools and technologies that will help us move faster and deliver more value to our customers.
Not sure why you were downvoted for pretty much having your priorities in life clear.
I think you must have misread "less than" as "more than" in the comment you replied to.
Just in time for the 2020 Tokyo Olympics, as Akira predicted.
But those are all database abstraction mechanisms or ORMs. Regular SQL access to postgres databases is pretty much a fully solved problem in F#, even if the ORMs are not.
It's pretty impossible to say isn't it? Not everything doesn't last/changes fundamentally.

I would think there's a version of 2920 in which nothing changed so much in how computers work (e.g. we're not using personal quantum computers) that we're not still using Linux (v87.9.2 or something).

But there's equally another version in which we don't need to sit down and compute because things just happen and even those things aren't run from Linux robots because the robots we built 500 years from now decided a microkernel approach would be better and rewrote everything. Another in which we live on Mars and Linux doesn't work there for some reason discovered 320 years from now.

I just think it's not obvious the answer's 'none' which is at least how I read (what I took to be) your rhetorical question.
If you expand ZK-S-N-ARK it becomes Zero Knowledge-Secure-Noninteractive-Argument of Knowledge, or Zero-Knowledge-Secure-Non-interactive-Argument of Knowledge if you reinsert the hyphens that had been removed by the acronym compression process. To me it seems that binding those words together with hyphens makes the name harder to understand. What exactly is meant by Knowledge-Secure-Noninteractive-Argument? Surely a lunatic must have pasted all of those words together. The phrase doesn't just change its meaning but loses it because some of the words were not glued on with hyphens and fell off.

In other words, my point is that arbitrary and gratuitous hyphens can make it more difficult to understand what ZK-SNARK means. The only system of hyphenation needed is the one that causes people to parse the meaning in the way that the writer intended.
It's a classic for sure, but it's still cool seeing a new take on it.
Raspberry Pi 400 review–the under-$100 desktop PC you didn’t know you needed
Understandable how you'd get that impression, but it's off the mark. We do lots of "ordinary" programming that looks nothing like waiting a compiler. Data analysis, high performance packet processing, log analysis, UI work, you name it.

We use OCaml as a general purpose tool, and it really excels in that role.
This one right? https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/DN...
NI? what does it mean?
I am an F# person rather than OCaml and am not familiar with the compiler, but this seems to be overstating the difference: I thought the OCaml functors are “real” mathematical functors that implemented a structured type polymorphism over the “input type” - they look pretty similar to C++ templates superficially but they work similarly to Haskell type classes. They are “functions from modules to modules” but those functions take types as values.

Real experts should let me know if I am mistaken: I don’t think OCaml and Haskell have strictly the same type system, but they are both similarly more expressive than F# because of this specific type -> type polymorphism that in particular lets you do type-checked monads, etc.
> Next up is Google Docs. Sheets is going to be tough.

Microsoft 365 is reasonably priced and you can use the web-based versions for free.
You just didn't have anyone skilled enough to automate those things, or you couldn't manage that. If you are colo you aren't swapping disks/network your colo provider is. Im not advocating for doing it ALL yourself, making network cables does save money, but its impractical. Just because you couldn't manage the whole thing while having the ear of the CTO, just means you failed it doesn't mean it doesn't work for lots of other companies that make lots of money.
Have you looked into Linq2Db [0]? (I'm a contributor to the project) I know a few F# users have had success with a couple of minor caveats. I can say it handles most of the points you mentioned fairly well however (Great join syntax, lots of bulk insert options, easy wire-in for native features.)

[0] - https://github.com/linq2db/linq2db/
Okay fair comment. But in terms of the entire data center being unreachable, that has never happened - not in ten years.
Why not call Github Microsoft knowing that Microsoft owns Github?

Microsoft has refused to challenge a highly dubious DMCA notice when they have more than enough resources to do so. Isn't Microsoft the party at fault given that their lawyers know the DMCA notice doesn't have a leg to stand on.
The best weather really lies between Socal and Norcal: SLO and SB. Their biggest weakness was always the lack of local jobs.
But leaving OCaml for F# is a bit like leaving Scheme for Common Lisp. Most of the underlying ideas are largely the same.

Moving from OCaml to C++ or Go would be a drastic and surprising change, but it's not nearly like that.
Let me know when New Jersey is willing to have the line come to them. You recall what happened...
please explain; thanks in advance
HoloLens 2 Development Edition is now available in the US
Are we sure this isn’t just a username someone wanted and knew someone with power at Google to hand it over? 15 years ago the author may have had a hard to get Google name. I have one that’s constantly being spammed by people who want it. Wasn’t there a story posted here a couple of months ago where FB or IG employees were stealing usernames for friends and FB/IG refused to respond to use demands ?

I almost feel like the author had this happen.
You nailed it so perfectly. The difference is encapsulation of dependencies and independent scalability of each service. That aside, whether we have a monolith or microservices, you cannot fix bad architecture.

It’s like spreading out components with larger copper traces and separating them. If you’re circuit is wrong, no amount of things you can do on the PCB level will fix it. Fix the schematic (circuit) first.
" It is ALWAYS cheaper to build capacity now than to retrofit later" As Washington, DC has come to learn with their subway. Decided to cut the third track to save cost and now any minor maintenance causes all kinds of issues and has made the system basically unsustainable without continual bailouts from the taxpayers.

The ultimate pennywise/pound foolish.
There’s a big gap between “can theoretically build this application” and “can efficiently and reliably build and maintain this application.”
I don’t even think it’s an in-spirit violation. You have to offer to distribute the source. That doesn’t have to be from any particular hosting provider; it just has to be reasonable.

(The license is ~14 years older than git itself. There’s no way distribution using a specific git hosting service is required under the license.)
Gmail is the linchpin in their whole ecosystem. Break that, and it suddenly gets a lot easier to use various products without being stuck on Google.

100% the Trojan horse. I don't know that it started out that way... but it certainly is now.
Anecdotally, I just moved from the Bay Area to Asheville and am taking my tech job with me. So, could be true... Real estate there is crazy right now. The local agents say houses have been selling very quickly, often sight unseen to California buyers.
It's the DVD decryption key one of the first "illegal prime" https://en.wikipedia.org/wiki/Illegal_prime
I think it might have been a local creation. It was ugly as hell, half of it rose above/outside the case showing the switch bodies and entire keycaps. It did have a good feel though. I wasn't much of a touch/speed typist so didn't gain so much. I got it because my father was a bit of a typewriter geek and didn't like me using the membrane keys. Ended up getting an 800 with expansion memory but the keys weren't as good--too springy/spongey no clickiness in it's motion.
I've de-Googled nearly everything:

Firefox, DDG, protonmail, BitWarden, LibreOffice, etc. I even switched to iPhone.

The only thing I haven't been able to get rid of; YouTube. There's really nothing to replace that. At least I access it without being signed in, and in a browser on both desktop and mobile.
> If a story has not had significant attention in the last year or so, a small number of reposts is ok. Otherwise we bury reposts as duplicates.

https://news.ycombinator.com/newsfaq.html
All you have to do to substantiate it is follow his procedure and see if you can successfully fork such a project to github. Let me know how it goes!
I don't know, man. You might be onto something with the image of a first person cartoon-ish world. That aesthetic might be very cool and interesting. The quest for the most real realism will get boring eventually, right?

The painted and cartoonish world of the 2D adventure games was very cool (in fact I'm playing the Leisure Suit series now, that while not great, fulfills that nostalgic itch), but who knows what comes next.
SpaceX | Software Engineering | ONSITE - Redmond, WA OR Los Angeles, CA | ITAR restrictions apply | spacex.com/careers

--Apply directly using the links below or email your resume to softwarejobs@spacex.com--

SpaceX in Redmond, WA is looking for software engineer’s to build software used to design, develop, launch, and operate a low latency, high capacity satellite broadband network for Starlink.

Location: Redmond, WA (onsite)

Senior Frontend Software Engineer (Starlink): https://grnh.se/3bacf8ec2us

Senior Software Engineer (Starlink Automation and Infrastructure): https://grnh.se/fd60436b2us

Site Reliability Engineer (Service Mesh): https://grnh.se/d6f4bf432us

We're also hiring in our headquarters in Los Angeles!

Location: Hawthorne, CA (onsite)

Senior Full Stack Software Engineer (Application Software): https://grnh.se/1f5a69532us

Senior Network Security Engineer (Starlink): https://grnh.se/f6efe6a32us

Senior Software Engineer (Starship): https://grnh.se/5b891cc32us

Information Security Engineer (Azure, Google Cloud, AWS): https://grnh.se/f23433af2us

GNC Software Automation Engineer: https://grnh.se/c587c1f22us

Join the only company in the world that launches & lands rockets, sends humans to space, builds an interplanetary rocket, and an entire space internet constellation!
U.S. agents lured teen to sell drugs near White House for Bush photo op (2018)
Can you post your source on this story being Russian disinformation please.
The iOS catalog is moot until devs starting making real games for the platform. Apple Arcade and a few indie studios have done great, but for the most part, iOS games are micro transaction laden trash. It will take years before we see any real desktop level games developed to run exclusively on ARM macs.

I think the success of gaming on the platform will come down to game engine devs like Unreal and Unity. If they can optimize exports to target Apple silicon with minimal overhead, that’s the best bet to see gaming live on. Otherwise, I don’t see how any AAA studios can find it worth their time to build for 2 completely different architectures.

One interesting exception might be EA, as The Sims is hugely popular among casual crowds that might have a MacBook for college or something. But in the case of EA, they also will create a new Sims game and then milk it for a decade, thus paying back their R&D costs. Other studios who frequently make new games and want to push the hardware may not be as inclined to spend that with such a small install base.
Ask HN: When did software locks first start to appear?
Please patch your systems.
Stanford indicates that VR users could be identified after only 5 minutes of use
Perhaps one group of people should not have been proactively striving to strain and break all social bonds that would encourage or require people to care one for another.
I applied to this company a few years ago. The first question the hiring manager asked me on the phone? "What editor do you use?" This same hiring manager was out sick for my interview (I did not learn this until I arrived at the office), and never responded when I pinged him a week later. The whole process left me with a sour taste and I would caution other people not to have their time wasted similarly.
There's a Torvalds rant about this specific UB and it's how they do it in the Linux kernel.
Chestnut may be coming back. Hemlock is an important success tree so I'm not sure what happens when those are in trouble.
I was thinking it could be self reported in-app. After using the app and saving coughs, if you get a test result you have the option of adding it with the test date.
Very cool. Have you written anything about your experience with it in prod and on side projects? I'd be interested to learn more.
I would say OCaml’s most famous use (or at least its most successful) is in the compiler/runtime for Coq, the proof assistant. Which means that a huge bunch of its user base is in academia and theoretical computer science , and whose jobs it is to worry about fancy type stuff :)

It also does seem that OCaml is more popular in Europe than North America but I don’t have any data on that.
Too expensive and subtle for battering and deep frying IMO.

Scampi fits your bill though?
Can't they just put a tracker inside the ball for trilateration?
> Scala seemed like a mess at the time (from a distance - no idea whether I'm right).

I work on and use the .NET Port of Akka from the Scala/JVM world. In those travels it has included reading a pretty decent amount of Scala code.

I wouldn't call it a mess so much as a very -expressive- language. But the cost of that is there are a lot of different ways to do things, and some parts of Scala that are very powerful can be very confusing until you understand them.

My favorite analogy for .NET developers; if they remember their confusion the first time they had to comprehend => delegate syntax, there's lots of little things in the same vein in Scala; ways for the compiler to generate sugar. There's just so -many- of them it can be overwhelming, doubly so when in some cases the wrong choice can in fact have pretty big performance implications.
Not everyone is a salesman though. Why would an engineer need to be in an office coding away so "he can turn up to his customer"?
> I’ll write in a few days about what we chose instead

My bet is Python - it has some types but more importantly a massive ecosystem, and I think Dark’s target market probably has a little Python knowledge (which would come in handy if they’re looking for open-source contributions down the line).
I’m hopeful we’ll see something similar to the move Steam has made for old Pc games. With a little love, devs can usually get an old Windows 95 game running as we’ve seen in the past few years.

If the Apple silicon is powerful enough, it might not matter if there is a huge performance hit for the emulation. It’ll be an interesting next 5 years for sure.
The key difference that you’re missing is “consent"
Here is the archive copy of the original article from October 18th: http://archive.is/t944D

And here is the version with the editors note from October 31st: http://archive.is/e8YX7
I am guessing “Natural Intelligence”, i.e. a human.
You only have to look at any slightly politically charged topic on HN to see that there are plenty of far far right wingers in tech.

Edit: see I'm even being downvoted by them now :D
Here a "chippy" is a carpenter, we seldom eat them
That's such a sad outlook. We'll see the next Scorsese and Miyazaki using these tools and techniques.
Create a Git Diff in Markdown
I'd find it incredibly childish and needlessly divisive to make your repo impossible to host on a given provider just because you don't like the provider. This does nothing but make the tech community worse for everyone and less accessible. Newcomers shouldn't have to navigate petty politics to get started with tech and people already here shouldn't have to have their time wasted with it when they're just trying to be productive.
Read more books. Seriously, it's the best way to improve your writing.
> so posting the primes that make them up is sharing the encryption keys and thus against DMCA

Except it's not.

You can post the numbers alone, without including information (directly or by reference) to the application about which information is banned, all you want.
AWS GPU-Equipped EC2 P4 (Nvidia A100)
Appsmith | Remote(India, Southeast Asia only) | Full-time

Senior Frontend engineer, Senior Backend engineer.

Appsmith is an open source low code project to build custom admin panels, and internal tools. https://github.com/appsmithorg/appsmith

Our project includes complex frontend and backend features that are fun to work on because you are building for other developers.

We are a 6 member engineering team and work with React.js, Typescript, Java. Write to me on abhishek@appsmith.com or see detailed JD on AngelList: https://angel.co/company/appsmith/jobs
So you are suggesting Netflix as a company should enter a completely unrelated location-specific government-related industry (which has its very own specific regulations and domain-specific issues), just because they have smart employees whose technical expertise domain sorta overlaps with the kind of engineers who would be useful to solving problems of that other unrelated industry?

Might as well suggest that HFT finance firms enter a business of providing fast and reliable internet service to rural areas, because their employees have an extremely high expertise in providing bleeding-edge insanely responsive internet service from the exchanges to their offices (not kidding at all, they legitimately drilled through mountain ranges[0] and set up microwave towers just to get an edge over competitors[1])

0. https://www.ft.com/content/d81f96ea-d43c-11e7-a303-9060cb1e5...
1. https://www.bloomberg.com/news/features/2019-03-08/the-gazil...
It's not going to happen. Not "fragmenting" the community, but rather keeping everyone in the same "silo" of topics, is kind of core to the identity of the site. If you want tags, that's a thing Lobste.rs is good at.
Biden advocating for single payer Medicare for all...the possibilities are endless!
I think the disconnect here is that for much of the world these days, "ordinary" programming is a backend for a web or mobile app, using REST (or maybe GraphQL if you're avant garde). I'm sure Jane Street does lots of web stuff too, but I haven't see a bunch of Core libraries to do, for example, a CRUD app on Postgres in the cloud somewhere.
It's Git performance art/protest art, more or less.

Git has a mechanism called "submodules" which allows one repo to reference another repo. It doesn't actually include any of the content from the second repo: all that's included is the URL (in the file .gitmodules) and a commit hash (in Git's view of the directory structure).

When you clone a Git repository with submodules and you pass an option to git clone, or if you run a git submodule command later, Git will make a nested clone at whatever subdirectory path contains the submodule, and check out that commit. If you make commits in the submodule (and, hopefully, remember to push them), the outer repo will appear to be modified, and you can git add the changes, which will record the new commit hash, but only the hash.

The purpose is to deal with vendoring or sometimes making changes to large repositories owned by someone else without copying the whole source code into your own repository. (It's also occasionally used as a mechanism to split up very large repositories that are owned by the same group/organization, e.g., if you have a test suite or large data files or something, or a shared library used by multiple projects, you might find it helpful to use submodules.) https://github.com/ceph/ceph is an example repo that uses them - "ceph-object-corpus" and "ceph-erasure-code-corpus" at the top level are submodules, and if you click on the .gitmodules file, you'll find that there are other submodules inside src/, too. This is also an example of how GitHub handles submodules also hosted on GitHub - it will link you to the submodule at that commit.

So, GitHub does at least some parsing of submodules. The author is claiming that if you include a banned commit hash as a submodule in the history of your own project, and then promptly delete it, it won't noticeably increase the size of your Git repo, nor will you actually include any of the banned content yourself, but GitHub will potentially prevent that history from being pushed. As a result, you have a Git repo that GitHub would not accept.

Since the author both does not use GitHub and wants to encourage others to do the same, this would be a fairly effective way of forcing that.

(The article doesn't show GitHub actually refusing to accept the history containing this submodule, though - it only shows the submodule having been created, locally. Although maybe the author's argument is simply that pushing it violates the Terms of Service even if it's not blocked by automated means.)
> I think its kind of both.

Yes. I'm old enough to see nuance. I do not assert that these are the only causes. I only assert that they are the primary causes most of the time.

As a side note, there's something deeply wrong if CI takes 30 minutes. This usually indicates that all tests are re-run every time, which is something you can easily avoid by e.g. using a modern build system such as Bazel, which will only re-run the affected subset of tests when something changes, because it is able to track all changes to the transitive closure, including data.

Also 80 people on a team sounds like a nightmare. I don't think I've ever seen a monolithic team this large in my 25 years in the industry, some of which was spent at Microsoft, of all places. The best size is that of a large family - 5-7 engineers. That way communication overhead does not dominate, and you can still do very sophisticated and substantial things. Beyond this magic number the productivity growth is usually negative.