skysight-inc/HackerNews huggingface dataset:
Proof Zero | Senior Software Developer | Toronto / Eastern Time | Full-time | Remote

We are looking for an experienced, senior software developer who is excited to work on complex cryptography and data engineering problems in a fast-paced startup environment. The role is full-time and remote in Eastern Time.

Proof Zero is a federated data platform with solutions in data quality, data entropy, and data discovery. We are building a zero-knowledge cryptography platform that delivers hosted capabilities and product configurations in support of customer needs.

Compensation

Market competitive. Total compensation is a negotiated blend of salary, bonus, and stock options. We are flexible depending on your requirements and risk appetite.

Responsibilities

Starting as an individual contributor you will work closely with our CTO to build our technology stack and grow our development team. We are looking for someone passionate about building software teams and who is interested in delivering complex software systems that offer customers novel capabilities.

Key responsibilities include:

Contributing to the definition of our technical strategy
Hiring to fill identified team gaps
Mentoring and developing developer training programs
Mentoring and training intermediate and junior developers
Delivering our open source SDK and CLI packages
Delivering a modern cloud architecture
Delivering functional ETL/ELT data pipelines
Delivering REST and GraphQL APIs
Delivering containerized applications
Delivering internal infrastructure (eg: build pipelines, monitoring systems, automated testing)
Building for testability, observability, maintainability, and other "illities", as required

Please note that we are an early stage, fast-paced startup. Responsibilities may change.

alex@pz3r0.com
Discord threads are much closer to IRC than slack threads.
The new chinese bomber looks very similar to the B2. In some regards it seems to be superior.
How does this compare to fly.io?
Tell HN: Levono won't process orders from ProtonMail addresses
Nobody was able to tell me why, but after a few days of trying to place an order customer service was able to identify the reason I could not place an order was because I had a protonmail account. If you are trying to order from levono and you are unable to, this may be the reason.
How hard would it be to write a tool that can run inside one of these containers responding to the AWS Lambda runtime API interface and proxying it to a regular HTTP server running on a port inside the container?

Such a tool would mean I could take any existing HTTP container and turn it into an AWS Lambda Container Image just by adding the proxy process that translates between the lambda runtime and the internal HTTP server.
Just curious - are you self-hosting, or using their SaaS product?
Ah sorry, indeed. Bochs is a better analogy.

