skysight-inc/HackerNews huggingface dataset:
Tetmon | Senior Haskell Engineer | Remote | Full-time

Flexible hours, minimal meetings

Tech: Haskell, NixOS, TypeScript, Trino

We're looking for a backend engineer to take over 10,000+ lines of Haskell and Nix. We have ~100 open issues of which about 90% are product enhancements and 10% are bugs to fix. You would be working with the CTO who does code review and occasionally writes code and a frontend engineer who maintains the TypeScript/HTML/CSS. The product and team will continue to grow.

Our product is a virtual data warehouse. We specialize in automatic data (type) inference and other quality-of-life features for setting up and performing data analysis against various data sources.

We are small, engineering led, and fully remote. We use the best tools we can find and stay at the frontier of tech. We work with open source and contribute upstream when possible.

You should have experience with medium-to-large-scale Haskell systems (sorry, no internships available at this time).

careers@tetmon.com (attach or link to examples of your work)
CIONIC | Android Developer | REMOTE(US) or ONSITE in San Francisco Bay Area | Full Time | https://cionic.com/
At CIONIC, we're building bionic clothing that can analyze and augment human movement, enabling the body to move with more freedom and control. In addition to being lightweight and durable, our system is driven by powerful algorithms that adapt in real-time to each individual's mobility needs. We recently raised our Series A and are looking to add some stellar engineers to our team.

Learn more about the impact we're making by watching a user testimonial here: https://www.youtube.com/watch?v=wpfEQXFgThc

And get a closer look at our product by checking out the link below: https://www.youtube.com/watch?v=Jb4ZF6aadTI

For more information, go to https://cionic.com/seandroid and when you're ready to apply, email us at hiring@cionic.com. We forward to hearing from you!
https://www.cs.yale.edu/homes/freeman/lifestreams.html
> We also want to pretend that computer generated graphics are created by an 'artist' for the sole purpose of being able to assign copyright to our machine works

The current IP rights system allows for work for hire, assignments. Reframing it to "I commissioned an AI" obliterates any debate about who owns what. When you commission the rights of what is created is assigned to you, for this machine model, just add that clarity in the TOS and its a done deal.
I think this is now widely considered to be a false anthropomorphization of what's really going on in a hive.
Rygen | Multiple Roles | Greenville, SC | Onsite | jobs.rygen.com

Rygen designs and builds technology solutions to empower the logistics industry. Shippers, carriers, vendors, 3PLs that join Rygen are able to eliminate painful tasks like shipment tracking, contract management, invoice payments, and other tedious tasks, allowing them to focus on the core parts of their business. We have a high output team with hundreds of years in the logistics industry.

We already have customers but we're still pre-launch, so we don't really have an online presence yet. And I know the website it shit, it's just a placeholder... don't judge our tech skills based on that ;) We're actively working on it.

We're hiring multiple roles spanning engineering, analytics, and product design.

Open Roles:

Software Engineer - https://jobs.rygen.com/positions/rygen_sse.pdf

Technical Writer - https://jobs.rygen.com/positions/rygen_technical_writer.pdf

Product Design - https://jobs.rygen.com/positions/rygen_product_designer/

Tech stack: java (spring), vuejs, postgres, k8s, rabbitmq

Send resumes to: hireme@rygen.com
Vantage | Software Engineers (Senior & Staff) | Full-time | NYC & Remote (US) www.vantage.sh

Vantage is a cloud cost platform that gives engineering and finance teams the ability to get visibility on and optimize their cloud infrastructure costs. Our founders are technical and formerly worked at AWS and DigitalOcean. We have hundreds of paying customers with a very fleshed out roadmap and are looking for engineers to help execute. If you love infrastructure, this could be a very interesting and fun job with a senior team. We have very meaty technical problems on data engineering and processing and could use some help! The company culture a kind, high emotional intelligence and high-execution environment.

A variety of technologies we use: Ruby, Rails, Typescript, AWS, Postgres, Fargate, Redshift. A full set of open positions are here: https://www.vantage.sh/careers/

