skysight-inc/HackerNews huggingface dataset:
It's easier to get contributors and responses when most people already have github accounts. When not many habe have gitlab, it adds some friction to contributing and a lot won't bother
Are you sure that thing is legit? As a designer, I’m looking over the pics and my gut feel is that something is off. Look at the picture of the girl taking the selfie, where’s the hinges like the guy to the left, or the sandwhich line which isn’t visible?

Anyone else have comments on the included photos?

I mean I do hope it is legit.
If you know your day will be busy with meetings why do you also setup a bunch of deadlines? The corollary is also true. If you have a bunch of deadlines why do you also accept meetings?
Would've been interesting if they'd IPO through some crypto means, like on ether or something
Have you actually been diagnosed with this condition too? Or are you being facetious?
Simplenetes does not support volumes.
Simplenetes does not support rescheduling containers.

Why do I need 17k lines shellscript to run my tri-cycles? I would rather recommend using docker swarm or just podman itself.

you are adding more complexity without to a very simple problem.
strongDM | All Roles! Go / Golang | FULL REMOTE (core hours ~North American timezones) | Full-time | https://www.strongdm.com

strongDM is an identity-aware proxy for managing and auditing access to infrastructure: Kubernetes, databases, generic SSH destinations, internal web applications, Windows (RDP), cloud providers, and more. We build secure, high-throughput networking systems in Go.

We've been fully remote for years, building software to help people work remotely. We have high standards and high levels of respect for each other and our customers.

Current roles:

* Senior Software Engineer (Golang, secure distributed systems)

* Senior Front End Engineer (React, Electron)

* Engineering Leadership: All Levels (Manager, Director, VP)

* Lead/Head of Data Engineering

* Sr. Product Manager

* Head of Developer Relations

* Devops/SecDevOps

* More roles here: https://www.strongdm.com/careers

If this sounds like the type of work and the type of environment that would suit you, send me (Justin, co-founder & CTO) a note at justin@strongdm.come
You must be able to change any digit into any other digit.
UK may force Facebook services to allow backdoor police access
Either this is Jassy's first bit of drama -- cleaning up Bezos' parting gift to him, or he's part of it and we'll see more of this.
The CatInTheHat Attack
i generally scoff at poetry from a respective of blissful near-ignorance. Most dorms at least, but i recently saw a piece and thought to myself

oh.
Havenly | 3D Lead Engineer | Full-time | Headquartered in Denver but REMOTE ok | https://havenly.com/

Havenly, Inc. is a funded and fast growing consumer services startup located in the heart of Denver (raised Series C in 2019). We offer online interior design services that make decorating your home simple, affordable, and accessible for everyone.

We are looking for a 3D technical lead to help us build out our 3D experiences to delight our customers and make our designers more efficient.

Using cutting-edge 3D technology, you’ll roll up your sleeves and guide your team to bring AR/VR experiences to thousands of Havenly customers and designers every day. From LiDAR to ray tracing, game engines to 3D art pipelines, you’ll have your hands across a growing suite of products, making magic at every turn. Take a look at our portfolio and see if you can tell the difference between a render and a photograph. Just one example of how you’ll bring the wow.

As if the technology itself isn’t challenging enough, you’ll also have to do it at scale. Processing millions of CPU/GPU cycles and terabytes of data will be your remit, while making it all look easy. Sound like the right kind of challenge? Let’s talk!

Apply here: https://havenly.com/careers?gh_jid=5042546002

Or talk directly with the hiring manager by emailing: 3d_lead_hm@havenly.com
> Or Gaddafi, who was tolerated by western powers until he tried to introduce the pan-African gold Dinar and encourage oil producing nations to de-dollarize in favor of it.

Ok, serious question here:

