skysight-inc/HackerNews huggingface dataset:
Unfortunately not, as it is primarily my conclusion based reading about it and engaging with proponents. Maybe I should write a blog post or something.

In short, I think it is outdated because it is a material consumption and utilization tax applied relatively regressively.

Henry George lived in the 1800s when economic value creation primarily was primarily through agricultural and industrial utilization of natural resources (farming, mining, manufacturing). Since then, the value creation in industrialized countries have largely shifted to service and knowledge economies (finance, medicine, entertainment, technology, arbitrage, and IP). Service and knowledge economies are much more detached from natural resources consumption. As and example, a banker might make a million dollar trade consuming little more than the electricity and a PC, whereas a farmer needs hundreds of acres, Water, tractors, fuel, and fertilizer.

One might think that the tax burden would get passed along from the primary users of natural recourses to the end consumers, and this is may be true to a degree. However, differences in consumption is much more flat between individuals than income or wealth. Your Warren Buffets of the world might have an income 100,000 X higher than the average person, but they dont consume 100,000X more material goods like food, water, housing, ect.
the board now can be pre-ordered according to the article: $59, $79, $115
Due to what reasons does imgui offer incredible development speed?
"Let's tuck all that unsightly spaghetti code behind this neat 1000x1000 matrix of floats!"
Which makes the argument that the FCC somehow requires this moot.
French antitrust regulators preparing Nvidia charges
Washington replaces reconnaissance drones over the Black Sea with manned Jet
My favourite advice to give out is:

"If you feel very smart after writing a particularly intricate piece of code, it's time to rewrite it to be more clear."

Speaking of not trusting yourself.
Unfortunately this post skips over the "atomicity" part of a write-ahead log.

Assume you start with data on disk AAAAAAAA, read it into memory, and update it to BBBBBBBB, then write it back. If you crash in the middle, you might end up with BBBAAAAA, BBBBBBAA, or even some crazy interleaving. (at least for reasonable file sizes - note that the largest atomic write to many NVMe drives is 128K)

If you ditch the in-memory BTree and write a direct-to-disk one, with a lot of care (and maybe a bit of copy-on-write) you can make sure that each disk write leaves the database in a crash-consistent state, but that will cost multiple writes and fsyncs for any database modifications that split or merge BTree nodes - you have to ensure that each write leaves the database in a consistent state.

(for those of you old enough to remember ext2, it had the same problem. If you mounted it async and had a bad crash, the data on disk would be inconsistent - you'd lose data, so you'd vow to always mount your filesystem with synchronous writes so you'd never lose data again, then a few weeks later you'd get tired of the crappy performance and go back to async writes, until the next crash happened, etc. etc.)

The advantage of a log is that it allows you to combine multiple writes to different parts of the database file into a single record, guaranteeing (after crash recovery if necessary) that either all changes happen or none of them do. It serves the same purpose as a mutex in multi-threaded code - if your invariants hold when you get the mutex, and you reestablish them before you drop it, everything will be fine. We'd all love to have a mutex that keeps the system from crashing, but failing that we can use a WAL record to ensure that we move atomically from one valid state to another, without worrying about the order of intermediate changes to the data structure.
Friction: Powerful graphics application to create vector and raster animations
n>=1, one of our juniors is indeed younger than the OpenBSD fix and dealing with this bug.
It's not to have more radio stations, it's to have more bandwidth to allocate to things that AREN'T commercial radio.
Ask HN: Who wants to be hired? (July 2024)
Share your information if you are looking for work. Please use this format:

Location:
Remote:
Willing to relocate:
Technologies:
Résumé/CV:
Email:

Please only post if you are personally looking for work. Agencies, recruiters, job boards,
and so on, are off topic here.

Readers: please only email these addresses to discuss work opportunities.
Ask HN: Freelancer? Seeking freelancer? (July 2024)
Please lead with either SEEKING WORK or SEEKING FREELANCER,
your location, and whether remote work is a possibility.

Please only post if you are personally looking to hire a freelancer or work as one.
Agencies, recruiters, job boards, and so on, are off topic here.
Ask HN: Who is hiring? (July 2024)
Please state the location and include REMOTE for remote work, REMOTE (US) or similar if the country is restricted, and ONSITE when remote work is not an option.

Please only post if you personally are part of the hiring company—no
recruiting firms or job boards. One post per company. If it isn't a household name,
explain what your company does.