The company raised a $4M seed round led by Andreessen Horowitz with participation with a lot of great angel investors including Calvin French Owen (Co-Founder of Segment), Ben and Moisey Uretsky (Co-Founders of DigitalOcean) and Nat Friedman (former CEO of Github)

I'm Co-Founder and CEO - feel free to email me directly ben [at] vantage [dot] sh if you're interested.
2-hour interview with Hal Abelson from SICP
Humaans (YC W21) | Engineering • Design | Full-time | London Onsite, Remote UK | https://humaans.io

Hiring for:

* Head of Engineering

* Engineering Manager

* Full Stack Software Engineer

* Lead / Senior Product Designer

At Humaans we're creating the best in class HR software. It's a fresh take on HR software bringing a much needed design and engineering mindset to this space. Our stack is React, Node.js, Postgres, Redis, Kubernetes, GCP. We've just closed our Series A round ($15M) from top tier US investors including Dylan Field (Figma CEO), Scott Belsky (Behance/Adobe), Jeff Weiner (LinkedIn CEO), Claire Johnson (Stripe COO), Des Traynor (Intercom), Akshay Kothari (Notion COO), David Clarke (former Workday CTO), Stewart Butterfield (Slack) and more.

Come join us to work on:

+ Implementing modern UIs such as drag-n-drop HR optimised task list, feature rich spreadsheet UI, and more

+ Scaling our app architecture to more customers and larger organisations

+ Migrating our realtime websocket API to a realtime GraphQL API with live queries

+ Writing ReScript / TypeScript / JavaScript

+ Working in a Monorepo with Turborepo and pnpm workspaces

+ Building rich set of integrations

+ Much much more in our journey of building a truly great product

Apply here: https://jobs.ashbyhq.com/humaans?utm_source=7nNGnERWLP
How would this introduce deadlocks? I assumed that .WAIT would be implemented by modifying the internal dependency graph.
This feels a bit like there's fire in the house and instead of discussing how to improve fire extinguisher design, now we're talking about how catching fire is innate to the materials the house is made of and that we should focus on how we can build a house to take into account how fires start based on human behaviour.

In both analogies, the house is still on fire.
Creating art similar to another artist's work isn't stealing when humans do it, why would it be stealing when machines do it?