Can you actually point to me a statement where Gaddafi, or any official Libyan government statement for that matter, actually outlines anything approaching a concrete plan or concrete steps to the establishment of such a thing? When I try to follow links back to an actual source for this claim, I fail to end up at any reputable site reporting on a primary source here. Instead, the trails seem to end in sites that push very hard for a gold standard and I suspect have a strong bias towards inventing a hypothesis on unsupported facts that Western Globalists killed Gaddafi to keep the gold standard down.

I will point out that it is well-known that Gaddafi was a pan-Africanist, and my recollection is that he was very much in favor of the African Union following the European Union's example and introducing a single currency for the continent, and he made a few statements to that effect. But that's not the same as actually having any actual concrete plans, especially because these statements were made over a decade before Libya's civil war started.
Sensor Tower | North America, South America, and Europe | Full-Time, Remote | https://sensortower.com

Sensor Tower provides key metrics for everyone involved in the mobile ecosystem. Whether you’re a mobile app developer, a financial institution performing mobile market research, or a large brand thinking about your mobile initiatives, we provide your one-stop shop for due diligence.

Check out our open roles!

* Engineering Manager: https://jobs.lever.co/sensortower/6db80ec8-71bc-4de6-896e-06...

* Front End Engineer: https://jobs.lever.co/sensortower/919b9ab5-4b67-4949-b89b-4f...

* Ruby on Rails Developer: https://jobs.lever.co/sensortower/02d6988d-319a-41fd-9c0c-e0...

* (Senior) Infrastructure Engineer: https://jobs.lever.co/sensortower/89f581f0-ef3f-4f1b-b28b-e9...

We use Ruby on Rails, MongoDB, and JavaScript (KnockoutJS)

If you're interested or have questions, email: jobs [at] sensortower [dot] com
New Guaranteed Income for Families with Children Is 'Stunning'
Saildrone | Multiple Roles | Onsite/Remote | SF Bay Area (Alameda) | Full-Time | https://www.saildrone.com/

Saildrone is the world’s leading collector of ocean related in situ data via uncrewed vehicle, above and below the sea surface. Government, scientific, and commercial organizations around the globe rely on Saildrone to deliver the critical information they need—when they need it.

We're hiring for a breadth of different positions across our organization. In software, we're hiring for DevOps, Backend, Full-Stack, ML, and Vehicle engineers. Stacks vary from team to team, but we're looking primarily for folks with backgrounds in C++, Python, and JavaScript (Node, TypeScript, React).

In addition to software engineers, we're also hiring in a host of other positions, including a Technical Project Manager, Mechanical Engineer, Graphic Designer, and Content Writer, among others.

You can see a list of open positions on our career page: https://www.saildrone.com/careers

Please apply through our career page; be sure to select "Other" and specify this HN post when asked how you heard about us!
or kubernetes or cloud-native
"Helpful NullPointerExceptions describing precisely which variable was null
JDK 15"

I wonder what number of collective hours would have been saved with this one, had it come earlier.
I would steer clear of any commentary that modern poetry is boring rubbish.

Look for hidden meanings if you feel like it, what you find is what you find, regardless of what the author intends or how others read it. Or don't.

The Ode Less Travelled is a good entry into appreciating form and meter, but Fry, as you, oddly dismisses non-rhyming poetry with a clever but unsupported metaphor: tennis without a net. No one's perfect, I suppose.

I can think of a great deal of 'modern' poems that I enjoy reading, that I get something out of or are at the very least, not boring (re: Lara Glenum.)

I think of Sarajevo Blues by Semezdin Mehmedinović, and how he writes about the emerging normalcy of the need to dodge sniper fire or get emergency rations from the UN while living in Sarajevo during the Bosnian war.

CORPSE

We slowed down at the bridge

to watch some dogs tear a

corpse apart by the river

and then we went on

nothing in me has changed

I heard the crunch of snow under tires

like teeth biting into an apple

and felt the wild desire to laugh

at you

because you call this place hell

and you flee from here convinced

that death outside Sarajevo does not exist

- Semezdin Mehmedinović trans. Ammiel Alcalay