Commenters: please don't reply to job posts to complain about
something. It's off topic here.

Readers: please only email if you are personally interested in the job.

Searchers: try https://hnresumetojobs.com, https://hnhired.fly.dev,
https://kennytilton.github.io/whoishiring/, https://hnjobs.emilburzo.com.

Don't miss these other fine threads:

Who wants to be hired? https://news.ycombinator.com/item?id=40846426

Freelancer? Seeking freelancer? https://news.ycombinator.com/item?id=40846427
You can’t build immunity against cold and flu, afaiu, and I doubt that “constantly sick” meant measles, chickenpox, etc. How does that work?

Edit: am I wrong here? Would like to know.
Eigen | Full-Time | product engineers, ex-technical founder engineers, and ai engineers | REMOTE (all remote) | Hiring GMT-8 to GMT+2

Eigen helps companies build world-class AI products, enabled by the cutting edge of AI and LLMs. Products span spaces from edtech to leadgen to finance.

* we are a real business — profitable with $XM in revenue this year.

* we need: product engineers, ex-technical founders, and ai engineers to build products. Experience with typescript stacks and/or python is fantastic.

* smart team. ex. stanford ai lab, harvard, uber, tinder, etc.

* if you're a fullstack ts dev and are interested in growing into AI, this role is perfect for you.

* if you like learning about new industries and working on different kinds of projects regularly, this role is perfect for you.

send an email to careers [at] eigen (.) net with a resume/site link/whatever is indicative of you. No need to write long email, just a "hi" is great :)
Hudson River Trading | Hybrid | Full-time

We’re a quantitative trading firm based in NYC that trades hundreds of millions of shares each day on over 200 markets worldwide. We use math and technology in everything we do; our talented developers, engineers, and programmers build complex models and systems that allow us to make automated trading decisions on global markets.

We’re looking for:

Technical Product Manager | NYC | https://www.hudsonrivertrading.com/careers/job/?gh_jid=54008...

Data Production Engineer | NYC, London | https://www.hudsonrivertrading.com/careers/?q=data+productio...

Cloud Solutions Architect | London | https://www.hudsonrivertrading.com/careers/job/?gh_jid=58809...

Low Level Software Engineer (C++) | Singapore | https://www.hudsonrivertrading.com/careers/job/?gh_jid=12290...

And more! For more information about our benefits, check out Life at HRT: https://www.hudsonrivertrading.com/life-at-hrt/
SEEKING WORK, Sweden, Remote

Helping companies with counseling, development and auditing of software. Specializing in software with specific security requirements and/or technical/scientific challenges.

Available part-time or for shorter assignments. Either on an hourly basis or for a fixed price for well defined assignments.

Reach out to me via hi@kryptogram.se
Location: Southern California

Remote: yes

Willing to relocate: possibly

Technologies: Rust, C, C++, Julia, CUDA, Swift, Metal, Objective-C, Cocoa, UIKit, Python, JavaScript, TypeScript

Skills: systems programming, application development, GPU programming, low latency networking, DSP, numerics, backends, frontends, distributed systems, databases, compilers, high performance computation, machine learning, UI development

I don't just write code, I solve hard problems. Strong foundations in several scientific fields (CS, math, physics, probability, formal logic).

Implemented core tech for a startup which later sold for ~$1B.

Looking for opportunities in the machine learning and/or systems space.

LinkedIn: https://www.linkedin.com/in/adam-nemecek-b40153104/

GitHub: https://github.com/adamnemecek

Email: my username at gmail dot com

Education: A.B. in CS from Harvard
SmarterDx | 150-230k+ + equity + benefits | Remote (US only) | Multiple roles | https://smarterdx.com/careers

We are a rapid growth health tech company using AI to improve hospital revenue cycle (making healthcare costs lower and allowing doctors to focus on patient care). The current team is very high functioning (MD + data scientist combos, former ASF board member, Google and Amazon engineers, Stanford LLM researchers, etc.) and initially scaled the company to $1MM+ in contracted revenue without raising capital.

We have been backed by top investors including Floodgate (Lyft, Twitch, Twitter), Transformation Capital, and Bessemer for a total of $71mil, including our $50mil Series B announced in May 2024, and are currently on pace to 20-30X in revenue over a two-year time period.

