skysight-inc/HackerNews huggingface dataset:
The Mars trilogy offered a few very interesting ideas of economics. Since its a new place people are free to experiment with newer more radical power structures and economic approaches.

What the author proposed and explored was a mandatory investment the compony you work for. E.g there are no employees at all just shareholders, and the minimum share you can have is regulated, thus limiting the size and structure of any organization.

To be “employed” you have to buy into the company. Since you have advance automation in the universe of the books it seemed actually possible.

All fascinating ideas, their implications, upsides and downsides were explored in the trilogy.

And I’ve wondered since, can this be a solution to a lot of our current woes, with automation looming as a potential societal issue as well?
How can you outlaw paying more than 50x to a CEO? Aside from the blatant government overreach, how would you even make it work? What if the equity ends up being worth more than that? If you solve that by not paying in equity, but only cash, now you have an even bigger incentive alignment problem.
Just another round of divide and conquer to avert the plebs.

Don't look at us, it's the old folks. Look at how that homeless boomer grandpa is stealing your cookie.
Yeah, people don’t need lectures. They just need to be heard, and feel the connection that listening without feeling judged builds.
Kudos to you for making the effort for your friend though too! People don’t do that often enough.
https://www.riscosopen.org/
It doesn't matter. Patents are a method by which huge companies can bully startups.

Companies the size of Apple get away with any and everything.
Shadeup, shadertoy like site for WebGPU
From my understanding, this is the exact model Crunchyroll used too to gain a virtual monopoly on anime streaming.
never had a need to graph a function on my calculator

Some people are more 'visual' thinkers. I've always found that plotting a function or a system of equations or whatever I was working on to be the easiest way to understand what was actually going on. Ever since I got a graphing calculator in high school, I used the graphics and plotting features all the time to help visualize math problems.
What is the morality of thinking anyone is allowed to fully control my machine? I guess I'm showing my age, but browsers were _user_ agents, once.
ReactOS Newsletter 102 – 2022/2023 News
Yeah, figurehead is definitely part of it. Kinda like when you hire a consulting firm to tell you about problems you already knew existed. They're not actually telling you anything new, they just provide useful cover for whatever actions you already wanted to take. Also:

- Nepotism / boy's club – everybody is kinda friends / in the same circle. Once you get in, you're mostly in for life.

- Modern financial instruments allow the smartest person in the room (i.e. hedge funds, etc) to make money on either side of the inflection point. Doesn't matter if a bad CEO tanks the stock price if you expected that to happen and are the one with puts while the rubes (retail investors) are holding the dwindling stock.
GlazeGPT: AI data copilot fine-tuned on your database schema
This is also a part of why I am somewhat fascinated by the idea and the state of Lean4 and mathlib in Lean4. People put more and more formally verified proofs into mathlib, which in turn makes formally proving further theorems in mathlib easier.

If you start with nothing (like in the numbers game), simple proofs are a lot of ... just effort, because you have specify a lot of rewrites and overall work. In mathlib, however, systems like simp (the simplification system) or linarith ("There is a solution by linear arithmetic") seem to do a lot of heavy, repetitive lifting by now.

It's a really interesting snowball effect. Sadly, everything I understand is most likely already in there, so I doubt I could contribute meaningfully, haha.
Would love it if there was an easy way to move Google Photos in a Nextcloud Instance
If a channel hasn't make any ad/premium revenue yet, Google still has the content for the cost of supporting the upload--i.e. they got it almost for free.

The fact is, Google takes on no risk and does none of the work of creating content, and takes a 45% cut for distribution, and is free to continue changing their terms to make things worse for content creators.
If you look under Casio's website under the category of "Standard Scientific Calculators" (https://www.casio.com/intl/scientific-calculators/standard-m...) they have some calculators where you can see the input and output at the same time and navigate the input with arrows. I had one that was like the "fx-350ES plus" (https://www.casio.com/intl/scientific-calculators/product.FX...) in high school but they have a selection of newer looking models that support the same kind of many-featured (fractions, exponents, integrals, ...) pixel graphic inputs rather than the simple 2 line LCD.
I've been on the other side of that interview, 2-3 years out of univeristy and asked to interview someone with 10-15 years experience, it was pretty awful. Before that I just interviewed either students (interns) or graduates and asked them basic coding questions.

There's a pretty high chance that the young women was just as unhappy about the situation as you were.
Fusion is silly but at least possible. Unless you have an idea for keeping the black hole inside the phone?
Thanks for sharing. I don't have such good credentials, but I've had my time wasted as well. Now without a written position description and salary I don't agree to the meetings. Seems like a great filter as at least half of the recruiters don't answer
It's OK, but almost impossible to search.