To those considering writing poetry, I'd suggest:
Crossing Unmarked Snow: Further Views on the Writer's Vocation by William Stafford.

To those who enjoy picking things apart and the technical 'why' of poetry, there's John Hollander's "Rhyme's Reason." He's not a post-modernist by any means, but much of what he writes applies to contemporary poems.

For the record, Paradise Lost is amazing, and I memorized a good chunk of it. It's boisterously dramatic to recite, and vocalizing its elisions feels like playing grace notes in a piano piece.
I honestly just wear my AirPods Max as a lifestyle choice. /s
Probably best to just drop the notion of "days", "years", etc. entirely, and instead just track the number of kiloseconds, megaseconds, etc. since the Unix Epoch.
I'm curious how many would have noticed if not for it being a news item.
Thanks!!
We do use it in production, it is however fresh from the keyb so giving it some time before putting sensitive stuff in there.
About the state, it's perfectly doable, but requires some more Ops than k8s and isn't as flexible, naturally.
Much as I like Perl I'm not sure I'd agree with you. What does Perl have that Ruby doesn't?
I don't think so - or if they do, then the functionality won't be very effective. A lot of the most common attack vectors have never existed in iOS. Applications on iOS can't draw over other apps, you can't implement your own accessibility service, you can't launch apps from the background without user interaction, you can't install apps outside of the App Store, you can't run a service in the background for unlimited time, you can't implement your own keyboard (key logger), or read SMS messages, notifications, system events and a lot of other things have never been accessible to developers on iOS. I haven't heard about banking malware on iOS. But on Android you can find hundreds of examples and even right now there are several circulating on Google Play. The openness of Android OS has advantages and disadvantages, but Google has been heavily limiting most of these options recently.
Reuters fixed the title and added BioNTech. Someone at HN should update the submission's title.
I really think “MSFT, AAPL, TSLA” aren’t comparable to your examples.
Never get high on your own supply
And so? HIV/AIDS is a self-replicating, mutating, exponential-growth deadly disease and there is a non-zero probability that you carry the virus right now. But I'm not going to ask you to stop having sex.

It still boils down to total risk vs threshold. After all, breathing exposes us to atmospheric-CO2-driven climate change risk which has a small probability of being an extinction-level event.
Location: Portland, OR
Remote: Yes, not required
Willing to relocate: No
Technologies: Full Stack - Vue, Laravel and PHP, Angular, .NET core.
Résumé/CV: https://resume.dennissauve.com
Email: dengsauve@yahoo.com
... I'm referencing the actual historical event that is celebrated (by all the world's major corporations, now) as Pride. Is your claim that this event did not attract additional support and was ill-advised?

Violence works, and I hope you don't mean that calling for violence is over the "line" of acceptable free speech - where would America be without writings that called for violence?
Ooh, I was considering some ad buys to promote the kickstarter for the LaTeX book I'm writing. I'd considered advertising on tex.stackexchange.com but found that the pricing is closely held and apparently in the "if you have to ask, you can't afford it" range. Reddit, on the other hand, will let me buy an ad starting at $5 and the site I read talked about the $.75/CPM and said that the biggest challenge is that for niche products, it can be hard to actually get $5 worth of CPM in the time frame of the ad since the $5 is per sub-reddit, but this looks to be exactly what I want right now.
I study on the bus because it's the perfect environment for it to me. I'm on the bus, so I can't do anything else. I'm on the bus so there isn't any expectation that I'm working nor can I change when I get to get to work. My mind is just at ease that there is this naturally occurring block of time with the perfect conditions to help me accomplish an important goal of the day without impinging on any other part of my day and that is solidly baked into the routine in a very stable way that doesn't require me to exercise any executive function to ensure it happens.

My bus ride is very valuable to me for this reason.

Try as I might, on the WFH days I virtually always wind up doing this same block of study after 10pm which is my free time.

