skysight-inc/HackerNews huggingface dataset:
For a while it was the only place where burning coal to power an (early, inefficient) engine made any economic sense.

There was an ACOUP piece linked on here recently that did a pretty convincing job of explaining that you needed the twin circumstances of (relatively) deep coal mining (which means you need existing substantial demand for coal unrelated to powering engines) and a lot of effort already being spent on developing pressure vessels (say… a long-running arms race for better and more-powerful cannon) to both get the Industrial Revolution at all, and to see it develop so remarkably fast as it did. Absent the former, it just doesn’t happen, and absent the latter, it’s a lot slower to get going.
In Quebec French, the general motif for swear words is to use church related terms [0].

Common examples:

* câlice [kɑːlɪs] (calice): "chalice"

* ostie [ɔs.t͡si] (hostie): "host" - as in sacramental bread

* tabarnak [ta.baʁ.nak] (tabernacle): "tabernacle"

[0]. https://en.wikipedia.org/wiki/Quebec_French_profanity?wprov=...
Maintenance as in, when you change the program you have to update the proof. This is easier if you can keep them modular.
JavaScript Promises from the Group Up
Even if Lisa Su said this at the Zen 4 launch, it is not likely that 512-bit operations are split into a pair of 256-bit operantions that are executed sequentially in the same 256-bit execution unit.

Both Zen 3 and Zen 4 have four 256-bit execution units.

Two 512-bit instructions can be initiated per clock cycle. It is likely that the four corresponding 256-bit micro-operations are executed simultaneously in all the 4 execution units, because otherwise there would be an increased likelihood that the dispatcher would not be able to find enough micro-operations ready for execution so that no execution unit remains idle, resulting in reduced performance.

The main limitation of the Zen 4 execution units is that only 2 of them include FP multipliers, so the maximum 512-bit throughput is one fused multiply-add plus one FP addition per clock cycle, while the Intel CPUs have an extra 512-bit FMA unit, which stays idle and useless when AVX-512 instructions are not used, but which allows two 512-bit FMA per cycle.

Without also doubling the transfer path between the L1 cache and the registers, a double FMA throughput would not have been beneficial for Zen 4, because many algorithms would have become limited by the memory transfer throughput.

Zen 5 doubles the width of the transfer path to the L1 and L2 cache memories and it presumably now includes FP multipliers in all the 4 execution units, thus matching the performance of Intel for 512-bit FMA operations, while also doubling the throughput of the 256-bit FMA operations, where in Intel CPUs the second FMA unit stays unused, halving the throughput.

No well-designed CPU has a FP addition or multiplication latency of 1. All modern CPUs are designed for the maximum clock frequency which ensures that the latency of operations similar in complexity with 64-bit integer additions between registers is 1. (CPUs with a higher clock frequency than this are called "superpipelined", but they have went out of fashion a few decades ago.)

For such a clock frequency, the latency of floating-point execution units of acceptable complexity is between 3 and 5, while the latency of loads from the L1 cache memory is about the same.

The next class of operations with a longer latency includes division, square root and loads from the L2 cache memory, which usually have latencies between 10 and 20. The longest latencies are for loads from the L3 cache memory or from the main memory.
If you can recite the black letter law, you've got a good chance of passing the bar. The higher essay scores usually require creative arguments about resolving competing rules and policies.

It's easier to extract the formal statement of the rule against perpetuities from a reddit corpus, than to apply the rule to an artificially complex fact pattern in an essay question.
What stopped an industrial revolution from cooking up in China? Too much labor? Too little coal? Too many wars?
I don't recommend spending time on this. It doesn't teach you the right things. The problems you'll be solving in this "game" do not relate to the problems you actually need to solve when you actually need to do something with CSS Grid.
> happy to pay Spotify for their collection, new music discoverability, and availability, while also hating their podcast junk

Spotify is fast entering that size of product where users who use it most all use different subsets of features. I’m there for the music and just thinking of Spotify as a podcast player feels weird. Yet I have friends who use it for nothing but podcasts.
Trellis -- AI/ML Engineer | Remote (both US and international) | trellis.law

We are looking for a senior/staff engineer who has experience building search systems to join our data science and machine learning team. The kinds of things we envision this hire doing:

* Leading and guiding other engineers in development of RAG/semantic search pipelines.

* Leading development of an engine that takes legal questions and parses them for intent, keywords, etc.

* Leading development of a suite of LLM-based tools and the development of ML systems to evaluate them.

* And more!

Please apply here: https://jobs.lever.co/trellis/b76fa20e-8bf4-4d6e-a716-200f36... (you can mostly ignore the job description there, it needs updating/refinement)

Tech stack: Python/Django; AWS; Postgres; Elasticsearch; Redis

About Trellis: Trellis is one of the only modern, searchable, and aggregated sources of state trial court filings around, and we are actively expanding to include Federal court dockets as well. If you have never before tried to search state court dockets, you probably aren't aware of how difficult it is to find what has been filed in public court cases. Trellis is filling the gap and modernizing the space. Our customers range from solo practitioners to some of the largest and most prestigious law firms in the country.

I am happy to answer any questions here, or via Discord DM (ss1515)

If your experience is on-point, I'd be happy to forward your CV to the hiring manager directly.
Gruntwork | GoLang Engineer, Marketing Manager & Sales Engineer | REMOTE (North American Timezone) | Full-Time | https://jobs.ashbyhq.com/Gruntwork

Gruntwork (gruntwork.io), the company behind Terragrunt, Terratest, Boilerplate and more is on a mission to transform the way DevOps is done. We are globally recognized both for our open source tools used by thousands of companies from startups to Fortune 500s, and our thought leadership on how DevOps should be done.

We're actively hiring 3 roles

Senior GoLang Engineer for OpenTofu - https://jobs.ashbyhq.com/Gruntwork/a6b852e6-2ab6-4eaf-b643-3...

Senior Product Marketing Manager - https://jobs.ashbyhq.com/Gruntwork/cd52f63a-aaf8-43a4-9c33-a...

Senior Sales Engineer - https://jobs.ashbyhq.com/Gruntwork/48a3b31c-ccfa-49b1-a553-f...
> Out of curiosity, what took you 10 years

That's not the first release, that's "just" 3.0, they released QStudio 1.25 in 2013 (their first blog post) https://www.timestored.com/b/qstudio-kdb-ide-1-25-released/
I've found that Deezer and Apple's discovery to be equally good. But then again, this is very personal in how good it is.
Your analogy is wrong in both characterizing the problem and offering a solution:

1. The majority doesn't want this just because they fail to protect their data properly

2. Defaults matter and having an option doesn't imply perfect awareness/disabling by that non-majority group

