skysight-inc/HackerNews huggingface dataset:
Get off the meds and do it cold turkey. Taking that garbage is the worst thing you could ever do to yourself because it literally numbs you to the point where you can’t properly process sensory experiences.

I once hit a really bad low point in my life and started taking SSRIs, it only took me 3 months (about the time they start to work) to “nope the fuck out” of that experience. It’s horrible and will mess with your mind.

My advice is for you to learn meditation and how to calm down. It is extremely hard with a racy mind but believe me - you will notice progress and you will feel extremely good about learning how to shut your mind up. It will create a lot of space in your life to address your problems in a realistic way.

And things like emotional intelligence will be a nice side-benefit.

Being mature and having a strong character is not a given, you have to develop these skills on your own.

Find ways to get all this confusion and procrastination out of your system: write, talk to people, climb a mountain.

Failed? Not a problem. As long as you keep trying, you will eventually change things. Giving up is easy but it sure as shit is not satisfying.
As an FYI, "needs" is not correct, it has `raw:` for doing anything the target interpreter understands (sh, bash, powershell, etc), which can then include actually provisioning beefier interpreters (full blown python, pypy, whatever)

Ansible plugins can be written in any language, shell, compiled binaries, whatever, and communicate with the control plane via stdin/stdout

I suspect you are thinking of Jinja2 when you are writing python in yaml strings, which ... kind of, I guess, but also confusingly not Python, or at least the hacked up copy of Jinja2 that ansible uses can't do all the fun things normal Jinja2 can
Smartphones are faster but the web apps are still slow or even worse, slower.

Many useless design elements drain the battery and take time to render.

Fortnite isn't a web app and I doubt that Figma was used by the game designers.
SFist Critique of City Campus and California Forever
It's coming soon, stay tuned. You can join our waitlist here https://docs.google.com/forms/d/e/1FAIpQLSeA7XIFJw6ofH9FtEXH...
They are common in parks and recreational facilities in the US.
Can you provide a link? The only thing I found is https://www.haiku-os.org/development/icon-guidelines. I wouldn’t call that extensive.

