skysight-inc/HackerNews huggingface dataset:
Any ARM CPU that Apple uses in Macs will almost certainly be 64 bit A64 only - A64 is the only instruction set that has been supported on Apple SoC's since the A11 in 2017.

A64 is part of ARMv8 which was announced in October 2011 and was a brand new instruction set. It is not compatible with legacy 32 bit ARM applications and doesn't carry the relevant technical debt.

RISC-V was announced in 2010. It may have many admirable qualities but claiming that it has the advantage of a newer architecture is not correct in this context.

Incidentally, I think one of the remarkable features of ARM's recent commercial success - generally completely unremarked on - is how they have, relatively seamlessly, switched users from legacy 32 bit to an new 64 instruction set.
What would be your biggest hurdle for adoption for a web-based version?
Strong disagreement here. "type ident" flows with the data during assignment, doesn't confuse the infix operators, and doesn't misuse ":" from a human-language standpoint.

For example:

val x: String = "hello"

The type interrupts the flow of data from "hello" to x, so one thing that pops into mind is that this is typecasting the value to a string before storing it. Nope.

Another possibility I instinctively see this as is doing a comparison and assigning the result (either true or false in this case) to x. Nope.

And human-language wise, colon is "description: explanation" (or more generally: general to specific), which actually fits this syntax better:

val String: x = "hello"

...and at that point, just remove the extraneous stuff:

String x = "hello"
Why are parts of the tunnel blurred out? Censorship? Surely it isn't anything objectionable we wouldn't see on Wikipedia or Google Image search.

Censorship of educational material is unnecessary.

Edit: it appears to blur the textures immediately above on the y axis. Perhaps the software isn't correctly interpolating those values even though it has the data. I hope this is the case rather than the censorship I posited.

This is really cool, and I hope more things become accessible in this fashion.
but really tricky to align correctly at different screen pixel densities and rounding errors. it's still not pixel-perfect, but i decided it was good enough.
Kraken Digital Asset Exchange | Engineers | Product Managers | Onsite or Remote | https://jobs.lever.co/kraken

Kraken was founded in 2011, being a pioneer exchange in the crypto market. Kraken is in rapid expansion of its development and Product teams. At Kraken we have a remote global team, allowing our employees to have more freedom in choosing how to organize their routine and balance work and personal life.

May Highlights:

- Backend Engineer, Data Processing - Rust | Remote

- Backend Engineer, Kraken Futures - Rust | Onsite - London or Remote

We’re also hiring software engineers with the following skillsets: Backend (Rust/Go/Typescript/PHP), Frontend (React/Flux/Redux/Sass/Less/PHP) and many more.

Please apply directly to our Lever careers page at https://jobs.lever.co/kraken. Once you have completed your application to which role/roles you feel you fit best, please email me a confirmation at leon@kraken.com and I will make sure your profile is reviewed by our hiring team.
Erm I was referring to the White Collar TV series which featured endless awkward product placements for a car.
>I never implied this... I never said or implied otherwise.

This is a very odd way of responding. When someone makes a point, it does not necessarily carry the implication that you said otherwise.

> First off the halting problem only proves that you can never CALCULATE or PROVE whether a given program will fail to halt.

It does not prove that. There are programs that one can prove will halt, and also others that you can prove will not halt.

> This fact is sufficient to show the following can never proven be true: "There exists a program where the Complexity can never be reduced or destroyed"

This seems to be demonstrating the same sort of misunderstanding as over what the halting theorem proves. Even where we cannot compute the Kolmogorov complexity, it does not follow that there is not a minimal one. As I mentioned before, the whole idea of Kolmogorov complexity is predicated on there being programs of minimal complexity.

Going back to that Wikipedia article, we see that "The theorem says that, among algorithms that decode strings from their descriptions (codes), there exists an optimal one."
It’s interesting seeing the same product on Amazon being sold by different vendors at widely ranging prices
Prenosis | Software Engineer, Applied Machine Learning | Full Time | Onsite | Chicago, IL | 90-120k | www.prenosis.com