Though that brings up a question... I wonder if you could write a qemu backend to the BEAM, and start working towards dynamic translation that way?
I hope for your true to mission success.
I assure you, I have evaluated everything on the market. Amazfit devices are >1cm thick (even the ones that claim 9.2mm, it's a lie). They are also larger diameter than the Pebble Time Round, so overall more than twice as big and much less comfortable.

The phone software is nowhere near as good, the watch UI is poorly designed, and the watch face/app selection is poor in comparison to Pebble. I haven't tried gadgetbridge yet but on newer Amazfit devices it requires some hacking to get it to work (extracting login tokens or encryption keys or something) and I expect that it will be fragile.
C#.NET Developers – New York & San Diego – full-time – existing visa transfers welcome.

Rockstar Games is a developer and publisher of some of the most recognizable interactive entertainment properties in the world.

Currently we are on the lookout in multiple locations for talented .NET/C# Developers that consider software development to be a craft.

This team creates online services for our games, including matchmaking, cloud saves, leaderboards, player inventory, player stats, bounties, and more.

We are currently hiring in our San Diego and New York studios. You can use the below links to apply:

New York: https://grnh.se/a8d3264a3us

San Diego: https://grnh.se/efbbc4f73us

You can see our other openings here: https://www.rockstargames.com/careers/
And another reasons is that dollar is a world-wide reserves currency. This arrangement essentially creates unlimited credit for US. To maintain this status carriers, planes and other weapons are required.

While everyone in US benefits from this, (mostly) liberals disingenuously “protest”. You know, if you really care about this issue, then blue-collar protection policies, like some recent president tried, would go a long way to lift lower middle class and paradoxically reduce a need to project force world-wide all the time.
I don't know if it's clear, but pf.conf contains your firewall rules.

I know there are issues upgrading applications on every platform, but I think pf.conf should be treated in a very conservative manner.
Over what? Teams is currently eating Slacks lunch.
According to this Scott Manley video there was an earthquake in the Dominican Republic that may have been responsible for the break. Timing matches up. Trying to find his source

https://www.youtube.com/watch?v=vchDbyIRP44
Perfect! The wealthy world has ascended the Maslow pyramid to the point that our itches are no longer scratched by material stuff. Isn't this the situation that spiritual people have been begging for for millenia?

Now it's time to move onto people's real problems: loneliness, hopelessness, etc.

For those people saying it's an American thing: yes, you're right--we've been on the wealth train for long enough that we've lost that urge to maximize everything. Do we need yet another item that becomes trash? No, we'd rather not waste the money and resources because it's no big deal to have yet another trinket around. And I'm sure the rest of the wealthy world will be with us on this before too long--maybe when a majority of their population didn't grow up combatting scarcity as kids.
I don't disagree, but unless you're at a startup you probably don't get to choose. It's some executive choosing, and saying we saved a boatload by moving to the app that's included with our productivity suite is enticing.
Exactly.

Plus the outsourced entity can just go bankrupt and you'll never hear about it again.
> We can nitpick on these architectural details, but my response was largely that there are other architectural alternatives that could be more ideal; especially in response to a comment that seems to dismiss the value of pricing at finer time intervals.

Not trying to nitpick anything; just curious what was meant by "underpowered". Seems like there's still a breadth of compute-intensive use cases that are more appropriate for lambda--e.g., cost is more sensitive than latency and I have too low a volume of requests for a dedicated EC2 instance to make economic sense. This has been where I've spent most of my career, but no doubt there are many use cases where this doesn't hold.
There's a bunch of open source projects using it now as well. I have two separate family Discord servers. Quite a few social ones that aren't specifically gaming focused too.
An index absent of the big tech stocks would be the Russell 2000 or IWM.
It's sad Google is so incompetent with WearOS, I would kill to have a cheap smartwatch just to use Google Pay. Instead the only ones are overpriced and shit battery life.
Grimm wishes, not Grim whishes.
That means they are admitting too much.
Oh, I see where you're coming from! Well, if that's the case, that strikes me as something Google needs to fix. It should be pattern matching both the answer and the likely question!
Right now but how many competitors does Facebook have or Google. Each operates in its own narrow niche and dominates it. Chat apps will go the same way thanks to the network effects.
I used to think the same thing regarding threads and I think slack's UI for them is bad (pushing them to a side window and squishing the main chat) but I have found them useful a few times recently. Often times a channel will have several different topics going on and the ability to push a conversation into a thread has been useful to avoid cross talk.
Intruder (https://intruder.io) | Senior Software Engineer | Full-Time | London | ONSITE

Intruder is a SaaS platform that helps companies easily identify their cyber security weaknesses, and fix them, before they get hacked. We're a fast growing startup, over 700 customers from around the world love our product.

Tech stack: Ruby on Rails and Python/Django back-end apps. Vue.js front-end. Many 3rd party API integrations. Lots of our stuff already runs on Kubernetes, and we're working towards migrating our main app.

Although our base is London, we have team members located around the globe. Currently we're all working from home but looking to establish a London office (likely to be in Shoreditch) again soon.

We're looking for a Senior Software Engineer who is looking to take on a leadership position in a close-knit team while enjoying all aspects of the dev process and a good amount of DevOps!

If that sounds cool, check https://careers.intruder.io/p/20eb5b4f423001-senior-software... or email me (CTO) at patrick@intruder.io
This watch is potentially a rebranded Xiaomi Redmi Watch, with minor modification to the sensor plate maybe.

https://fdn2.gsmarena.com/vv/pics/xiaomi/xiaomi-redmi-watch-...

Otherwise there other very similar looking watches in the Chinese market as well.
Corps might not care that much that everything but apple telemetry is going through the VPN although.
Slack threads are unusable. I don't know about you, but I never ever notice them when someone makes the mistake of starting a new one.
The thing I remember seeing was that you could still become infected and contagious after being vaccinated, but not due to the vaccine. I believe the mRNA vaccines only target a specific protein/structure and would not be possible to catch the disease.

Yeah, I was wondering if it gives a person a "head start" when exposed to the virus. I saw something saying that some people have T-cells that don't recognize covid specifically but do recognize it as a foreign body. Maybe people that have those better T-cells are also the ones that have fewer symptoms. I'm sure will see many more studies over the next decade. I will be interested to see how my musings fare.
Pebble may be long gone, but there are plenty of people still using them with 90% of the functionality still intact!
"Linode is frequently the target of massive global DDOS. I remember well a few years ago the Christmas Eve Linode DDOS because I had to work 20 hours that day."

Those sound like some of the weakest reasons. Is your information still upto date? Are they still experiencing major outages?

The truth is it would save you money to use a digitalocean instance over aws, regardless of your edge cases where some network property is not desirable.

How much do you spend a month more to justify working around that weird networking property?

Is it really worth it for everyone else? What is this weird networking issue we need to spend extra to avoid?
Headless browser tests seem to be quite far away from the problems cloudflare workers are trying to solve.

https://developers.cloudflare.com/workers/platform/limits

Workers aren't the same as lambdas, they are a super slim JS environments. At 50ms max runtime most browsers won't even start, let alone fetch and process a page.
I thought this was going to be about communication, not ego.

I guess I misunderstood.
That's a totally unsustainable routine for you and for your daughter... I'd strongly recommend hiring a great sleep coach!
Slack's customer base has a lot more in common to Salesforce's than Discord's. Furthermore, Discord is not a business tool and far from it.
Damn! What kind of research did you have to do to write all those names or did you remember them all? :) They're so many now, I can only remember a few
He is an apple-is-the-best analyst, he has a bias.
I finally bit the bullet and replaced the battery in mine. It wasn't my favorite process, but it seems to have turned out fine. Used a hand rolled bead of Sugru [1] to re-seal it. Not sure I'll ever be able to try again, but at least now it works again.

[1] https://sugru.com/
The one that is built into every GSuite/Workspace account. For free. Google Chat.
> Assume that every statement can fail, and use some form RAII to manage resource cleanup.

I think that's part of Chen's point: programmers just aren't good at doing this, they even get it wrong in published code samples. Exception-handling tends to become an afterthought, and even if you do pay attention to it, it's hard to get right.

Chen is hardly alone in his scepticism. Exceptions are forbidden in the Google C++ style guide. They're also forbidden in certain critical-systems subsets of languages. Ravenscar Ada forbids exceptions, [0] as does Spark Ada (though in that case it's for a slightly different reason: it's difficult to formally reason about exceptions). edit Apparently the JSF C++ standard forbids exceptions, but MISRA C++ permits them provided certain guidelines are followed.

I agree that RAII is very useful for robust exception-handling.

> APIs can be organized to essentially force the use of RAII, even if popular but ancient APIs like POSIX file system are not designed that way

Right, this is just the kind of thing C++ wrappers add (when wrapping C APIs).

> Java/C# mechanism for running cleanup code 'try {} finally {}' a. fails to pass through a handle to the resource that needs cleanup

Short of proper RAII (destructors), I'm not sure what that would look like.

I'm not sure what Chen makes of destructors. They're non-local flow-control, but he seems to like them.

Somewhat related: Zig's optional types, which essentially force the programmer to explicitly handle the case where the data doesn't exist. [1] Much more robust than the approach C takes, where the programmer is trusted to perform the check when necessary.

[0] p20 of PDF: https://www.sigada.org/ada_letters/jun2004/ravenscar_article...

[1] https://ziglang.org/documentation/master/#Optionals
Makes me mourn for keybase once more :-(

I guess I could be wrong but I feel like the chances of Slack surviving with its genuine "compatibility with everything" story and overall usability intact 3 years from now is small.
That was an awful lot of fun. Thanks, memalign.
What notifications? They're all off, we talk 90% async. And it's impossible to see a thread that you don't know about in their UI.
I know you said you don't want a replaced battery, but if you were interested in doing the (fairly easy) battery replacement yourself, there's a link to where you can purchase a battery on Aliexpress here:

https://willow.systems/pebble/#hardware
And python all you have to do: pip install -r requirements.txt

Or even better: pip install -e /path/to/my/project

Works like a charm.
Google acquiring fitbit? Nooooo, I've been in the process of de-googlification and fitbit has massive amounts of my health data from the last half year. Need to figure out how to nuke all of that.
Eleanor Ivory Weber copy edited my book ‘Copy This Book’ and I was super impressed. A good copy editor understands your style & then makes it so much more tight & consistent… There’s an e-mail link on her academia profile: https://independent.academia.edu/eleanorweber
There is rudimentary hardware acceleration for certain older GPUs that I own in wld (intel at https://github.com/michaelforney/wld/blob/master/intel.c and nouveau https://github.com/michaelforney/wld/blob/master/nouveau.c).

But, for everything else there is only software rendering via pixman. I started working on a new library called libblit that will support amdgpu, and I managed to draw some rectangles and textures, but there is still a ways to go on that:
https://git.sr.ht/~mcf/libblit/tree/master/amdgpu
For the past few years I’ve mostly been in Israel (the “here”) and basically only Ethanol is sold in pharmacies for medical use; you CAN get e.g. isopropyl for cleaning whiteboards, but not in a pharmacy.
How do you feel about Heroku then? Salesforce purchased them about 8 years ago.
Forward | San Francisco, CA | Software Engineer - Full Stack, Front End, Mobile, Backend Infrastructure, & more | ONSITE when safe, REMOTE for now

Want to transform healthcare? Now’s the time. We're hiring for our engineering team at Forward: https://www.youtube.com/watch?v=xkjxo6SdPT8

We're on a mission to make quality healthcare affordable and accessible to those who need it most around the world. We’re looking for detail-oriented, product-focused, impact-driven teammates to help us realize the mission.

We're building an entirely new system to empower our doctors with advanced tools (https://goforward.com/technology) to facilitate early detection, continuous improvement and personalized care – supported by data – with a nationwide network of primary care clinics in cities across the country.

Watch a video tour of our doctor's office here:
https://www.youtube.com/watch?v=EUshx1IIHm4

Check out our founding story here: https://goforward.com/blog/blog-post/health-moves-forward/

If this mission resonates with you, check out our open roles at https://goforward.com/careers, or reach out to me directly at marissa@goforward.com with your resume!
I do know a bit about knives. Your email address isn't in your profile. Mine is in mine; feel free.
An excellent contribution. Education at this "full stack" level is something we should see more of.

I particularly enjoyed the concise explanation and code example in the Perspective Projection section. Often web based explanations are lacking. Not the case here!
Can fully back you up on this. Also, as a sidenote, their scale devices are awesome as well, and the watch line you linked used to be Nokia-branded (back when they owned Withings, before they spun out to be independent again).
https://pdfs.semanticscholar.org/82d0/8367f3861abbd1fe27f640...
Logging in to note that these are classic ADHD symptoms, should you want to investigate that aspect of your psyche further.
With 512KB RAM and 16MB flash[1] I assume it's a microcontroller and doesn't run Linux.

[1] https://wyze.com/wyze-watch.html#pageDetails
Not to diminish this Chinese effort but did you miss Nasas recent lander landings on Mars? Being behind the Chinese on robotics and being able to repeat is the last way I'd describe them.
I'm sure I'm not the only one who plays with the goal of getting through the most screens. The score is just a number, but seeing the cutscenes is the prize. Although, I'm not that good, so I don't think I've made it to the third cut scene.
I think the big reason this happens is because smart contracts are immutable at the lowlevel. Once it's declared, it's done. I think this is very good for auditability and security. But yeah, that quote is dead on. It's not quite as hot at a higher level, because things go wrong (bugs, malfeasance, mistakes, etc).

I think the current lowlevel framework is fine, because it's allowing different projects to explore how to introduce flexibility back into the system at a higher level -- but because it's being done at the level of a project within the Ethereum ecosystem, each approach can live & die on it's own, without risking the entire ecosystem on one approach.

The main set of coding patterns I've seen all center around deploying contracts which act as an "upgradable proxy" -- an immutable frontend contract, which can be redirected to point to another contract that does the actual work.

This "redirect" usually can only be done via txn signed by an "admin" account, which may be a single anon -- or it may be something more complex, like MakerDAO or Aave.com, where any updates are proposed by the dev team, but have to be approved by on-chain governance votes. Said votes in turn literally have $$$ staked on-chain to properly motivate them to make things work. There are also time-locks on many of these updates, giving users a last chance to run for the hills if governance does something malicious / stupid.

The nice thing about that structure is that it also allows governance to let in updates which compensate users for mistakes or exploits at a meta-level, all without violating the underlying immutability of the smart contract bytecode.

---

It's a pretty rapidly evolving space, and I'm sure what I described won't resemble the final form in even a few years.

I think it's really great to see that there is a way to introduce justice and flexibility on top of an immutable system, rather than making the system itself become mutable. This allows the immutability of the lowlevel system to act as a source of trust between anonymous groups, that they have to act within some immutable set of ground rules, while then re-introducing the flexbility on top, so humans can act like humans when mistakes occur.
There's no impact of this feature to how you invoke your Lambda functions.
Paige | Software Engineers & More | Full time | NYC & REMOTE

Paige is using deep learning to improve cancer diagnosis and treatment. We have raised $95M and have one FDA cleared product. You'll be part of a team of experts in AI, software engineering, and cancer research.

All roles are remote during COVID-19, but many are permanently remote.

We have multiple roles open, including:

AI Scientist (PhD required, US, Remote): https://grnh.se/9dfdd02a2us

AI Scientist (PhD required, UK, Remote): https://grnh.se/a5af511b2us

Sr. HPC Engineer (US): https://grnh.se/5230982f2us

Sr. Software Engineer, AI (Remote, US): https://grnh.se/603eb8c72us

Sr. Software Engineer, AI (Remote, UK): https://grnh.se/fa66a1f52us

Sr. Platform Engineer (US Remote): https://grnh.se/b548322c2us

Sr. Platform Engineer (Canada Remote): https://grnh.se/d915bbb32us

Software Engineer, AI (NYC): https://grnh.se/4fb4db0f2us

Many other positions are also open: https://boards.greenhouse.io/paige?t=676fa8ae2

We provide competitive salaries and stock options to our employees. Help us to save lives and do something that matters.

Learn more at https://paige.ai/
> Under casuistry, communities themselves deal with those accused of disturbing the community’s peace or of harming some of its members

To think that this turns out well displays either staggering ignorance or the naïvete of an infant. This is how you get lynchings, folks.
No, the primary problem of fission is economic, not social. That's why it's been a global failure. It simply has not been able to compete with the alternatives.

And this is why fusion is such a boondoggle. It's similar to fission, only even more complex and expensive. It's like the opposite of Keep It Simple, Stupid.
just ask for socks. it's the socially acceptable way to opt out of the gift giving ritual.

you need socks, you can safely assume nobody is going to blow too much money on socks, and whoever really wants to give you a gift gets to feel like they have given you something you wanted, and you don't have to get into the whole "no really, i don't want anything" debate.

food is also a good option, but there's always the risk of putting somebody who really can't cook in the awkward position of feeling like they should. anybody can buy socks, and there's no pressure that socks should be homemade.
My buddy loves taco bell fire sauce. I've been saving my extras all year.

He actually buys the containers at the grocery store.

Time to see if he likes it.

Edit- we don't exchange gifts and we both have plenty of money. Half joke gift, half useful.
Sorta off topic but those local weather stations are great in my opinion. Your phone app is usually much less accurate compared to the weather sampled in your backyard. They even predict local conditions pretty well. When I was cycling daily it was so helpful knowing exactly what gear to wear, whereas the weather app was hopelessly inaccurate.
Isn't another rumor that Ackman's SPAC might be targeting them?