I also get interrupted just as much regardless of whether I'm at home or in the office, so that's kind of a moot point in my particular case.
is this april fools?
AWS Developer Tools | Seattle, NYC, DC, US-based virtual possible | Senior Engineer/Developer | Full-Time | https://aws.amazon.com/products/developer-tools/

[Note on Location: The team is fully distributed now but there will be an expectation of being available for in-person meetups post-Covid.]

AWS Dev Tools builds the tools that we all use for software development and CI/CD ... at least some of them :-). I'm leading a team of passionate developers trying to re-invent how we create, release, and iterate on software quickly and safely. We are specifically focused on integrations with other tools like Jira, GitLab, GitHub, BitBucket, etc...

We're looking for a senior/lead engineer to help build this out! If you have an interest in how developers work with different languages (Python, Go, Java, Node, etc...), different platforms (Linux, iOS/Android, MacOS, Web Apps), different workflow tools (JIRA, Circle CI, Pivotal Tracker, etc...), and different organizations (startups, enterprises, governments, universities), I'd like to hear from you.

I come from a startup background and the rest of the team is made of people with varied skills - you will learn ALOT here.

8+ years of professional experience are required for this senior role. For those with 2-8 years of experience, I may be able to find other positions within the org so feel free to send a resume if you have an interest in this space.

Email me (Adam) and cc Leah a resume or profile if you'd like to find out more about what we're doing and are interested in joining: adnelso @at amazon.com and leahfitz @at amazon.com
Recycling (Capital)
And the poetry looks a bit programmer-damaged too, now that I think of it.
It's hard to put into words what I think this game really excels at. I've played this game since it was launched as Transport Tycoon in 1994. Nothing else has anywhere near that kind of longevity for me, and I don't limit this to games either.

Of course I use all kinds of "mods" now to enhance the gameplay - notably JGR's Pack[1] - mostly for the programmable signals and similar extensions, but the core game is mostly the same.

Simply brilliant. It deserves some kind of award/title/recognition for it's.. je ne sais quois.

[1]: https://github.com/JGRennison/OpenTTD-patches
We've had several generations of more efficient hardware, and it just causes the hash rate to increase while energy usage stays at the energy-cost equilibrium described above.

I can't imagine an algorithmic or hardware improvement that would stop a proof of work system scaling with energy input.
> Today, the Filecoin Foundation announced a 50,000 FIL grant to the Internet Archive – the largest single donation in the digital library’s 25-year history.
Beanstalk Farms (W18) | Full-time Onsite | Senior Software Engineer, Director of Research, and more [0] | Washington DC | https://beanstalk.farm

We're growing the world's appetite for fresh produce in local vertical farms. We are expanding our production and are launching several product lines in the next 9 months.

Software at Beanstalk means an interesting mix of fields: logistical web apps, plant-growth-focused statistics, embedded systems, and whole-farm systems engineering. We are a team of multidisciplinary engineers who pride ourselves on pragmatism.

Our web stack is Postgres + Postgraphile + React, hosted in Kubernetes.
Our robotics stack is Python + Arduino deployed via Balena to RPI's and ClearCore's.

Shoot me an email at brent.baumgartner@beanstalk.farm if this sounds interesting. Even if you're not a perfect fit for any of our open positions, we're happy to make up a role for the right engineer or scientist.

[0] All our open positions: https://boards.greenhouse.io/beanstalk
It doesn’t matter how likely any individual mutation is to increase transmissibility or resistance. We won’t ever see the ones that decrease transmissibility or resistance, because they’ll be outcompeted by the Brand X virus, as well as any nastier mutants.
Right, the reason ULA can't adapt Vulcan to land the first stage propulsively is it can't throttle down low enough. It's only barely possible with the F9, and that's because it uses a cluster of smaller engines and happens to have one in the middle.

That wasn't a design choice driven by reusability, originally SpaceX were aiming to recover the stage using parachutes. The original plan was a falcon with a cluster of 5 engines in a ring. Using a cluster of smaller engines was for two reasons. First because they didn't have the resources to develop a new larger engine. Second they wanted to mass produce the engines to get production efficiencies and a bigger run of smaller engines worked better for that.