Prenosis is an early stage molecular diagnostics company specializing in infectious disease and critical care. The basic premise is utilizing the combination of electronic medical record (EMR) data with novel biomarker measurements to make predictions of clinically relevant outcomes. These predictions are then used to ultimately guide treatment decisions.

We're currently hiring a software engineer, ideally with machine learning/data science familiarity or experience to join our team. We are specifically looking for someone who identifies themselves primarily as a software engineer, but has a strong mathematical foundation and interest in ML and data science (so if you're a software engineer looking to get your foot in the door in the ML/data science space, this is a good opportunity).

If interested, send an email to ishan.taneja@prenosis.com
skulabs.com | Software Engineers & Sales Engineers | Coral Springs, FL | Full-time | ONSITE

We're a growing lightweight ERP with emphasis on modern order picking, order packing, inventory management, and ecommerce multi-channel selling needs. We have a growing list of enterprise customers as well as a small army of sellers of all sizes looking to take control of their operations once they've grown out of their existing solution. Most of our sellers are on Amazon, Shopify, BigCommerce, eBay, or a POS solution like Square.

Openings:
Full-time UX focused NodeJS + Vue/React developer with solid understanding of complex JSON/XML data common in the ecommerce and package shipping industries. Must have an interface design portfolio exhibiting experience with complex "backend" interfaces as well as personal proficiency in complex JSON data handling.

Full-time sales engineer / warehouse consultant. ERPs are hard even for our customer experts to reason about. Present solutions to industry leading operations and ensure the onboarding process meets customer needs through developer coordination and a consultative onboarding approach. Must have experience in enterprise account management and/or warehouse consulting experience.

Email careers@ or brent@ our domain if you're interested. No recruiters please.
I have seen, in a car that was left for a while unused during a family member's struggle with cancer, where mice (I assume) got into the glove box, and chewed the plastic part of insulin needle tips to bits.
Conversely, a lot of languages will infer type from first assignment, so in e.g. TypeScript "let x = 5", x is inferentially typed as 'number' and the type checker will throw if the implicit constraint is later violated. This reduces the need for explicit type annotations, clearing up a lot of the visual and cognitive noise.
Location: West Coast, Mexico (US Citizen however)

Remote: Yes

Willing to relocate: No

Technologies:
Javascript (React/Redux/Typescript/Angular); NodeJS; Mobile: React Native; iOS & Android development (native); Cordova; AWS: ACL/IAM, Amplify, Cognito, EC2, ElasticBeanstalk, Serverless, Lambda, DynamoDB; PostgreSQL; MySQL; MSSQL; macOS; Ubuntu Linux; Shell scripting (bash/powershell); Python; web scraping; microservice & massively distributed architectures; REST/GraphQL;

There are many things I haven't included here but you get the idea.

Resume/CV: https://www.linkedin.com/in/engineerapart/

Email: earnea@engineerapart.com

GitHub: http://github.com/codinronan

I'm an engineer with 20 years professional experience in primarily web and mobile development. I have managed small to mid-sized teams (20 developers) working from small to fortune-500 businesses. Skilled and accustomed to agile and working with distributed teams across time zones. I've recently completed a principal engineer contract role on the rebuild of one of the largest consumer sites in the US from Ruby on Rails to React (Next.js), receiving over 5 million unique hits per day. Performance, scalability, testing and maintainability have all been critical features of this project.
We are not out of the crisis yet. Taleb has been banging this drum for decades, and profited handsomely in 2008, and IIRC also in 2001 and 1998. His lesson was not appreciated by the industry at large during those decades - and it is likely that a couple of years after the end of this crisis (whenever that may be, anywhere from a few month to over a decade), hedging black swans will be cheap again.
The same reason you tip a waiter in North America even when they work for a crappy boss.
Arguably a programming language is ultimately a user interface, and the more intuitive the interface, the better.

In 2020, not sure we should care that much about how hard compilers have to work to achieve this. Computers and software are here to support us--we're not here to support them.
The list goes on and on, people need to hold our elected officials accountable for their decisions. That includes our whitehouse and as important is Congress. This includes both parties.
Ahh that's a cool idea- we really need to work on public sprint boards and actually show our weekly sprints and releases. We typically just discuss them on our twitter and our blog. Here's today's release: https://blog.tara.ai/release-log-may-1/
Location: Los Angeles , CA (LA)