So at most you've somewhat reduced the affected group while still not addressing the original issue why you think it's ok to ignore the non-majority (It also doesn't address the video calls)

So no, your comment answered none of my points
Most companies become big despite of bad practices not because of them. So remember that when the next hype CEO talks about their management styles.
> These are not hard to meet, nor should they be.

But hard for a random url-elongator site to meet.

> Registrants are required to certify that they meet the following eligibility requirements when registering a .NGO or .ONG domain name:

> 1. Focused on acting in the public interest. [...] work for the good of humankind and/or the preservation of the planet

> 5. Active Organizations. Members of the .NGO and .ONG community are actively pursuing their missions on a regular basis.

> 6. Structured. Members of the .NGO and .ONG community, whether large or small, operate in a structured manner (e.g., under bylaws, codes of conduct, organizational standards, or other governance structures.)

Clearly this site doesn't qualify.
Your reference is purchase, not ownership, and for select locations.

The 2-3% number is comprehensive nationwide data.
Are you saying that this will take a few hours for somebody who doesn't know what Hetzner, Navidrome, or Feishin are, or are you implicitly speaking to the subset of HN with experience broad and deep enough to already have the skillset represented by this stack?
Does there exist a solution for ripping music from Spotify?

It strikes me as being a relatively simple project, especially given the existence of the web UI, but somehow it's very hard to find. All projects taken down by DMCA?
For the "photons per bit" question, the useful throughput of 140 bps is the only thing that matters.

For the "how many photons are needed" question, I agree that 320 baud (i.e., the effective analog bandwidth of 320 Hz) should have been used for the Shannon-Hartley calculations.
This is basically it for me

Spotify integrates cleanly with my Android Auto so I can use it to listen to my playlists on my car speakers when driving

I don't want to have to hack something together to do that myself
The "Get a Mac" campaign is old enough to vote at this point. The ads poked fun at Windows Vista. Interesting that it still lives rent free in the minds of Apple's competitors.
Lol

From one botnet to another.

I hope your library includes "Head Like A Hole".
I had trouble getting the Python scripting working in FreeCAD, so I kind of blew it off after that. I haven't used the Fusion360 Python stuff.
> You can't use Tailwind without knowing CSS or learning CSS in the process.

Disagree. Tailwind abstracts lots of CSS away; you can get away with using it with only having a surface level understanding of CSS.

As we know, a little knowledge can be a dangerous thing, especially in web development.
as a previous contributor and user, I would not recommend.

as a project in the GitHub aws organization, it can not accept non amazon external maintainers.

as a project, it has a single maintainer, doing on average, an hr every few months.

as a result of both of those , its not able to keep up, or reach critical mass on community.

it has fallen fairly far behind current lambda feature set. for a simple throw away, its okay, but if you want to grow something or take advantage of new features in the underlying service capabilities or integrations, this is a dead end.

I filed this ticket a few years ago https://github.com/aws/chalice/issues/2067
I'm not one to boast, but at least my Rust code doesn't do that much. Feel free to have a look, basically all the professional Rust code I've ever written is free software.

Rust is a lot better than GC languages at memory usage, and (because borrowing is actually safe) a bit better than C++.
> foot is a lightweight terminal emulator designed for Wayland, focusing on minimal resource usage while maintaining performance.

https://codeberg.org/dnkl/foot

For those out of the loop
Language is a very useful tool. However, it’s also just a model/description of what we experience through our perception

It’s hard to let go of language

But it’s an amazing experience when we can stop it from mediating or even interrupting, our perception of the present moment

Just being, just here, just now

Thank you for the reminder
Location: Dubai, UAE

Remote: Yes

Willing to relocate: Yes

Technologies:Technologies:
- Languages: Javascript, Typescript, React, Python, SQL/Postgres
- Frameworks: Next.js 13/14, Hono.js, open to learn more
- Systems: CI/CD, Postgres, Redis, Serverless, Cloud Architecture, Web Crawling, Web Scraping, Docker, Supabase
- Platforms: Vercel, Cloudflare Workers/Pages, DigitalOcean, Heroku, Render, Railway, Supabase and more
- Others: TailwindCSS, RadixUI, react-aria-components, CVA, Figma etc.

Résumé/CV: https://bento.me/shafu
FreeCAD does a better job of it than OpenSCAD does, yes. ;) Agreed on all points; the reason why the rules you describe are the way they are make sense to me, and I could use FreeCAD if I had to. But I pay for Fusion because it's worth it to me.
SEEKING WORK | REMOTE | I am helping analysts BI professionals to use technical & industrial data

* Location: Germany

* Remote: Yes, I’m self-employed and work remotely.

* Site: https://orellgarten.com

* LinkedIn: https://www.linkedin.com/in/ogarten/

I have done several projects for small and medium businesses and as well as large enterprises. I have build custom data and software solutions (mostly with Python) to ingest , transform and harmonize device and machine data (logs, sensor values, ...) for later analysis.

Open for all kinds of projects. Just send me an e-mail at hello[at]orellgarten.com
Show HN: Brioche – A new Nix-like package manager
This is a project I've wanted to write for a long time now. I really love the ideas from Nix and I still have a ton of respect for the project, but Nix-the-language never felt intuitive to me and I wanted something with more approachable tooling (although this was circa 2016, so I'm sure Nix has improved a lot since then too-- that was before Flakes were around!)

Anyway, I started on the current iteration of Brioche about 6 months ago, and I finally cut an initial release. I'd still consider this a "technical preview" version (performance especially is pretty painful, so that'll be a focus of mine in the coming weeks). But it's finally at a point where it does work end-to-end and folks can take it for a test drive!
> Not all people on Earth exist in the present