We are looking for:
Staff and Senior SWE
- Senior and Non-Senior Data Engineers and Scientists
- Engineering Managers (SWE + Data)
- Sales
- Several more roles

We have PMF, and it's time to scale! For more and to apply, see https://smarterdx.com/careers
'AI cooling' is when your AC markets itself as AI powered.
A good start might be lichens. Lichens in the Antarctic can survive and reproduce while being very cold and dry, albeit their growth rates are very slow.

> In the case of Buellia frigida in the McMurdo Dry Valleys region, the growth rate may be as little as 1 cm per 1,000 years.

https://www.antarctica.gov.au/about-antarctica/plants/lichen...
Ladybird is for the modern web, not so the late 90s, early 00s anymore. I don't see a worry of integrating domain-specific third party libraries, we were able to drop thousands of lines of non-Web code that people would otherwise have to maintain.

I'm guessing 2026 was chosen as people would be quickly discouraged by its slow rendering performance right now. The average person would just see it as just a slower browser rather than a serious contender.
>The thing I never found satisfying was this notion that the air over the top moves faster because it has further to go

On the one hand I agree that it is a stupid way to phrase it. On the other hand if the air doesn't "make it" then there is nothing where the wing just was aka a vacuum. The low pressure area that forms above the wing sucks the air along making it faster. Why doesn't all the air rush to fill the low pressure area? Well for air below the wing there is a wing in the way, air above the air flowing over the wing does rush down to fill the void providing lift, air behind the wing does as well creating some drag.

Same for angle of attack it deflects the air that would normally be above and behind the wing down (providing some lift),making a low pressure area form above the wing which the air speeds to fill.
How can you look after an older population that doesn’t work and whose pensions increase every year at least as much as salaries, without either increasing taxes or increasing the working population?
Location: Denver, CO

Remote: Yes

Willing to Relocate: No

Technologies: Go, TypeScript, Scala, Rust, C#, Java, Python, C/C++, SQL, HTML/CSS, JavaScript

Résumé/CV: https://kyleu.dev/resume

GitHub: https://github.com/kyleu

Email: hn@kyleu.dev

I've been creating software for more than 25 years, and coding is still my true passion. I specialize in software performance, simplicity, developer experience, and solving the difficult problems that arise with complex distributed systems. In my last role, I served as a Principal Engineer for a large engineering team, designing and building a large global web commerce platform where I created architecture, frameworks, and backend services, mostly in Golang and TypeScript.

I've built many open-source projects, with Project Forge (https://github.com/kyleu/projectforge) being the best representation of my work. It’s a solo project with almost 100KLoC, and has delivered significant value to the organizations I collaborate with, despite being currently unannounced and under-documented.

I'm seeking full-time employment as a Principal Software Engineer or similar role. I'm eager to bring my extensive experience to a new team, contribute to exciting projects, and work alongside other passionate developers. Feel free to drop me a line at hn@kyleu.dev if you think we could be a good match.
On the flip side, I expected it to be a bigger migration than it was. But I was using it effectively as a complete git replacement the very first day.

I still had a few things I didn’t know how to do optimally, but it was close enough to be productive. Within a week I’d closed basically all of the gaps.

It’s been three or so months and I’m never going back. It’s been so transformative I can barely remember all the innumerable frustrations and papercuts I used to put up with daily. Rebase conflicts. Juggling the stash. Ugh.

I say this as someone who considered themselves extremely proficient with git. I mean, I wrote a compatible Ruby implementation of it over a decade and ago.

If it gains momentum, jj has a better chance than anything I’ve seen at finally dethroning git.
I only cut back because I was pissing so often that it was distracting. Other than that I have no issues, I fall asleep in the two minutes my partner takes to brush her teeth.

I'm confused by the anti coffee crowd. By all accounts black coffee is a healthy drink with essentially no calories.
Meaningful Gigs | REMOTE (US based) | Full-time | Founding/Sr. ML Engineer | Senior Backend Engineer | Senior Frontend Engineer

Meaningful Gigs began as a marketplace for creative talent & evolved to build AI-driven creative workflows. We are on a mission to advance human creativity by eliminating mundane tasks that stifle innovation and transform the $162 billion creative market.

Help us shape the future of creativity by quietly rolling out a new product, separate from our creative marketplace, which helps speed up creative tasks, think ‘Grammarly for creative workflows’. We have various AI powered features that automate repetitive creative tasks.