I think Android’s (https://m2.material.io/design/iconography/product-icons.html...), Apple’s (https://developer.apple.com/design/human-interface-guideline...), and Microsoft’s (https://learn.microsoft.com/en-us/windows/apps/design/style/...) are more detailed than that.

(And yes, that’s comparing to the work of huge companies, but I don’t think that matters for deciding whether to call this ‘extensive’)

I also do not rule out that the tech choices they made (partly) drove the guidelines. It doesn’t make sense to proscribe things the OS cannot display.
I generally agree, but really think AI is different with regards to the stakes being (at least viewed by many as) higher than any other field of research.

Whether or not you believe this is the case with AI is not what I'm getting at, but a lot of people believe AI has the potential to cause more damage than nuclear weaponry technology, as well as the potential to suspend aging, end all natural causes of death, regrow limbs, fix any bodily ailments.

There will be countries that embrace AI out of potential for the latter, and capitalists who do their capitalist thing and make as much money off of the perceived latent power.

There is no prospect of achieving a truly international consensus (meaning applied the same way by every country, we don't even have that with copyright, though that's the closest example I can think of) on AI policy. Given that, do you really think the U.S. is going to sit by and watch as the majority of AI research is conducted in other countries?
I'd like to see a weight tax on vehicles. Lighter vehicles have less tire wear, so less pollution. They also require less energy to move, so less emissions. Plus lighter vehicles would improve pedestrian safety.
I’d almost guarantee the bristles on a street sweeper are also leaching insane amounts of toxic crap into the environment. I bet they’re plastic…
That's not the only way to fly, though.

Business aviation (i.e. "private jets") has exactly the type of customer for whom being able to make phone calls in-air is a thing where cost is secondary.

Gogo even pivoted to that market entirely [1], with the commercial segment now part of Intelsat.

[1] https://www.gogoair.com/
Have been using this for a while. Yep, stupidly simple and super super useful! Thank you
One of the Flock cameras was installed in my city nearby where I live. Once I noticed it, I thought it was a red light camera at first since it was near an intersection.

I did some research on them and found that they are completely wireless (cellular network most of the time) and powered by a 65w solar panel. Since they capture every license plate that passes by, I wasn't thrilled it was a private company keeping the data, even if they say they only keep it for 30 days.

I did a FOIA request with my city to see how many are in use and their locations to share with my community. I also plan on asking why my city thinks it is a good use of tax dollars. I think it should be a requirement for cities to disclose their use since it is a private company installing private equipment (and a camera at that!) on public land to monitor the public.
Spare | Senior Product Designer | Remote in Canada | Full-time | http://sparelabs.com

Spare makes tools for transit agencies to run on-demand and accessible transit services.

We're looking for a senior-level designer to help build the core tools transit agencies use - interfaces for scheduling rides, managing digital wallets, reporting on service data, and much more. You’ll also get to work on totally new AI products - so far, we’ve launched AI Voice to help riders book more easily over the phone, AI Scan to automate data entry, and AI-powered natural language search.

Apply here: https://sparelabs.pinpointhq.com/en/postings/e425f305-22f0-4...
If you can represent algebraic geometry through mathematical objects, operations and operators, then yes.

But I don't know algebraic geometry, so I cannot say if there would be any advantage of doing it in Abstraction Logic compared to Lean. If you had any difficulties formalising algebraic geometry in Lean caused by static types (for example that there are no subtypes), then that might be where AL could help.

Also, could you do category theory in general in AL? Again, I don't know category theory well enough to say. But categories can certainly be represented as mathematical objects, so I don't see why not.

Do you have a minimal example in mind where you encountered problems in Lean?
They do claim to use an independent Teclis index, but this cannot be where most of their non-news results come from as it is not a general index. From the information available on Teclis, it has a very limited index and currently is strictly purposed for the niche use of finding non-commercial content. Teclis itself doesn't even claim to be fully independent, and sources from the Marginalia non-commercial index. If they were relying on their own index, they wouldn't refer to Kagi as a client and reference the other sources with precedence.

https://teclis.com/
Common Crawl Foundation | REMOTE | Full and part-time | https://commoncrawl.org/ | web datasets

I'm the CTO at the Common Crawl Foundation, which has a 17 year old, 8 petabyte crawl & archive of the web. Our open dataset has been cited in nearly 10,000 research papers, and is the most-used dataset in the AWS Open Data program. Our organization is also very active in the open source community.

We are expanding our engineering team. We're looking for someone who is:

* Excited about our non-profit, open data mission

* Proficient with Python, and hopefully also some Java

* Proficient at cloud systems such as Spark/PySpark

* Willing to learn the rest: crawling parsing indexing etc.

Contact me at jobs zat commoncrawl zot org.
bloop (YC S21) | AI/ML Engineer, Compiler Engineer | Full-time | London (UK) | Visa Sponsor

At bloop (https://www.bloop.ai) we modernise legacy code, translating old languages to new(er) ones. Existing translators produce code that is unreadable, and the alternative of rewriting an old system from scratch in a new language is unfeasibly expensive for many projects. We're developing a new approach that uses LLMs to automatically generate readable, maintainable code.

We're working to modernise code for a cohort of enterprise customers. You'll join a small group of compiler and ML engineers who are obsessed with the technical challenges posed by code translation.

We love:

* LLM pipelines

* Static analysis (Tree-sitter)

* Rust

Apply here: https://www.ycombinator.com/companies/bloop/jobs or directly to gabriel@bloop.ai
Talc deposits are often found around asbestos ore. From what I can tell the issue is cross contamination rather than talcum powder itself being carcinogenic.

https://en.wikipedia.org/wiki/Talc#Association_with_asbestos
> Even with Agile we can’t get stuff done in a satisfactory time frame because we always have a backlog sized for a team twice the size of the one we have, when responsiveness is maximized when the system is running at 50% of maximum throughput.

Agile falls down when people misapply it, same as anything else. It's not just the size of the backlog; it's being able to limit work in progress so that you have the ability to adjust. What's more, management needs to get on board with the idea of probabilistic forecasting that's continually revisited, as opposed to trying to stuff complex work into Gantt charts and deadlines. Sadly, most of modern management refuses to make these changes, and too many folks in the trenches don't want to take ownership of their work and just want to be told what to do.
And what time frame did I apply for when I exited mobile?
The IEC 62196 Type 2 connector is the European connector and still standard in Europe. It is different from the CCS Type 1 connector that has been used in North America, also known as the SAE J1772 Type 1 "Combo" connector as it was also standardized originally in North America under SAE J1772. Wikipedia doesn't have a separate page for the "Combo" connector and mentions it in the SAE J1772 page instead. (The base Type 1 is the Level 1/Level 2 charger and the "Combo" Type 1 is the combined one with AC plugs.)

It's very useful to note that the North American SAE Type 1 "Combo" connector and the European IEC Type 2 connector have surprisingly different form factors with the SAE one being bulkier by quite a bit. That too was a factor in NACS getting fast tracked for standardization. (It's the least bulky of the three hardware designs.)
Location: Harrisburg, PA

Remote: Yes, also open to hybrid and onsite

Willing to relocate: Willing to relocate to Philadelphia, PA, or New York, NY (or surrounding areas)

Technologies:

Back-end: Node.js, Ruby, Golang, Python, PostgreSQL, MongoDB, AWS (EC2, ECS, Fargate, RDS, VPC), Redis, RESTful APIs, Express, Sinatra, Minitest, Jest, Cypress

Front-end: JavaScript, TypeScript, React, jQuery, Handlebars, HTML/CSS

Other: AWS, Docker, DigitalOcean, Git/GitHub, Nginx, Linux, Bash, HTTP, WebSockets, Object-oriented programming, Postman

Portfolio: https://morgansummerdavis.com

Résumé/CV: https://morgansummerdavis.com/assets/Morgan_Davis_Resume.pdf

Email: https://veilmail.io/morgan_davis

Hi! I'm Morgan, a full-stack software engineer currently in Harrisburg, PA. I enjoy puzzles and am passionate about design and breaking down complicated problems. I also enjoy rock climbing. :)

Most recently, I built Reverb (https://reverb-app.github.io/), an open-source, asynchronous, event-driven workflow engine that reliably orchestrates complex background sequences. You can think of it like a lightweight Temporal with a higher emphasis on developer experience.

I would love to hear from you if you think I would be a good fit for your team!
Anecdata: maybe yes, but when I was using puppet it would take 45 minutes just to load
I am not a gym rat, but I do enjoy going if someone else figures out what I am going to do. I get bored if I have to figure out a routine myself. This could be an answer to that. Will try it!
If Google can't import the talent they need into the US, they have the option of just sending the work to an office in India, at least, as they did in the last layoffs. If we freeze up immigration here in the USA, Google and all the other big techs have an easy way out. The bigger issue is that if you want to collect top talent from all over the world, you might not be able to do that in India yet, but maybe you still can do it in Zurich or Munich.

The US is kind of caught in a bind here: they want companies to continue doing R&D here, and that means being competitive with respect to immigration. But at the same time, they want to encourage employment of existing residents/citizens, without being so restrictive that those jobs just move to other countries anyways.
My neighborhood and for miles around me is lower to middle-middle class. All people that wouldn't be able to afford to 1) move and leave their equity behind 2) afford the rents in the denser part of town.

You are painting with too broad of strokes.
> Meat was wrapped in paper. Milk, butter and sour cream were poured into whatever container buyer had provided.

These were both common in mid-century US too. These practices were slowly discontinued because other packaging was cheaper and more sanitary, especially as foods were packaged further away from the end consumer.

And when buying meat fresh at a butcher in the US, it's still fairly common to get it wrapped in paper.
Chaz is less mature, probably buggier, more difficult to setup, configured with yaml instead of Environment Variables (why would they do that?), and written in Rust. It also uses AIChat on the backend which isn't necessarily restricted to OpenAI compatible APIs.

I also can't tell if matrix-chatgpt-bot supports sending images, but Chaz does.

Chaz supports switching the model used at any time as well, including in the middle of the chat. So you can setup many separate models and switch between them as necessary for different rooms.
Yeah, I hate ads too :(
Unfortunately we have to run ads to support our business.

We don't mind ad blockers, I suggest Brave! But if you do want to help support our team, we also offer a premium subscription that removes ads and unlocks other features like tracking.
your argument is mostly bullshit and i believe you're fully aware.

there's no European social network. or large data collection syndicate. it's only US. and tiktok offset that status quo.

name one EU entity that collects as much data as the number 100 on the usa list, which is something like onStar. there isn't, which makes all the argument of global fair play a joke.

a joke which you highlight by citing protonmail which is a very famous landmark case where the usa made it very clear it will act on the limits of any agreement it can with borderline legality to keep the status quo intact.

so when i say it's bs and you know it, i mean you are either in DC doing your job, or so often around them you internalized the talking point.
What are you currently doing for such need? If you can be more specific beyond the information publicly available.
The overwhelming majority of youth use tiktok for their news. That is not the case with the other platforms. Further twitter, reddit, and youtube all censor to a far greater extent than tiktok.
That's a different question though, and you're right that this wouldn't be answered in the scope of this discussion.
The AI shovelware spam will continue until morale improves.
>I can't really blame a for-profit corporation for using the laws as they are written.

It's funny how whenever a corporation behaves hostilely toward its community, or its customers, or its competitors the rallying cry is "Well it's for profit, they might as well do whatever is mathematically correct", but whenever people turn around and try to make the behavior mathematically incorrect by, say, regulating the corporation or refusing to do business with them or protesting and blocking the factory site they're all of a sudden being unfair and disrupting legitimate business operations.
Location: Bangalore, India (Working in multiple Time-Zone-US/UK/AUS/NZ and EUR) Remote: Yes

Focus Areas: SportsTech:- Sports Product Development (USA, Australia, Europe)

Passionate about crafting cutting-edge Fitness and Sports digital solutions. Offering end-to-end technology development services with a focus on simplifying complex Sports solutions through exceptional UI/UX.

Specializations include:

Web & Mobile App Development, Sports Telestration, Athlete Training & Development, Second Screen Experiences, Sports Coding, BioMechanics
ReactJS, AngularJS, NodeJS, Computer Vision, AWS & Machine Learning Compute, MVP & Proof of Concept

Technologies: ReactJS, AngularJS, NodeJS, AWS, Machine Learning Compute, SportsCode, SportsData.io and more.

Availability: With recent bandwidth availability due to paused engagements, we offer dedicated teams for Sports Product Development, ensuring conceptual distinctiveness and top-notch quality.

Schedule a Chat - https://calendly.com/mobilefirst-intro
Email- rupal.mobilefirst@gmail.com
The issue is Starlink is run by a political actor. Elon was using his Starlink leverage to try to affect US foreign policy.

https://www.newyorker.com/magazine/2023/08/28/elon-musks-sha...
ReadMe | SDK Engineer | Full-time | Remote (or SF or NYC)

We’re looking for a polyglot who loves all languages (almost) equally! We have a few public SDKs (both for ReadMe itself, and SDK generation for other APIs) that need someone to write, manage and own them. If you love building in the open and taking on new languages, I'd love for you to apply!

https://readme.com/careers#open-source-sdk-engineer
I wanna say it was a little different? Super idiot-proofed for a windows user. Download a .exe from the ubuntu website, might've downloaded something after installation I don't remember, then click a few buttons and wait.
Look into the neurodiverse community, they have this figured out. A personal assistant and coaches are keywords which sound like what you are looking for. And accountability buddies and body doubling
Andrew McWatters & Co. | Software Agency Sales Representative | Remote, Phoenix, AZ | Full-time

We are a small software firm located in the Phoenix metro. You will be part of a highly skilled, kind team of engineers and sales staff who serve Fortune 500s, start-ups, large non-profits, and small businesses in custom software projects.

We are a stress-free, easy going company who values professionals with extensive experience. Because we know what we’re doing, we don’t have to hard-sell to clients or our own candidates.

Internally, we innovate at comfortable speeds. Our agency work subsidizes research and development in the areas of fintech and self-driving cars.

We are looking for sales staff who can assist us with maintaining revenue and modest growth. We pay competitively based on experience and with commission.

Please contact us at careers@andrewmcwatters.com. We look forward to hearing from you.
There are lots of places that only have CenturyLink, unfortunately.
>illegal for DJI drones to use U.S. communications infrastructure

aka prevent from phoning home, sounds surprisingly reasonable!

>Using his network, Warnas reached a licensing deal with DJI to manufacture the Raptor drones in Malaysia, using the core design and internal chipset of the DJI Mavic 3 platform. He could then import and sell the drones in the U.S. under the Anzu Robotics brand.

Upton Sinclair strikes hard here. You are still using Chinese chips and firmware.

>On the software side, Warnas signed a deal with U.S.-based Aloft AI (formerly Kittyhawk) to provide the flight control software on the controller.

What about the other part of the equation - drone radio firmware? Because it does still transmit unwanted things in sideband channels, for example Aeroscope https://github.com/proto17/dji_droneid
Huh. I'm not at all a fan of how Poettering operates, but it's neither the ideas nor the implementation where I'd fault him. Well, it depends on what you mean by implementation, I guess; I'm talking about the core "how does it do its thing", not the interface by which you use it.

I think Poettering has great ideas and great implementation. It's the execution and interface that are often terrible. If the square peg doesn't fit in the round hole, then he'll always say that the peg is perfect and the world just needs to chisel out the corners of the hole.
Are Japanese anime robots isometric or allometric?
SEEKING WORK | Location: Eastern Canada | Remote only

Linux SWE/SRE with over 10 years of experience in industry and a Master of Arts in music technology. I've worked and excelled at big and small companies with a variety of corporate cultures: NVIDIA, Pandora/SiriusXM, Samsung, SAP, and more.

I'm available for short-term project-based contracts.

Linux systems programming (Rust, Go), cloud infrastructure (AWS, Terraform, Ansible, Docker), CI/CD (GitHub Actions), open-source metrics (Prometheus/Thanos/Grafana), audio/music numerical/computational code (Python/C++), realtime audio and digital signal processing, PyTorch neural networks, Android NDK. I write good READMEs and pragmatic, explainable solutions and code.

Contact: sevagh at protonmail dot com

Github: https://github.com/sevagh

Website: https://sevag.xyz
Felt | Product Marketing Manager (and Sales Engineers) | Oakland, CA or REMOTE (US timezones) | Full Time | https://felt.com

Felt is the best way to make maps and work with geospatial data on the internet. It's surprisingly hard to make a map today, and people in 15+ industries rely on them to do their jobs. We are taking on an industry that's been stagnant for more than 30 years, but is essential to the workings of practically every company.

Felt is the first easy-to-use collaborative mapping software, founded by a team of technologists with a proven track-record. My co-founder and CEO, Sam, is a former YC founder who sold his previous company [1] and I'm an early Uber engineer.

We are looking for a product marketing manager who will put our platform in the front the eyes of the right people. The ideal PMM will have worked for a technical product and knows how to talk about it, have worked on launches (we do a lot! [2]]) and is comfortable in a start-up environment.

We are well-funded and organized. You can read more about it our funding here [3], and our announcement here [4]. Our terms are employee-friendly terms such as early exercise, a 10-year exercise window and even a matching 401(k).[5]

If you are an experienced PMM or a Sales Engineer, please reach out via hello@felt.com and mention HN.

[1] https://techcrunch.com/2021/03/09/via-buys-mapping-startup-r...
[2] https://felt.com/blog
[3] https://techcrunch.com/2022/05/31/felt-maps-15-million-serie...
[4] https://felt.com/blog/public-beta-15m-series-a
[5] https://felt.com/careers
Like? You're coming across as very dismissive for no reason.
You know, us lifeforms.
Main here, with *BSDs or Yocto-based right behind.
Show HN: I made an app to empowers shoppers to make smart decisions and choices
Apple didn't start in New York, which was a major hub and where space was at way too much of a premium for teenagers to have free reign to build things in a garage. It started in a middle class suburb. The area later became very expensive, largely due to the success of so many startups.

Move to a suburb of Birmingham or Manchester, an hour outside of the city (just as SV was from SF, and then there will be plenty of room for teenagers to build things in garages.
I guess that’s true if you’re west of DC. Otherwise it’s Delmarva (DELaware, MARyland, VirginiA).
BSV – Block Separated Values
One issue I have with the Flock cameras installed in my city is that they are installed on public land (right next to the road) and paid for with tax dollars.