Correction: That should be, "Not all people on Earth who have existed in the past or will exist in the future exist in our present."
Location: Poland
Remote: Yes
Willing to relocate: No
Technologies: AWS/DevOps, Python, SQL, Linux, Docker, etc
CV: https://drive.google.com/file/d/1Q99ZTY7rq57q- lSkrtbZRDs_iFmq1bbM/view
Email: job [at] nowak [dot] ninja
Other: working on B2B contracts
The only way I ever listened to as many artists as I do on Spotify is through borrowing friends' hard drives to copy their music, and my selection was much more limited. Spotify pays the artists something and it lets me know when there are concerts too. I'm not saying it's good, but it is uniformly better I think.
It made no sense to burn expensive coal to power an engine until you run into the problem of needing to drain coal mines, because you already have so much demand for coal that you have started to need to do that.
There are a million way I'd like improve Spotify (mostly implementing better management of the music I already like rather than funneling me towards new music) but I also remember a time not too long ago when hearing a new album was much more expensive and difficult. I used to pay $17 a pop for new CDs regularly, and as a kid in the 90s, that was real money! We might argue that the current equilibrium is unsustainable for and unfair to artists, but for consumers, Spotify/priced streaming is a huge advancement.
That’s odd. I was just talking about how Spotify falls into the same cul du sacs that all similarity based recommendations fall in. Like it might show you some decent stuff for a few days if you give it a hard kick by finding something outside of Spotify first, but soon it’s the same three bands and two albums.
> I've just never been able to get the hang of mouse controls, even in Fusion 360

I use a spacemouse and sidestep the whole thing. ;)
Astronomers use "Julian Days" and "Julian Dates", but they are not at all based on the Julian calendar. They are just a linear count of days which is easier to plug in to algorithms. It is quite similar to the Unix Timestamp, and it is quite easy to convert between the two: jd =(unixT / 86400) + 2440587.5; [1].

But astronomers have to deal with the non-uniform, unpredictable rotation of the Earth in some way. Leap seconds only help a little, and predictions can only be made a few months into the future, so it is necessary to download the latest Earth Orientation data from the International Earth Rotation Service [2].

E.g. For the Apr 8 2024 solar eclipse, some popular camera control software packages had old predicted values for the Earth's rotation. Some due to the authors not updating them, some due to old installations that didn't update the data automatically. That caused people who didn't notice the discrepancy to miss their shots.

[1] https://celestialprogramming.com/julian.html

[2] https://www.iers.org/IERS/EN/Publications/Bulletins/bulletin...
Cradle Health – reversible whole body cryopreservation
"We're building reversible cryo technologies. Think the hibernation pods you see in space movies for long-term travel - we want to build that.

We’ve raised $48M, built a world-class team of scientists and engineers, and achieved electrical activity in previously cryopreserved neural tissue."