We are an innovative and fast-moving, seed-stage startup of 16 people, (10 in product) prepping for our Series-A and growing quickly.

Tech Stack: Javascript/Typescript, React, NodeJS, AWS SDK, Serverless, Express
ML: Python, Tensorflow, Pytorch, Scikit-learn
Check out our open positions at: https://boards.greenhouse.io/meaningfulgigs
Contact our Head of Talent directly at Christina(at)meaningfulgigs.com or on LI: https://www.linkedin.com/in/christina-kayler/
For RNN abilities, RWKV is worth a look[1]

It's billed as "an RNN with GPT-level LLM performance".

[1] https://www.rwkv.com/
There are verified compilers such as the compcert compiler and also ways to verify that a given binary does in fact correctly implement an specification
If you have extended support: Just update (if it's not so old that it's not even affected in the first place)

If you don't have extended support: You're vulnerable to worse, easier to exploit bugs :)
Hey kragen,

Someone just told me to have a look at the thread and I'm very happy I did! It's been really good for me to read back you two's exchange. I'm not here to defend uxn or anything like that, I was only wondering, could you do the same test with uxn11(instead of uxnemu)? I don't personally use uxnemu, I find it's too demanding for my laptop, I would love to have the data for uxn11 in comparison to uxnemu from your system if you can run X11 programs.

Let me know :) Cheers!
The pressure difference explanation is the basic explanation, though. The name of the force is "the aerodynamic force", and there's not really any confusion on that point.

The difference of shape between hydrofoils and airfoils is determined by the properties of the masses in which they move, explained by the same theories of fluid dynamics, rather than any fundamental difference.
Temporal Technologies | Multiple positions in United States - WORK FROM HOME | FULL-TIME |

Temporal offers an entirely new way to build scalable and reliable applications. Temporal enables developers to focus on writing important business logic, and not on managing state or worrying about the underlying infrastructure. Sequoia Capital led our last round of funding and our team has experience from start-ups and larger companies like Microsoft, Google, Amazon, Uber, and more.

Temporal Investors Expand Funding: https://temporal.io/news/temporal-investors-expand-funding-w...

Temporal in 7 minutes: https://temporal.io/tldr

We're looking for senior level engineers for multiple roles - see here - https://www.temporal.io/careers

FEATURED ROLES:

Senior Developer Success Engineer → https://grnh.se/ca70567c7us

Staff Product Manager - Governance & Security → https://grnh.se/ef4098687us

Staff Software Engineer - Control Plane Core → https://grnh.se/9612b42f7us

Senior Software Engineer - Cloud Infrastructure → https://grnh.se/7e95c2ed7us

Senior Manager, Commercial Sales → https://grnh.se/0b3d09097us

US benefits include: Unlimited PTO, 12 Holidays + 2 Floating Holidays, 100% Premiums Coverage for Medical, Dental, and Vision, AD&D, LT & ST Disability and Life Insurance , Empower 401K Plan, Additional Perks for Learning & Development, Lifestyle Spending, In-Home Office Setup, Professional Memberships, WFH Meals, Internet Stipend and more! Benefits outside the United States vary by country.

Apply here https://www.temporal.io/careers/
Location: Cork, Ireland

Remote: Yes, Hybrid or On-site

Willing to relocate: Yes

Technologies: Java, Spring, JUnit, C#, .Net, dotNet, PHP, Laravel, Javascript, NodeJS, Express, Docker, Kubernetes, New Relic, Elasticsearch, Git, GitHub, BitBucket, HTML, HTML5, CSS, GO, GO Lang, Google Cloud Platform

Résumé/CV: https://drive.google.com/file/d/1ArtgprpVirrUhv91j0EI6qYnYio...

Email: wombat-parade.0c@icloud.com

With over 9 years of experience as a Software Engineer, I bring a wealth of expertise in backend development, clean code principles, and the creation of robust test suites. Throughout my career, I've demonstrated a knack for quickly mastering new languages and technologies, enhancing code coverage, and streamlining deployment pipelines. Notably, I've led technical initiatives that significantly reduced integration times and boosted production deliveries. My hands-on experience spans a range of technologies, including Java, C# and Javascript, alongside proficiency in cloud platforms like AWS and GCP. I thrive in dynamic environments, fostering collaboration and knowledge-sharing while delivering impactful solutions aligned with business objectives.
I'm confused by your alt key navigation in paint. I just opened paint and it still supports alt+key to do things in Paint.
SEEKING WORK - Dorset, UK, remote - mathematician