(Unless the result is too similar, like the Wonder Woman image generated by Stable Diffusion shown in the article, in which case it's "stealing" whether created by human or machine.)
Well, this is a weird argument. There are lots of things that are posted on the internet that are illegal to re-post elsewhere without attribution/payment. That's, like... all of internet copyright law.
Study provides evidence that beauty-enhancing behavior is a universal phenomenon
You've just linked to a small, walkable street with slow traffic that has multiple food and shopping options mixed with medium density residential. Zooming out it looks like a quick walk to a metro station and multiple parks nearby. Not to mention how safe these areas are.

The random mishmash of houses and shops is exactly the type of place that makes walking viable negating the need for a car (and the expense and waste of space storing one).

I wish I could find neighbourhoods like those found in many Japanese and Korean cities; they're very small and hard to find even in Toronto and SF (and not really comparable anyway).
It only managed that in 2021, and still recorded a loss of $221M. In 2020 it made $3.7B, so the 2021 bump may have been pandemic-driven. [1]

[1] https://www.businessofapps.com/data/twitter-statistics/
Show HN: Turn text into animated GIFs with custom backgrounds
Made this free tool to make boring text posts a little more interesting and attention grabbing.
Main suggestion would be to remove advertising, keep it boring, and limit the geographic reach (by default). So, kinda like a public utility, boring boring boring.
>My broader concern is the acquisition by Outside Magazine is not going smoothly

I'd be curious to know how this directly impacted Gaia development. It's a tool I rely on essentially every day in some pretty harsh environments so I second this concern.
Richard Hipp Speaks Out on SQLite (2019) [pdf]
This is answered in their blog entry: https://www.openssl.org/blog/blog/2022/11/01/email-address-o...

A: CVE-2022-3602 was originally assessed by the OpenSSL project as CRITICAL as
it is an arbitrary 4-byte stack buffer overflow, and such vulnerabilities may
lead to remote code execution (RCE).

During the week of prenotification, several organisations performed testing
and gave us feedback on the issue, looking at the technical details of the
overflow and stack layout on common architectures and platforms.

Firstly, we had reports that on certain Linux distributions the stack layout
was such that the 4 bytes overwrote an adjacent buffer that was yet to be used
and therefore there was no crash or ability to cause remote code execution.

Secondly, many modern platforms implement stack overflow protections which
would mitigate against the risk of remote code execution and usually lead to a
crash instead.

However as OpenSSL is distributed as source code we have no way of knowing how
every platform and compiler combination has arranged the buffers on the stack
and therefore remote code execution may still be possible on some platforms.

Our security policy states that a vulnerability might be described as CRITICAL
if “remote code execution is considered likely in common situations”. We no
longer felt that this rating applied to CVE-2022-3602 and therefore it was
downgraded on 1st November 2022 before being released to HIGH.
Serious question: What is the difference between a human intelligence looking at a work and using concepts from it in their own, compared to an artificial intelligence doing it?

If the copyright violation occured by the AI's inputs looking at the work... how is that different than an image of the work landing on a human's retinas?
In addition to very few distros using OpenSSL 3, your server is only affected if you do client certificate verification, which is exceptionally rare for public internet servers.

As a client, you're only affected if you connect to a malicious server.
You have a point, but it's also how art works in general. Most artists draw inspiration from a conglomeration of hundreds/thousands of other artists. If an artist draws inspiration from one and only one artist, they're just a plagiarist.

(Not necessarily saying that clears up any potential legal or ethical issue with generative image models training on artists' work.)
Interesting product. I will take a wait and see approach though because my trust of companies pinky promising not to upload my data, especially when dealing with such invasive data as camera and audio and screen recordings, has been wearing thin of late.

I've been recording my desktop on Mac, Windows and Linux, recording audio in my office, including transcription of the audio, and multiple camera capture for over a decade since early 2000's, and using a SenseCam-like device, on-and-off, for almost 20 years. My current setup of an NVidia Jetson does an admirable job of determining if one or more people are in the room, the activity they are engaged in, multiple camera angles, transcribing what is being said, music identification, desktop image capture and OCR of the images is very much kept locally and I can be assured nothing is leaking out without my explicit knowledge. I have a custom device on my desk that I built that can "pause the recording" or "forget the last 30 seconds" or "forget the last five minutes" for those events that probably shouldn't be captured, e.g. I'm picking my nose and carefully inspecting whatever was retrieved.
Meta goes offline, nothing of any importance changes.

Visa goes offline, people switch to mastercard or use cash.

Now compare that to living in the wild west, and the only town in 100miles bans you because you're slight different to them.
And you know what happened after?

Nothing. The programmer tried to open a lawsuit to gain back his rights but he couldn't afford a decade lawsuit against a mega corp.

So the programmer remains banned today, for Google's mistakes.

Google won't admit wrongdoing, because it reveals how flawed their system is and opens them to cases.

Should such an entity with no responsibility be allowed so much power over our lives?
Cycling74: RNBO
As always, remember that there are several FCC commissioners. When you see a headline about one commissioner, you aren't seeing the FCC decide something, you are seeing the politics within the FCC play out.

In fact statements like this typically mean the opinion given is not the overall direction of the FCC, because if it was a majority opinion they wouldn't need to be playing to the media and would just be enacting their will.
https://www.vice.com/en/article/y3pp8y/amazon-buys-roomba-co...
OsmAnd can do online map tiles, custom online map tiles, caching. Also, can use SQLite map cache, which can be created by some other program, e.g. SAS.Planet
That would decimate engagement, so it accomplishes the goal.
See also: https://brickisland.net/DDGSpring2022/
"Information networks are built by humans, they are designed, they are not necessarily bound by the rules of evolution. Which means we may yet be able to find a system that is not afflicted by the curse of perpetual destruction and reconstruction."

Given humanity's track record, destruction and reconstruction seem like a solid bet.

Not to mention, systems will require change anywhere nature interacts with it.
dupe: https://news.ycombinator.com/item?id=33423246
For a data point: (admittedly, barely) inside Tokyo 23 wards, 15 min walk to nearest station, 70 sqm (753 sqft) 3LDK (3 bedrooms and a living-dining-kitchen). 140000 jpy / month. (945 usd at the current rate.) I think it's a reasonable deal. Less or similar than I would pay for a similar flat in my native Helsinki, Finland.
I think this is the right way of chopping the problem space. In this case, the artist expressed a preference to not have her name used, which seems reasonable, and the author renamed the repo to accommodate that.

One could easily imagine the opposite scenario, where the artist objects to not being credited.

We are in a weird stage where the indexes into this style space are quite weird and ad-hoc; look at all the prompt engineering black magic. It’s worth noting though that this problem only showed up because there weren’t many examples of this style in the data set; when every frame of every Disney animation is in there, it won’t need you to refer to one artist’s name.

I do wonder if a PR and UI improvement would be to layer a language model on top to build the prompt, or perhaps even bake this into the model itself, so you can use more generic (and possibly iterative) style descriptions instead of having to refer to an artist by name. Basically use AI to solve the prompt engineering problem too.
> Distributing initial credentials for new assets or to new people

Sometimes I write the password in a file in the home directory of a server we both access in ssh. It doesn't happen often, maybe not every year.

A customer has no servers, not a chance with them.
> Ubuntu packages are built with stack protector, reducing the impact of this CVE from remote code execution to a denial of service.
The pace at which this happens is determined by the barriers and limits of the context. This is why centralists want to have big barriers such as proprietary technology and government backing by laws and other force that protects their monopoly. To create a more dynamic environment in which we can swing back to more decentralized when a central hub becomes too powerful, we need to support communities and open protocols and resist the barriers, laws, and policies that prevent.
CrossnoKaye is an early-stage (Series B) start-up company on a mission to revolutionize the heavy industrial sector and have a measurable impact on climate change through our Energy AI application. Our headquarters are in Santa Barbara, CA but ALL software positions are 100% remote.

Our Software Engineering team uses the most modern cloud and edge computing technologies to build an advanced control systems platform deploys both simple and AI-based applications.

Open Positions:
https://www.crossnokaye.com/careers | Remote | Full Time|

Current Tech stack: Golang, AWS, Vue.JS, Postgres, Time Series Databases (TSDB), Grafana/Loki, Kubernetes, and Docker

What We're Looking For (Multiple roles, please see brief descriptions below):

Senior Software Engineer in Test: you will have a strong influence on the architecture and design of the product in building for testability. Specifically, you’ll be working with the Platform team on testing frameworks and authoring tests in Golang specific to our evolving microservices architecture.

Senior Software Engineer-Control Systems: Design and develop highly scalable, performant, and fault tolerant cloud baed microservices for our platform that directly interfaces with the industrial controls hardware. Main responsibility will be to improve features in the existing software, troubleshoot, write clean code, and grow workflows in Golang.

Interested: Please reach out to katie@crossnokaye.com to hear more and review the formal job description on our website.

Thanks for your time and we look forward to hearing from you soon!
Did I miss something or did this rocket have no stack - it was a single stage (with boosters, but aside those still one undivided rocket)? Can anyone comment on that please.
How is it fine that we allow freedom when another country restricts freedom - is that your question? Should we also be against Uighurs like they are in China?

I don't think we should bow down to the lowest denominator and instead still appeal to what's best for all people.
Introduce intermediate server which accepts multiple requests and groups them into single batch requests.

With enough trickery you can even implement it using postgres wire protocol, I guess, so it'll be transparent.
It doesn't really matter: the AI model is a compressed representation of copyrighted works processed by a generic, non-artistic algorithm specifically engineered to extract the artistic features of such works.

Conceptually, it's very similar to running lossy JPEG over a single copyrighted work versus a giant folder of works from different artists, then shipping that compressed collection to you customers so they cut and paste sections of those works in their collages. The output your customers create with this tool might be sufficiently original to warant copyright protection and fair use, but your algorithmic distribution of the original works (the model) is a clear copyright violation, it doesn't matter if it affects a single artist or thousands.
> Just because you have some electronics connected to your car that you installed yourself, doesn't shift over the liability to someone else.

probably will eventually...
How to download a backup copy of your Twitter data (or deactivate your account)
HRL Laboratories - Quantum Software | Software Engineer | Malibu, CA, USA | Intern, Full-time | https://quantum.hrl.com/

HRL Labs builds quantum computers. A lot of software is needed for this:

- Data platform and internal tools, written in Python. (Junior to senior)

- Optimizing quantum compilers, written in Common Lisp. (Senior)

- Experimental physics software, written in Python. (Mid to senior)

- Low-level control software, written in C++. (Senior)

- ...and more.

Most positions don't actually require any knowledge of quantum, but for some roles, it does help to have some experience working in an academic discipline.

Interview process: phone call, take-home coding exercise, video interview, reference checks, offer. No LeetCode or puzzles.

HRL Laboratories is financially stable, and perhaps the closest one can get to a "Bell Labs" experience and incentive structure. We don't build product in the traditional sense, so our incentives are aligned to doing things methodically and correctly. Out-of-the-box thinking is standard practice, and welcomed.

Only US Citizens who are able to move to the Los Angeles area are eligible. We do combined in-office (more like in-laboratory) and WFH.

Email is in bio if you want more details or want to apply through the side-door. Front-door is here: https://quantum.hrl.com/careers/
Nothing serious. We were training combat and we were given a small set of rules to get points which included (in hindsight) obvious holes. The smart guys quickly detected and exploited the holes, to the dismay of their opponents, some of whom got very angry. This was maybe 10 years ago, so one I remember: the rule was "a point if you slap your opponent shoulder with your hand", demonstrated as trying to hit the further shoulder of the opponent. It was a game of reflexes, keep the distance, quick entry and blocking, but also it was too easy to hit the closest shoulder, something someone noticed after a good two minutes into the exercise.

Before the e-hogus a fellow competitor used to punch in a way that was not damage effective, but made a lot of noise and looked like a real punch (almost like a backhand slap), scoring a lot of points. Their opponents claimed that they weren't even hit. Another guy used to launch kicks in the last possible moment of a clinch (almost always a jump-turning-and-back-kick, tuio mondollyo tuit chagi, don't know the name in english), just when he noticed in the corner of the eye the referee intended to break the clinch.
Free speech is usually banned as being "too dangerous" but who gets to decide that and based on what criteria?
Next definitely supports serverless. If you deploy a Next app to Vercel it will get deployed to AWS Lambda.
if you are at load level when you have million lambdas executing concurrently your monthly bill will make even Uncle Sam cry.
usually around christmas time...but that means you will have a bad time in multiplayer against people that have unlocked most of the guns/attachments and understand the meta. this is not an issue if you're just playing the campaign
> In other words, for any generative model, there is a space of reachable outputs, and it's not so clear that these images did not already lie in that space before fine-tuning.

I'm trying to understand what you are saying here. It sounds like you are saying that something that doesn't yet exist must already exist simply because a model has been created which can yield this non-existent thing as an output?

Your example uses properly licensed data as an input but seems to imply that creating a model that is capable of producing a particular output means that the output in effect already exists as a prior work before it has ever been created by virtue of the model's ability to create it on command.

I'm probably over-thinking all this.
It is definitely a technical problem to solve, they foster this kind of behavior because of algo design to optimize add sales. Even just not having add sales would make internet a better place. Also, you can avoid all of the problems of OP on twitter by just unfollowing these kinds of people and consume content that's actually interesting not just a reaction to US local politics.
So, if we remove her name and call this style #27b-6, there’s no issue.

She does not own the style. She owns her name and can get fussy about how it’s used, but you can’t stop someone from learning your style.
quick question, I didn't look into the detail of the issue and novice on Rust as well - question is to whom already checked detail of the vulnerability, is this bug kind of ones we can prevent if we're using Rust instead of C?