From twitter (https://x.com/LauraDeming/status/1797641862309937627):
…working for a Bank in my experience has been like working for a mining company that hired you to mine Bingham Canyon and, as a tool, they only gave you a plastic spoon, but remember, you have to request it first as soon as you start to work. Despite how useless the tool might sound, it is what has been approved. You have to mine x amount of material in y months, but, to achieve that you identified that you need a bulldozer, which cannot be used since it is not approved. Nevertheless, you request it, but, it might get approved in a year. Besides that, if you require some extra hands to achieve some minimum quota requirements, you have to bring underpay external contractors with more plastic spoons and pray you could meet next month’s quota.
I’ve used SongShift in the past to do just this, https://apps.apple.com/us/app/songshift/id1097974566.
Cancelled years ago. What they call innovation is re-inventing the UI and making it actively worse (which led me quitting). They don't understand that I just want shit to work as efficiently as possible in the background.
Depends on your definition of simplicity.

Some view simplicity more as minimizing lines of code, e.g., less moving parts.

I view simplicity more as increasing lines of code, the goal being to make the code very verbose. Sometimes this means more moving parts, but smaller "movement" at each step.

There are other views of simplicity as well.
I know a guy who invested 60-70k in hosting servers and started a startup in cloud computing. He makes around 6-7k a month so around 4-5k after cutting all the costs (basically a salary since he maintains that all day long). I think it's a fine business even in the modern times, but the market is probably oversaturated and it's kinda hard to get consistent revenue since if you raise the price, most people will leave you and you kinda need to be trusted to have a company buy a lot of computing power from you.
It isn't rent free anymore. I was a 100% Windows person and when it came time to get new laptop there weren't any Windows PCs that even came close to the Mac for me. Getting used to the window management on MacOS is the only issue I have.
3Play Media | On Site (Boston) | Full time | https://3playmedia.com/

I lead the recorded engineering team at 3Play Media, a company dedicated to improving digital media accessibility. 3Play Media is a rapidly growing, profitable technology company revolutionizing how people consume online media. Our premium live captioning, transcription, audio description, and translation solutions serve over 10,000 higher ed, enterprise, media, and government customers.

The recorded team builds and maintains the marketplace between customers and our vast contractor base, ensuring that our users can integrate with their preferred media hosting site (think Youtube, Vimeo, AWS S3 and more). We build ordering workflows, allow our operations team to manage those orders, and release work to our workforce. Captions then gets seamlessly delivered back to our customers, directly where they host the media.

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

- Proficient with backend systems: we have Ruby on Rails application, hosted on AWS

- Comfortable integrating designing and integrating with APIs

- Excited to interface with internal and external stakeholders

Please reach out to me with your resume: ian at company domain.
> doing so benefits both themselves and these streamers

And annoys the hell out of everyone else that just wants to watch people playing video games.
Are you sure? I don't see such a book at https://mitpress.mit.edu/author/gerald-jay-sussman-2078/. I'd be very interested to read it if there is one.

Functional Differential Geometry is about the maths required for field theories but focuses on relativity as the main example.
No, he's not a rector because he has a high H index - he's rector because he was the only candidate who applied, and if there was a competition, that factor is barely relevant, the candidate would get chosen by a faculty subjective vote, not according to score on some metric.
location: Pennyslvania, USA
Remote: Open to any
Willing to relocate: Yes

Technologies:
* Python, Flask, FastAPI, SQLAlchemy, Celery, Click, HTTPx, AnyIO, BeautifulSoup
* JavaScript, TypeScript, Vue.js, PWA, Astro, Directus
* OpenTofu/Terraform, Ansible, Docker, Linode, Proxmox, FreeNAS, AWS

Résumé/CV: https://michaeltoohig.com/michael-toohig-resume.pdf
Email: hello [at] [mydomain]
Website: https://michaeltoohig.com

I am a full stack developer with preference for backend work nearing a decade of professional experience. Recently repatriated to the USA after my wife got her green card last April. Prior was working in my wife's home country and had my own consultancy building various software solutions for local businesses and for contracts. I worked from whiteboard to deployment and comfortable up and down the stack from devops to frontend. I've built a number of systems from web scrapers, GIS applications, VOD streaming services, data processing pipelines and offline-first progressive web apps.
You're mistaking me arguing normative vs. positive. Those voters support those things because they are not forced to bear the costs.
The announcement mentions continued innovation.

Other than their recently added AI DJ, which is basically just a slightly tuned shuffle algorithm, I'm not seeing it.

On the contrary, Spotify lacks a lot of features that were in applications going back decades, i.e. winamp, foobar2000, etc.

It actually blows my mind how limited their feature set actually is. It's like the I-pod Shuffle of music software.

And on another note, I actually had to remove Spotify from most of my devices because streamers started abusing the podcast feature by uploading their youtube content as podcasts. My kids figured this out, and there's no way to disable podcast content through parental controls, or otherwise.

https://community.spotify.com/t5/Premium-Family/How-can-I-fi...
Even to the extent of giving hints, you create an unhealthy learning environment. “You have the potential of being smarter (higher IQ), so no help for you. Go figure it out yourself because we’re fairly sure you can.” vs “Oh you poor dumb fool. You’re obviously never going to be capable of supporting yourself so we’ll make sure to carry you there with these extra handicaps. Don’t worry about trying to work harder, we don’t think you can.”

Over dramatized but you get the point. One group is mad about the support the other gets. And that other group loses incentive to really try for things since the solutions, or at least the paths to them, are always sitting there waiting.