Hi! My name is Colin and I am a mathematician. I love solving problems and communicating the solutions.

Looking for short- to medium-term contract/consulting work, but open to discussing other opportunities.

Location: Dorset, UK
Remote: Only
Willing to relocate: No
Technologies: Go, Python, versatile
Résumé/CV: https://www.dropbox.com/scl/fi/7rz657fdb5bwtlap5kqhn/CV_Coli...
Email: colin@colinbeveridge.co.uk
Why are you hallucinating 'genre-cringe'?

The characters aren't exactly well developed, there's lots of pretty silly gratuitous sex scenes, etc. It's been about twenty years now since I've read the book; and, sorry, I have no desire to re-read the thing to give a more in-depth review. You can find critical reviews online easy enough.

To be honest, the genre is the one thing that kept me going.

It's ok, if you like Mr Gibson's writing. Tastes differ. No need to feel personally attacked. Not everyone is out to get 'your' genre.
I had the opposite. My wife and I sat in front of a lady hacking and blowing her nose on a 6 hour flight. A few days later my wife was sick and tested positive after 2 days. I was sick a day later, same symptoms, and never tested positive once after 3 tries. Possible we were sick at the same time with the same exposure with 2 different things? Maybe? But unlikely to me since we'd been on vacation together and to the same places for the last 10 days. Both of us were in the mild symptoms/cold symptoms range, so I also wonder if a home test just wasn't sensitive enough for me to test positive on for some reason.
That middle manager will be many things, but likely not poor after they agree to take the fall.
I believe the website will be wrong about your case. But nevertheless, I believe it's right in 99.9% of cases :)
Inside the US government’s brilliantly boring websites
I'm not using any hard definition, but by "entry level" laptops I meant low RAM, average-to-low CPU power, low-resolution screen (do you remember 768p screens? I've used that for more years than is acceptable to human dignity [1]), and if an external monitor was given, it was 1080p at best.

And this was for development.

As for the Oculus, I own an Oculus 2 and recently tried an Oculus 3, and while I don't know if calling them "entry level" is fair, I definitely wouldn't want to do any serious work with them, or spend a long time wearing them. For (some) gaming? Sure. Though I get dizzy easily. I do enjoy Beat Saber though!

--

[1] for some reason, hardware procurement at most jobs I've worked (until relatively recently) had it backwards. They thought higher screen resolutions were for "watching movies and playing videogames", while lower resolutions were for "serious work". In fact, it's the opposite: 720p is more than enough to watch movies on a tiny laptop screen, while productivity requires more screen real estate! And as for videogames -- average GPUs at the time I was having these work discussions struggled with anything more hi-res than 720p, so thinking that higher resolutions were "for gaming" was a total logical disconnect. Oh well, I cannot complain now; since the advent of the MacBook for Serious Work (tm) all of these problems seem to have gone away.
Location: US & Europe

Remote: No preference

Willing to relocate: Yes

Technologies: Functional programming, type systems, language design, compilers, parallel programming languages, GPU programming, Haskell.

Résumé/CV: See https://rschenck.com

Email: See https://rschenck.com

I'm a soon-to-be-graduating PhD student at the University of Copenhagen looking
for either an industry job or a postdoc. My PhD work has been on the functional
array programming language Futhark (https://futhark-lang.org/), including work on the type system (sum types, rank polymorphism) and automatic differentiation. I'm broadly
interested in all things type systems/functional programming/compilers/language
design. I can work in both the US and the EU without a visa.
Supreme Court says presidents have 'absolute' immunity for clearly official acts
Location: Dorset, UK
Remote: Only
Willing to relocate: No
Technologies: Go, Python, versatile
Résumé/CV: https://www.dropbox.com/scl/fi/7rz657fdb5bwtlap5kqhn/CV_Colin_Beveridge-2.pdf?rlkey=e53nx1o6oxk7mlnj2jzxlorif&st=i6j1gdku&dl=0
Email: colin@colinbeveridge.co.uk

Hi! My name is Colin and I am a mathematician. I love solving problems and communicating the solutions.

Looking for short- to medium-term contract/consulting work, but open to discussing other opportunities.