Remote: Onsite or Remote (and willing to time shift)

Willing to relocate: Not at this time

Résumé: https://www.linkedin.com/in/bryanmgreen/

Website: https://www.BryanMGreen.com

Email: in bio

---

Bio: Was laid off last year after company was sold and lost another job because of COVID. 8+ year full-stack professional marketing leader with product management and design experience. Have worked with both global and local organizations. My skills and experiences are broad and I've had a hand in everything from digital to offline marketing as well as sales, partnerships, and public relations. Have experience leading 8+ person teams but happy to work solo. Love improving communication, workflows, and resources. Believe Product & Marketing grow together. Storytelling and design is always at the heart of my work.

Looking For: Preferably senior roles in marketing or account management or any opportunity in product management; I'm open to hear what you need. No job is too small. Full-time, contract, or project.

---

Even if you don't have an opportunity, but have a question about branding, marketing, or product, I'm happy to share my perspective free of charge! Would love to be helpful, keep myself busy, and connect. Thanks!
SEEKING FREELANCER | Philadelphia & New York | Local & Remote US

We are a development shop that focuses on software craftsmanship. Our calling is to help companies create amazing, intuitive web & mobile applications, APIs, products, and services. Pair programming, continuous integration & delivery, kaizen, and TDD/BDD aren't just ideas we pay lip service to, but core practices of our day-to-day work.
We love polyglots. We use lots of Ruby, Python, Elixir, and JavaScript (mostly TypeScript, React and React-Native).

Local only:

• Ruby & Rails
• Python
• iOS
• Elixir & Phoenix

Local & Remote:

• React Native
• Android
• Azure, especially with Kubernetes & Terraform
• ML, AI, & Data Science
• Kafka
• Windows Desktop Apps

https://www.promptworks.com/contracting
Location: San Francisco

Remote: No
Willing to relocate: Yes, India

Technologies: Java, Python, Go, Machine Learning (TensorFlow, XGBoost), Optimization, Big Data(Spark/Hadoop), Streaming (Beam/Flink/Kafka), Functional Programming (some Elixir, Go)

Résumé/CV: https://www.linkedin.com/in/sarmatangirala/

Email: tvssarma.omega9@gmail.com

I currently work as a Machine Learning Engineer, with end-to-end product development that utilizes Machine Learning.
Every compiler and interpreter as well as all text formats like HTML, XML, JSON, etc. have a lexing pass that uses manually crafted regular expressions. Those are real world projects.

The defensible form of this argument is that one should prefer a serialization library or a properly normalized database rather than trying to "stringly type" data and then pull it out via regexes.
Wow, I've considered building this exact same app for about 11 years now, but I never did it because I thought there would never be a large enough market to make it successful.

Kudos to you for actually building and launching! Hope you have a lot of success and prove me wrong about the market size.

EDIT: After going through the site and your video, it appears as though you crawl the dynamic site, and generate static pages out of it. It's not really clear if you support sites that render on the client side. Do you?
> Complexity is often frivolously created during specification. If the true consequences of complexity (wherever it may live) were understood, we'd simplify things a lot. But they want that next button, they want ancient emails be searchable instead of having them archived, and they have no idea that their wish leads to new servers installed in a data center, new bugs introduced, and development time lost at for each new release.

I think features are definitely worth servers being installed in a data center, and most people coming up with product requirements are fine with the monetary costs.

Features leading to bugs and wasted development time... that's where the point of the article lives. There are ways to build software that can more easily accommodate changes.

However, it's more common that developers try to hide the complexity of features behind abstractions that hinder more than they help. And that's what results in breakages and lost time.
I just want to say good luck. There's so much that can be done that isn't. Part of that is the system. Part of that is Securus. Part of that is lobbying. Part of that is just plain lack of innovation.

There's room here to innovate. I had a product that effectively allowed inmates to have a Soundcloud from the prison phone. It pissed off a few people.
I missed your mention of the 'most vexing parse' before writing this up, but for those not in the know, here's another fun quirk of C++ syntax:

Declare a local named neko of type Kitten, passing a value to its constructor:

Kitten neko(42);

Declare a local named neko of type Kitten, without passing a value to its constructor:

Kitten neko;

Declare a function named neko with zero parameters and with return type Kitten:

Kitten neko();

https://en.wikipedia.org/wiki/Most_vexing_parse , https://stackoverflow.com/a/620149/
Wow, an ASIC is a big step! I'm impressed you needed to hit that level of (cost down, I assume?). Or was it to get better HW security, perhaps to use it for billing?

Anyway, I had an original Bluetooth Automatic until I upgraded to a Pro when it was launched. I love them! Sorry to hear this is the end.
You can do things like take shape A and then subtract shape B from it and all works, no matter how complex the intersection.
There is still a distinction between primitives and object types in Scala, so it's not correct to say that types in Scala aren't used for storage specification.

It's also the case that there are plenty of languages where all types imply storage specification and they support plenty of type elision.
Used car supplies are lower now only because like everything else auto auctions have for the moment mostly come to a halt. The supply of used cars awaiting auction is swelling from rental companies wanting to dump inventory and cars coming off lease. Once the auto auctions return to normal expect a significant drop in the price of used cars.
I think that adds up some latency
So she built up knowledge, customer base, sales and reputation offline and was able to carry it over online?
Leases come due. Cars hit the used market. You also have rental companies dumping cars onto the market since business has collapsed. Hertz might be going into bankruptcy. Repo's are another thing to consider along with private sales when people can't afford them or need to raise money.
When you are inside a time or period not a lot of change is felt, but once you look back you can see incredible changes. You mention that last 20 years are dull. I think that the last 10 years are the era of smart phone revolution. A pretty big thing. Certainly belongs in the top 50 most impactful inventions and adoptations in human history. In 200 years from now the late 00s will be seen as the start of global connectivity.
Granted that the pathological case of the error you warn against is Perl, and that should be enough of a cautionary tale for anyone. But a language is a user interface for programmers, too. Some affordance is merited, especially in a case like this where prefix vs. postfix may affect ease of parsing, but seems most unlikely to influence how the type system actually behaves.
Had to be said, also never heard of alternatives like Preact and Nuxt.js, looks like i got some digging to do.

Super insightful, thanks man!
Years ago, you didn't have private companies rummaging through your mail.

Years ago, you didn't have police putting cameras up on poles to look over into your home.

Years ago, libraries did not report you for reading the wrong book.

If you think privacy has only gotten stronger, then I have some words for you.
> Not sure about Rust

