jfoutz

That makes so much sense.

Any book that gives a full pdf preview, I’m at least considering purchasing. I don’t want to take money out of the author’s pocket, but this,

> Printing has been disabled from within this pdf file, so although you can view the entire book, you will not be able to print it.

Yeah, I don’t believe that. The goal of the author is admirable. I feel like they got fooled somehow, but maybe they do understand and are just hinting that if you’re going to read it, kick them some cash.

I dunno. The specific mechanism of a reporter uncovering some bad actions and spreading the word on TV, may not hold up so well.

Corporation creates advertisements with, uh, bad side effects, and their own employee calls them out on it. That seems, pretty modern.

A good chunk of it is horribly dated. but some parts seemed really fresh. I think I rewatched ~ 4 years ago.

This reminds me of this reddit question https://www.reddit.com/r/askmath/comments/1eakt5c/if_you_pic... "If you pick a real number from 0 to 1, what is the probability that it is rational?"

and the first response, " With a uniform random process over an interval (a, b), you can find the probability of picking an element from a set X by integrating 1/(b - a) over the set X.

Since the (lebesgue) integral of the rational numbers is 0, the probability of picking a rational number is 0. " And that kinda broke my brain for an afternoon.

So, when a computer represents a number, it's always rational. You can have a lot of memory, but always finite.

Now, you can go further, and represent things symbolically, like sage math or a bunch of other systems. But (I believe) at the end of the day Godel always wins. There are always true statements that can't be proved. If I remember right, computable stuff is a subset (maybe improper?) of provable stuff.

Looks interesting. Thank you for posting it. I'll try to read it later. Although, I'm a math tourist. I probably won't be able to give you any grand insight.

True. How would you modify it to get the point across?

Or am I crazy, and there is no point to being careful with alloca?

just don't do this.

  int a(){
    void* mem = allocal(some_number);
    b();
  }

  int b(){
    a();
  }

if a() is a leaf (or can be trivially inlined) it's fine!

on the other hand, if a() calls something else, that's complicated, it's way way harder to figure out why you're crashing. I think you'll segfault as a() eventually overwrites malloc'ed memory. but different systems are going to have different characteristics.

It's not that you can't, you just have to be real damn smart and make sure no one ever messes with your code.

or you can just make sure it's a leaf. much easier rule, much easier to explain.

yeah. Leaf is a good rule of thumb, but if you need a little helper to do something it's generally fine.

you really do need confidence the little helper can be fully inlined. if the helper is out of your control, and someone greatly expands its responsibility, it can suck.

So, yeah, effectively a leaf.

So the massive stack grab isn't permanent.

Conceptually, if the compiler could just inline all of the child calls, it's fine. But if this call won't return for a long time, or may be called again (even worse). You're setting aside stack that you'll never get back. Which is a memory leak, and your program will crash.

Isn't this just insurance?

Medicare takes care of the very very expensive end of life care.

but like, we all chip in, Some of us get very sick or hurt and there's no way to know up front who it might be. So, we all pay a little and that 1% is taken care of. Because that 1% might be me.

This is how it works. We could save money by sacrificing that 1%, but that's a pretty nauseating idea.

I don't remember the specific version (s) I played. I remember being kinda depressed and burned out.

Although I didn't discover them, water ladders and cart boosters were so much fun. That feeling of almost cheating, using the bugs in the system to do magic things was so much fun.

I'd definitely credit Minecraft for rekindling some love for hacking, in the classic, non crack sense, but, matrix like, bending the rules to do NEAT stuff.

Then mods, pipes and auto crafting, bigger stuff.

I remember when tool damage was introduced. I was annoyed, but it was ok. I think around the time of food/hunger it started losing its luster. grow potatoes or butcher cows and pigs. it was ok. But that's the time I started drifting away.

Just an amazing game that brought me joy. good stuff.

I'd think the inflation adjustment is regulation. but perhaps the law exists somewhere.

I'm not in any sense a lawyer. I don't have the time or inclination to read all of title 47.

I wonder how well the FCC will stand up after Chevron. The AM bits I glanced at look really solid, this is a band, this is a channel this is the maximum rate of amplitude change, tidy technical details spelled out by congress.