At least when using Google search where double-quotas seem to be not always understood as the "required term" anymore.
This was done in a weekend fyi ( mentioned in the blog post)
The article highlights some at the end for exploration (I also left a summary on another reply if you want a TLDR).

But to tread new ground: not really. Firing is scary for a regular employee because they need to work to live, pay off debts, potentially care for family, and more. Many can't just take off a year without these finances without losing some of these factors. For many still, even a few months of no income can have heavy impacts, especially if we step outside our HN tech bubble.

A quick google tells me that the median CEO makes 20 million a year. they really don't need to work a day in their lives after a mere year or 2 of work. All the above financial factors simply aren't a thing unless their quality of life is insanely lavish (like, a full time crew managing a yatch lavish). What's more, their severance is again, usually in the millions. they get rewarded for failing more money than your average worker will make in their career.

I don't have an answer (none of the answers in the article are particularly good), but we can start by snipping those parachutes out of contracts. Severance's goal is to minimize financial impact to employees when a company downsizes. your average CEO does not have financial impact that a middle class worker would take any sympathies toward.
If you rely on implication to make your point, you should mentally underwrite the risk of being frustrated at people who read what you wrote, rather than read your mind :-)
You can't have worse example than Japan for managment.
They're whole auto industry is currently in jeopardy because of short term risk aversion and being too slow to move into EV segment.
I highly recommended a landing page or a demo, I most certainly don't want to sign up to something I have no clue about.
Currently single digit efficiency so it's still going to be unacceptably hot.
Have a look at Graphlit (https://www.graphlit.com). Managed cloud-native platform for knowledge ingestion and retrieval. Simple GraphQL API, and serverless backend to handle all the data ingestion, embeddings, and RAG LLM patterns. Free tier to try out without CC. (Disclaimer: I'm the founder)
I wish teachers would read that.
We hear about "right to repair" but it will not happen.

It did not happen with companies releasing documentation for writing drivers (except some big ones, but no legal obligation)
[Flagged for spam]
Suggested headline: "Azure CTO gets automated junk mail, just like everyone else."

The justification for that headline is that he wasn't really "headhunted." He was scraped by a LinkedIn crawler and emailed by a mass mailer. It's unlikely a "headhunter" (or recruiter) so much as viewed his profile.
World Solar Challenge 2023
Just that energy and such got more costly. Why should YouTube pay extra cause you feel you had an agreement with them on how much ads there are?
How does the real-world performance compare to other systems like Linux, Windows, etc?
I think that is a very different point than stated.

They said “ medically assisted deaths should be 100%”, not that everyone should have full control and choice. This is a very different point. The former takes what a personal preference to be a universal value, and supposes that an ideal world would conform the their preference, not just have choice.
You’re confusing syntax and semantics. Programmers write code for syntax machines (Turing machines). The computers care a lot about syntax and will halt if you make an error. They do not care at all about semantics. A computer is happy to let you multiply a temperature in Fahrenheit times a figure in Australian dollars and subtract the volume of the earth in litres, provided that these numbers are all formatted in a compatible enough way that they can be implicitly converted (this depends on the programming language but many of them are quite liberal at this).

If you want the computer to stop you from doing such nonsense, you’ve got to put in a lot of effort to make types or contracts or write a lot of tests to avoid it. But that’s essentially a scheme for encoding a little bit of your semantics into syntax the computer can understand. Most programmers are not this rigorous!

Mathematicians, on the other hand, write mathematics for other humans to read. They expect their readers to have done their homework long before picking up the paper. They do not have any time to waste in spelling out all the minutiae, much of which is obvious and trivial to their peers. The sort of formal, syntax-level rigour you prefer, which can be checked by computers, is of zero interest to most mathematicians. What matters to them, at the end of the day, is making a solid enough argument to convince the establishment within their subfield of mathematics.
My dad was setting up local factories for similar pots in several nations in Africa 20 years ago. They sourced local clay and sawdust and provided plans for clay presses. There was a fund that provided the starting capital and the silver solution. The same fund also provided plans and technical help with the construction of locally built rope-pumps. These technologies were used in tandem to provide relatively easy (drinking) water to remote communities.
The most amazing effect was that women from these villages would save a lot of time everyday and used that time for some little side hussling and village life really improved.
Judging by some of the levels of driving around these parts, the brain may be very shallow indeed.
Firstly there's no need whatsoever to be rude even if I'm wrong. It doesn't help the discussion and isn't nice. You also don't know anything whatsoever about what I do and don't know about maths or the definitions of words.

Secondly prospective theorems are absolutely falsifiable. Since a theorem is a statement that has been proven to be true yes they are unfalsifiable by definition - they have already passed that test. That doesn't really generalise to any sort of meaningful statement about the falsifiability of maths. Saying theorems are unfalsifiable is equivalent to saying "True statements can't be proven false". Well, yes.[1]

ie If I say Sean Hunter's theorem is that if you take a triangle with arbitrary sides a b c and angle opposite a of theta that

a^2 = b^2 + c^2 -42 b c cos theta

that statement is absolutely falsifiable (and false), which you can establish with basic geometry and trig[2]. When you demonstrate it not to be true it is not a theorem, so I was wrong to call it that. That is a demonstration of how maths is falsifiable.

[1] Even so it's often possible to make progress via proof by contradiction - showing that if this theorem were not true something else which we know to be true would be false. But in most of my maths books proving all of the theorems is the norm, so they are for sure falsifiable while you are trying to establish whether or not they are theorems.

[2] Drop an altitude from one of the angles at b and c and then use pythagoras and a bunch of cancelling. You will prove that a^2 = b^2 + c^2 -2bc cos theta of course. My statement is only true if a is the hypotenuse of a right triangle meaning cos theta is zero and my incorrect coefficient doesn't matter.
Slightly off topic but you can unofficially program these in C/C++ and make things like this Minecraft clone I’ve been working on: https://media.discordapp.net/attachments/1135251023435415633...
>At the expense of undermining the quality of the rest of the kernel and burning kernel dev time.

It shouldn't undermine quality and it could save dev time and make it more user friendly to write new drivers.

Yes, drivers break over time, but it is better if there is a clear expectation on how long things will be stable and what changes will be needed when you upgrade.
> Nothing quite like listening to quiet ambient or classical piano music and then all of a sudden some giant, roided-out asshole is screaming at me: "LET ME HELP YOU GET RRRRRRRIPPED AT THE GYMMM!!!"

To expand on this I find ads are even on random videos. So you might get one video with no ads followed by a video that has mid-roll ads. There's no rhyme or reason to it. There's no clear expectation set that a video is going to have ads or not, let alone their super obnoxious ads. Ads on YouTube are a total shit show.

There's no aspect of YouTube that makes me think "damn I should watch more YouTube" and certainly nothing that makes me think I should pay for it. It seems everything YouTube does is try to drive me away by being frustrating. Maybe they are because I've fallen into some A/B test group that makes the YouTube experience too obnoxious to use.
Look, just say you’re a cheapskate if you use Adblock and don’t pay for Premium. Just say “I want to get something for nothing”. There are people that refuse to tip because they think the tipping system in the US is immoral. No, they’re just cheap. People are here writing tomes on why they don’t want to pay with attention or $$$ when they’re really just cheap.

Edit: Look if you’re going to downvote, at least provide a coherent rebuttal. K8sToGo already failed in that regard with this gem: “Well since you are not cheap you can just buy premium for all of us. Thanks in advance.”
The author mentions the stock options, which create incentive for success, but points out that the problem is no downside risk. Golden parachutes are counter to those incentives.
Since there is no 'future hardware' announced yet how can you state Nintendo will never provide you with an official way to take advantage of it?
Seems Nintendo regularly re-releases games on new consoles, often with graphical improvements. FI, you can play Zelda Skyward Sword in HD on the Switch.
It's not a lost cause if you want to advocate for it, it might be worth setting up a protest because not a lot of others appear to be doing so, see Holly Elmore and Rob Miles dialogue on AI Safety Advocacy at [0].

[0]: https://www.lesswrong.com/posts/gDijQHHaZzeGrv2Jc/holly-elmo...
I worked for Tapchief about 4 years ago and we had an army of recruiters just scouring through LinkedIn and Upwork who look for interesting profiles and try to convert them to this platform.

What I learnt there was that there exists a market for chrome extensions that will help you send template messages and even blanket responses to all and every person in a certain search criteria. You can scrape the pages from search results and even extract contact details like email etc, if present in your profile. Before chatGPT, the quality of these messages were abysmal. But they've gotten better recently.

I think Amazon hires smart enough engineers to build bots that can authenticate on your behalf and do this for you. Your job as a recruiter then becomes to only filter through the responses.

I would also like to take this opportunity and blame LinkedIn search for giving absurd results. Because this whole process is dependent on finding profiles on their platform.
You know you can buy other products, right? There’re plenty of computer manufacturers that use discrete modules.
To be fair, his first (and best) book was about dynamic pricing of options, and wasn't simply (ahem) derivative like his philosophy stuff.
Adding to this: search for haimgel/Display-Switch[1] on GitHub, which can switch monitor inputs using DDC commands on USB connect/disconnect events. Poor man's KVM :-)

[1] https://github.com/haimgel/display-switch
>How can you outlaw paying more than 50x to a CEO?

Through congress? There's nothing in the constitution against wages at all.

>What if the equity ends up being worth more than that? If you solve that by not paying in equity, but only cash, now you have an even bigger incentive alignment problem.

These people spend years undermining the working class and finding all sort of financial loopholes, I'm sure they can take non-cash benefits into account when drafting such a law. I don't think they will actually do so, but it's far from the realm of impossibility.

e.g. for equity: you set a similar cap on RSUs and require all full time employees to get a certain amount. a CEO can hold no more than X times the amount of RSUs as your lowest paid employee and a portion of gains in RSUs are pooled into some other system to distribute per year as an end of year bonus (remember when that was the norm?).

It's not perfect and I see two obvious holes here (contractors and part time workers), but this is from 5 minutes of brainstorming from a non-economics expert.
Metaphores and analogies are important tools of thinking, even in science, some bear fruits some lead to errors, but we can't know in advance.
They're like self-health books posing as insightful.
Virtually perhaps, physically there's a limit. https://www.viewsonic.com/library/business/monitor-ergonomic... ViewSonic doesn't account for more than one monitor for an ergonomic workstation, and I've never seen it done well myself.
Here's what I do, I use Brave for YouTube and another browser for everything else. Brave apparently bocks the ads and they don't get to spy on me anywhere else but their own site.
They are taking literally HALF THE LIFE of every working person, and you are sufficiently brainwashed to think that that's perfectly normal. Or perhaps you know full well what's happening, but prefer the status quo because you are a net receiver in this situation.

For the rest, your total lack of empathy ("only women can suffer"), twisting of my words ("death squads", really?), and your willingness to kill your husband (irrational, but there you go) means I won't be responding to you in the future.
Yep, but for longer distances the track has a better energy return than running on the road.
Especially that API Gateway used to encompass several more services provided by middlewares than the rather limited AWS one.
You might be interested in the one made by NumWorks (https://www.numworks.com/)

This fits your checklist I think:
- notably more intuitive than the classical Texas Instrument / Casio
- calculations input are shown
- ( not that it seems to matter for you, but it also has python on it )
I strongly echo the sentiment. I had a look at the book earlier and thought 'this is not the way to do anything, let alone linear algebra'.

He may not be Feynmann, but I'd recommend Pavel's Linear Algebra series: https://www.youtube.com/watch?v=Fnfh8jNqBlg&list=PLlXfTHzgMR.... He does a lot of time developing intuition in the early hours.
Improving Stable Diffusion with Better Captions
There's a solution to that: don't take venture capital. Start a micro-SaaS that'll cashflow 10k a month consistently, then you can quit your job and grow that. Grow it to maybe a million a year, sell for a 3 to 5x multiple, then retire (or start something new).
> As I understand, we (European civilization humans) historically _define_ our complex exponential function to have a period of 2πi to match the period of our previously defined sin and cos functions. We could have defined it to have another period — for example, if we define "360° angle" to be equal to 1 instead of 2Pi, and define sin0=0, sin0.25=1, sin0.5=0, sin0.75=-1, sin1=0, we'd also define periodicity of e^ix to be 1.*

No, it doesn't work in degrees.

The definition of e isn't that arbitrary.

2π is the unique period which satisfies the definition of e using derivatives and the extension of real number algebraic laws to complex numbers. This shows up as a real world physical measurement, which I describe below.

The (natural) exponential function eˣ is defined as the unique function which equals its own derivative and satisfies e⁰ = 1 (like other exponentials). The value of e comes from this.

Combine that with the definition i² = -1 and using basic rules of algebra which are observed on real numbers with exponentials and derivatives (such as (xª)ᵇ = xªᵇ) and you find the function eˣ must be periodic with period 2πi.

This comes from sin(x) and cos(x) and their derivatives. The derivative of sin(x) is cos(x), and of cos(x) it is -sin(x), but only if sin(x) and cos(x) are defined in the usual math way with period 2π.

Those sin/cos derivatives and that little negative sign are enough to make them components of the unique solution to the derivative definition of eˣ applied to a complex argument, and thereby fix its period in the complex plane and prove Euler's famous identity (without needing the Taylor expansion).

That in turn has.a more physical basis. Asin(x+B) with constants A, B are the family of functions whose second derivative equal themselves negated.

Physically, it means an object whose acceleration is proportional to its displacement from a fixed position and in the opposite direction will oscillate with a period of exactly 2π seconds, if the acceleration is -1m/s² per 1m displacement.

This setup is called a harmonic oscillator.

In this way, 2π arises (and is measurable!) from physical properties of time, force and inertia, of things moving in straight lines.

No circles required.
No it actually wasn’t. Nebula isn’t sustainable. It’s co financed by curiositystream.