Rust has made a point of being parser-friendly, to support tooling. The entire reason the turbofish ::<> exists is to avoid ambiguous grammar. (This operator seems to vex people, I don't get the hate.)
Technically correct, but you missed the point entirely.
Isn’t that what dealerships call “bonus cash”? Like you have to run the numbers yourself but you can use that as a point of negotiation if you’re buying outright.

Also 0% loans are fantastic for your credit! I take them as much as possible because it’s a free credit score bump.
Memrise | Frontend Engineer, Engineering Manager | ONSITE | Full-time | VISA for EM | London (remote for now) | https://www.memrise.com

Come teach the world languages! Memrise is regularly featured on both app stores and has millions of users.

Frontend Engineer: Come join our small, autonomous Web Squad! Lots of work on an exciting language-learning product with a fresh stack (TypeScript, Next.js).

Engineering Manager: We're looking for an engineering manager to lead our mobile engineering team - 10 engineers, iOS and Android.

Apply here: https://www.memrise.com/jobs/
The 4HWW came out 13 years ago. Probably could have made decent money as an individual dropshipper if you got into it early before all the hype started in ~2014
Location: Berlin, Germany

Remote: Yes

Willing to relocate: Depends on destination/attractiveness of job

Skills: Everything visual – 3D, graphics design, typography, illustration, digital imaging, UX, mapping/2D & 3D maps.

Software development – from system level to apps. Rust, C/C++, Python, Lua, assembly, etc.

VFX – pipeline end-to-end, on-set supervision, cinematography, blocking/previz of both VFX and non-VFX shots, specifically, rendering, shader writing, lookdev & lighting, RenderMan, 3Delight, OSL, RSL.

Algorithmic/generative/procedural techniques for image & asset production.

3D printing, rapid manufacturing, -prototyping, product design & -engineering for high end furniture and interior design.

3D DCC plug-in software development for various platforms and various APIs (Maya, Houdini, AfterEffects, NSI, Ri, etc.)

Leadership – co-founded & ran a production company and two start-ups. Managed a team of ~80 people in the IVI space at a multi national for five years; freelancing since a bit over a year now.

Résumé/CV: https://www.linkedin.com/in/moritzmoeller/

Email: virtualritz@protonmail.com
This is a direct result of Nissan selling boring cars with transmissions made of glass and jagged rocks for years without any sign of changing course.

Their niche was performance(even their budget cars had very good power compared to competitors), they should have left the boring appliances to Toyota and Honda.
And povray could do that far earlier than luxcorender.

http://hof.povray.org/
Gamers Nexus is an excellent Youtube channel and they have heavily invested in testing equipment to meaningfully evaluate coolers - some of their initial findings are already interesting. If you really are interested in cooling solutions I’d give their channel a visit.

The closest thing I have found to filling the void when Kyle had the gall to shut down HardOCP :/
NZXT | REMOTE | Software Engineer | Full-time | https://www.nzxt.com/

NZXT CAM is the next generation of desktop software for powering your PC. Whether it’s monitoring performance, customizing your hardware accessories, or overclocking your GPU for those extra frames, NZXT CAM has the solution.

We are looking for a thoughtful mid-level engineer with great understanding and experience on the web. You should be fluent with Typescript/Javascript.

We’re a team of collaborators that operate with regular sprint planning, estimations, and retros. Our tech stack includes React, MobX-state-tree, Electron, and CouchDB.

Recent projects from the last 6 months include: designing & building a beta release flow, building out one click/scheduled automation on our jenkins server, and building for hardware products (such as the data visualizations on our recently released Kraken Z series of coolers https://www.nzxt.com/product-overview/kraken-z).

For more information about NZXT CAM, visit https://www.nzxt.com/camapp

For a full job description and to apply, visit https://nzxt.bamboohr.com/jobs/view.php?id=223
Compared Lineup with Raku – Weekly Challenge
Apixio | San Mateo ONSITE | Frontend, Full stack, Backend Engineers!

At Apixio we are changing the way healthcare uses data. About 80% of healthcare data is under used because it is too messy or unstructured to efficiently analyze. The healthcare industry needs technology solutions that can process this data and extract insights.
We are a profitable mid sized (less than 90) healthcare company. Our stack is React, Scala, Java, Python, Cassandra, Elastic, Redis. All on AWS.

Email me at sanchay@apixio.com or find me on LinkedIn
That's something I expected, you really don't want to trigger redraws on mouse over. What surprised me was that I couldn't tell the the times where I zoomed in or out from the JS flame chart. Usually that is really obvious, but in this case zooming was so fast that you could hardly see it. And this graph has probably around ~194k data points (388k in the source data, I assume that's x and y). I'm not entirely sure about the number of points here, I'm taking that from the json delivered to the site.

The selection highlight is unusual, I admit. That's something I'd just skip if I were going for high performance.
Show HN: Convert GIFs to Zoom Virtual Backgrounds
You don't have to look far.

The NSA used their limitless power to spy on their lovers.

The U.K. uses their powers to spy on political groups.
Startup veteran solving business problems for 15+ years.

Location: Cape Town, South Africa
Remote: Yes
Willing to relocate: Yes
Technologies: Clojure, ClojureScript, Rust, Datomic.
Résumé/CV: http://petrustheron.com/cv/
Email: hn@petrus.co.za

Built this during lockdown to help bring businesses online: https://www.tradebridge.app/
Yeah I'm pretty sure the real reason for this is that it is way easier to parse types if they are after the name. Especially complex ones like functions.
Thanks! That's exactly what I was looking to know. And it couldn't come from a more trusted source.