But like, the PIRATE act is pretty explicit, 100,000 per day 2 mil max. Perhaps there's some other law that allows the FCC to adjust for inflation. but the bill, as I the non-lawyer reads it, doesn't say anything about inflation.

Seems like they could lower the fine a bit, at least.

I think they're way off with billions.

I do think there are a mountain of AD servers out there though. Not sure I care to quantify exactly how many makes a mountain. but I'd think 2 commas for sure. more than a million? less than 100 million? that seems like the right ballpark.

Interesting.

At the moment it's very very slow.

I was able to eventually load and click through to see broad details about a crash.

Pretty impressive collection of data.

This quote might help - https://en.wikipedia.org/wiki/Von_Neumann%27s_elephant#Histo...

yes, a fun problem, but also a criticism of using to many parameters.

I've not used it in anger, so take it with a grain of salt.

it sorta gives you a kernel space VM. you can inspect the state of things, make decisions about that state, and react to those things.

for example, you could look at uri requests coming into your web server. if it's not a known good path, reply back with a canned 400 - without ever hitting the web server. you can do this in the kernel.

_edit_ I think this particular trick would only work with http. the web server still has all the glue to decrypt the incoming request - but you could probably hook into ebpf at that point.

I read about these in the foundation novels. No idea Asimov had stolen the idea! Borrowed I guess. That’s amazing, thanks for the link.

For various reasons Armageddon is one of my favorite movies. Action/comedy, not exactly _good_ but I find it enjoyable.

I bring it up because of the Fictional mission commander talking to the president,

> Begging your pardon sir, but its a big ass sky.

You quoted this part,

> Take chances, make mistakes, and get messy.

But then seemed to indicate evolution disagrees.

I might be misunderstanding your point, but it sure seems like, evolution tries a bunch of stuff, and whatever reproduces kinda wins.

That seems like, take chances, make mistakes, get messy. That seems like the core of evolution.

Could you clarify or refine what you’re saying? The two seem at odds.

Fascinating, for whatever reasons, I thought they were years ahead, and Nvidia’s (and apple) only option.

Thanks!

TSMC apparently doesn’t charge nearly enough for their services.

completely unrelated (pretty much)

But this is still one of my favorite parts of the internet - https://lcamtuf.coredump.cx/gcnc/ amazing, information dense guide to actually making stuff. I reached out once to the author, who was patient and kind.

I get through my days, I make stuff I do stuff, and I'm generally content with that. The author, lcamtuf, from my very limited interaction seems "extra". Maybe it really just is writing stuff down. Maybe I should do more of that.

I think you might be missing a little part of, market vs free market.

There are many opinions, of course.

Subsidise what you want and tax what you don’t is pretty popular, based on what people actually do.

I very much wanted to make the, have a navy and invade everyone, joke. But this isn’t Reddit.

I’m not sure how this all works going forward. There were some plausible arguments about protecting artifacts, the uk was pretty stable in comparison.

This article seems to make it clear, that’s no longer the case. If you have some money, seems like you can bribe out whatever artifacts you want.

Did you try math? You can shallowly cover miles and miles of math. And extend it every day or month or whatever works for you, forever.

zz? Only one esc, but definitely a colon. vim is weird. Works for me, but I understand it’s not suitable for everyone’s tastes.

I think humanity in general are only dimly aware of this space. The Research section is probably your best bet about what's different. I think your questions are what academics call "open".

Lately I've been dabbling with lean. pretty tight vs code integration. I don't know why I keep getting pulled toward dependent types, like a damn moth to a flame. I get a little scorched, then, oh I should try ...

But yeah, compiler checked properties are something kinda magical. Even more when you can specify the property to check.

Fast. Fast always wins. Trying something, regardless of outcome teaches something about the world. The more trials, the more you roll the dice, the more you learn.

I really hate being wrong, but it is much better to be wrong a lot, and quickly understand why. The alternative is to try nothing. It’s kinda sad.

Stratasys? I’m not sure about pricing, and the website won’t say.

However, a bunch of places rent out time on those machines. Draw up your rocket, and get a quote. Price is generally cc^2 volume

Metal is not cheap. Make a few out of plastic to verify dimensions.