It just worked out serendipitously that this lead to a design that was very well suited to adapting for propulsive landings. If they'd developed F5 first instead, they wouldn't have been able to land it because without a single centre engine they would need to use at least 2 engines to land, and the thrust would be way too high. Even with a design with a centre engine, the Merlin would be too powerful for the weight of an F5.

This isn't a criticism, it's just the way things worked out.
When are you going to lift the shadow banning and post limiting on me? It's been how long?
Location: Ottawa, Ontario

Remote: Yes

Willing to relocate: No

Technologies: Currently knowledgeable about Python (including Flask, pyside, and pandas stuff) and emacs lisp. Willing to learn anything though.

CV: Currently no coding experience. I'm a CPA who has always had an interest in programming and tech who is sortof exploring a career change. I don't have any formal education in CS, but I have been working on a side project with some friends of mine that may or may not go anywhere. I have experience using version control with other people, have contributed (minor) changes to open source projects. I have been using debian on desktop for probably about ten years, as well as maintaining a server. Very comfortable in a command line. I also use emacs as my editor of choice, have fooled around with making some major modes and stuff. This is to say, I'm looking for an entry-level job but without the formal education.

My actual work experience is four years of work experience in auditing companies. Very knowledgeable about anything financial. Also willing to consult if you have financial reporting or maybe (Canadian) tax questions. Also maybe interested in other finance related jobs if you're looking for a CPA who is interested in tech as well.

https://gitlab.com/nsavage

Email: nick at nicksavage.ca
OpenMW – open-source TES3 Morrowind reimplementation
Brilliant explanation.

Since its "hiring day"; I'll ask: If you were interviewing someone and they listed an IOCCC win, would you count that as a plus? would you have to go look at the entry first?

And turned around: if you've won (or even submitted an entry) to IOCCC, would you mention it when applying for work?
For the first:

Michael Shulman et al have been working on a semantic model of type theory as category diagrams and discuss how sometimes it’s easier to solve your problem as a diagram picture and sometimes as a logical statement.

The mathematics they used for this “foundations” work in abstract math connects hypergraphs/CW complexes decorated with data to statements in a type theory, like a program.

The goal is to use this deep mathematical connection to find a type theory “close to” our AI, allowing it to make “intuitive” extensions of a statement via DNN, but validate that it makes sense within its “effective language” deductively.

My research in that area is automating proofs as a “basic” usage of that idea: an AI turns the desired statement into a (partial) picture it tries to use image completion on, to make it look like other proofs it’s seen, but the discriminator for that generative step can use the formal model, after turning the proposed image into a statement — is it logically consistent or not?

There’s a bunch of problems in that area, which has only started to be explored the past few years with the DL is manifolds and covering ML papers.

tl;dr: That math work gives us rules for how to turn geometric objects defined one way (tensors on a space) into objects defined another (formulae on varieties). Algebraic geometry meets AI.

For the second:

The Microsoft QuArC group under Dr Krysta Svore is working on developing ways to accelerate common industry algorithms via quantum computers — just calling out AI as a particularly impactful application since quantum computers will come online in 10-20 years.

They have some AI papers if you poke around — mostly that “best fit” for data is a good analog for “lowest energy”, and ways to use that for gains.

https://www.microsoft.com/en-us/research/people/ksvore/
"Lol!", Thats what you would get in response when you tell that to the major enterprise customers.
Could you say that with a type like signed char, it inspires to writing such poetry or plays? I would wager it didn't come from nothing, but from such a strange spark.
bro, you are missing out the news and the point of this whole post, pfizer is 90% effective against all current strans overral, even the nasty ones

Unless you are claiming that right now there are less strains around, compared to october-novemeber (when the J&J data was compiled)

This news just solidifies the argument that the mRna vaccines are much better.
Suggesting otherwise is just either ignorance, or willful lie (let other take it, so i have more for me)