skysight-inc/HackerNews huggingface dataset:
> In SolveSpace, constraints are represented as equations in a symbolic algebra system. In general, these equations are solved numerically, by a modified Newton's method. Some special cases are handled, for any equation that can be solved by forward-substitution, and equations that are soluble alone.

> If the sketch is not fully constrained, then the Jacobian is solved in a least squares sense, with each equation written in such a way as to make the quantity being minimized a useful penalty metric. This tends to yield "less surprising" results when dragging points in an underconstrained sketch, compared to approaches that use weak dimensions to keep the sketch always fully constrained.

https://solvespace.com/tech.pl

Not sure what the Big Players (Autodesk, Dassault Systemes, Siemens, ...) use, though.
Interesting to read that

> In Japan, citizens are required to take lost property to the Koban (police station). From there, it is either returned or stored at the Tokyo hub until claimed.

A few years ago, I found a wallet on the ground and I took it to the police station. (The experience itself was a bit bizarre, they evidently had a "triage" system where you have to use a computer to select why you're there and get a ticket number, then sit in a waiting room until you're called - mostly with people picking up their kids from the drunk tank - this was a sunday morning).

Anyway, the police officer that eventually received me told me that they don't accept lost wallets, and that basically I was on my own if I wanted to figure out how to return it. (There was stuff with the person's name but no address in the wallet).
> why would AT&T think they could succeed in consumer-facing music sales

Their customers already had the devices on them all the time for playing music, but it was still owned by AT&T (sim lock) and they had the paymen platform with the phone bill. Of course both wasn't really good and they tried to avoid any bigger investment, which made them lose. But still it kinda made sense from a buisness perspective.
I want to put in a good word for old-school calorie counting.

If you don't have good "gut intuition" for how much you're eating, you may find that IF just causes you to eat more in the time you are allowed to eat. CC tells you how much you're taking in, so the numbers tell you when you've eaten enough.

I often find that, when I stop at my calorie target (1500), I'm actually not that hungry... but I still have an urge to eat. Something I would have followed in the past. But with the number, I know exactly when I shouldn't follow that urge.

The requirement to stop and calculate before you eat also makes you a lot more deliberate about what you do consume.

It's definitely not the most spontaneous and fun approach, but I tried all the more spontaneous and fun approaches and CC is the one that is finally working for me.

A couple details: I jot down each day's calories in a Google Note on my phone. I add a number to the list for each thing I eat and keep a tally as the day goes by. I don't use a calorie counting app. I just use the nutritional facts if available, and if not, I Google "calories in x 100g" and use a food scale.
Sure, but it's talked about in the same context. I removed a word for correctness.
Exactly. All a model does, is build a C-ABI-compatible data structure. And even though Rust is currently the only language supported, Fornjot is architected to be language-agnostic.

I don't think Rust is the ideal language for this problem, but with Fornjot itself written in Rust, it was the easiest one to support. Gotta start somewhere.
Lockerbie wasnt them. Who it really was isnt clear but the trial was clearly dodgy as fuck. Gadaffi "accepted responsibility" solely because that was the price of lifting sanctions.

If that's America's bar for "invading for defensive purposes" then NATO might as well just admit it's sole purpose for existence is the destruction of Russia.

America was flying planes over sidra in an attempt to provoke them. If Libyan jets were shot down "testing" the borders in the gulf of mexico would you really claim that the US was acting offensively? I wouldnt.

The US empire wanted Libya destroyed from day one pretty much. It clearly wants Russia destroyed too. Ukrainian women and children are dying precisely because provoking a conflict on Russia's border aligns with Western imperial objectives. Like it or not their blood isnt just on Putins hands.
This nurse here made a youtube video about it, quite good:
https://www.youtube.com/watch?v=NUa_c7qEgw0
Thanks for your answer, is there a need to rebuild Ukrainian cities communities and facilities, now or post-war?
If yes, are there initiatives for it?
“… against external military intervention”. That’s a pretty crucial detail you’ve left out.
The Stalinisation of Russia
> glass, while perfect for storage, is not suitable for most types of cooking

Such as? Could be I'm simply unaware of "most types of cooking."
Unfortunately, the default for many is Google Analytics. It would be very nice to have a client-side analytics provider with a default position of total anonymity.
Great something I can comment on;

Here's the links I think you might found useful - They're not books, but videos, newsletters and articles. -

- https://producthabits.com/

- https://www.lennysnewsletter.com/

- https://www.ycombinator.com/library/?categories=Product

- https://twitter.com/shreyas (Read this guys tweets)

- https://www.sachinrekhi.com/

- https://coda.io/@yuhki/figmas-approach-to-product-requiremen... (And lastly CODA library, there are a lot of PM docs over here which explains how companies like Figma manage their PRD, just copy the process and simplfy it. Don't use them how they use like. Why? Because you don't need that complicated process w/ 6 people)

In terms of books, there are only few great ones like;

- Hooked by Nir Eyal

- Inspired by Marty Cagan

- Design of Everyday Things by Don Norman (Not a PM book but you should read as a PM)
There's a life expectancy gap between sexes in most mammals
this hasn’t been a thing since 5 years ago:

https://www.theverge.com/2017/6/23/15862492/google-gmail-adv...
Oh stop you.
It works on Windows too. You can also right-click on an empty section of the page and click Take Screenshot.
Workplace surveillance may hurt us more than it helps(2021)
I’ve been down that path when I lost 25kgs in a span of 4,5 months, weight that I gained when I quit smoking and everything tasted so much different.

The weirdest part is that I liked hunger. It made me feel alert. My body felt better, my mind was clearer, I needed less sleep. The less I ate the more energy I had. I ended up eating one good meal at lunch time and little or nothing for dinner. Combined with long walks the weight kept dropping steadily and quickly. And it’s not like I suffered. Hunger comes and goes in cravings that last less than half an hour two or three times per day. It’s quite easy to ignore them.
If we are about to enter a period of sustained inflation, contracts may start including automatic monthly/quarterly raises to offset it.
the blue zone diets are all really interesting because it really makes the point that, while what you eat is important, there are huge variances. Like that Japanese blue zone that eats spam
Feature request: Is it possible to paste the URL from Google Maps instead of latitude/longitude?
Further reading

Cantillon effect https://mattstoller.substack.com/p/the-cantillon-effect-why-...

Biflation https://www.investopedia.com/terms/b/biflation.asp#:~:text=B....
This makes sense. The exact macros differ, I’m sure, but it seems reasonable that extreme medical situations could be helped by diets that otherwise aren’t the best for a healthy person
PV needs physical resources that aren't for free or unlimited. PV needs space. Most energy used has still an high negative impact on the atmosphere. Low efficiency somewhere is energy potentially wasted that could reduce carbon emissions somewhere else.

Heating is waaay more efficient with heat pumps. Aviation... Well who can still afford it...

There are other forms of storage as well, e.g. hydro, heat storage, and many more

I'm not saying it doesn't have it's uses, but efficiency is important
No - he said he would use force against a military intervention by another state. Followed by repeating that this won’t be used against Taiwan citizens.

So, who left that detail out - you, or the medium you trusted?
Checkpoint the state of Python programs using Pythonic setjmp and longjmp
For decades of my adult life I skipped breakfast, going against all conventional dietary wisdom. Having 3 meals a day just felt like turning my body into a conveyor belt that produces faeces. Now I feel kinda vindicated.

A few times I traveled with a friends who did the breakfast - lunch - dinner thing and after two or three days I had to opt out of either breakfast or dinner. I remember asking "how do you even manage to process that much?" and I just got blank stares.

For what it's worth, I'm 51 now and my body weight is the same as when I was 20. It just doesn't LOOK quite the same anymore ;)
I started reading a bunch of 19th century safari books recently and it took me a while to figure out what the heck they were talking about lugging about all those "mealies". It obviously was some kind of staple food, and it finally dawned on me they were dried ears of corn.
At some point, yes. Post war countries have a lot of potential, and with all the help behind it and the EU’s willingness to take it into the union, if Ukraine manages to retain its independence, it could become a thriving country within a few years of the end of the war.
I don’t think one meal a day is dangerous advice at all. It’s not possible to permanently harm yourself doing it.

There are risks in all endeavors. And intermittent casting’s risk is something like failing and gaining weight.

But anyone should be able to try it for a week and see how it works without serious risk. It’s not a dangerous chemical or medication.

Of course, fact finding is good before all things and I kind of assume that HN readers are naturally curious so are but into fact finding before, during, and after new things.
Ask Starbucks’ “Artisan Breakfast Sandwiches” that question.
I’ve tried IF many times, sometimes for a month at a time and I find it dramatically, incredibly harder than just cutting calories down.

For me there are 2 main issues. 1) I’ve never found the point in IF when I stop being hungry. I start getting hungry typically after 5 hours of being awake and I stay that way until I eat. Whether that’s 2 minutes or 24 hours, I’ve never reached that mythic place where it’s not that bad. 2) it’s incompatible with my lifestyle. I work out in the morning which jacks up my hunger so skipping breakfast is miserable. I have a family and dinner is when we have time with each other. Having to not eat with them is awkward, unsatisfying and a burden.

Meanwhile switching each of my meals to be 20% smaller, a higher protein ratio and to be mostly vegetables doesn’t have any of these problems. It’s downright easy on a day to day basis.

Of course for me the real trick is to stop drinking alcohol. The caloric density and it’s propensity to make you stop keeping track of how many you’ve had means a few drinks can blow a weeks worth of eating well.
I have also seen it happen based on a lot of users logging in from 1 location (and changing the google defaults for them). So our Corp gateway in Amsterdam has shown me defaults in Italian, German, and Dutch. Not sure if its actually true, but thats what I was told at the time (dont have any references to it, was an internal talk with our network provider at the time).
There's actually a lot more than geoip.

- GPS

- Proximity of known wifi names (Google has/had a database on that)

- Proximity of known devices

- Bluetooth beacons

In practice, if there is even one device sharing the same IP (on NAT) or a known subnet (in companies) and that device leaks location (i.e. by entering your address or allowing GPS access), then you're pinpointed.
Maybe a HyperLogLog (HLL) data structure would be useful to store all of those options.
I'm sorry if I offended you - I didn't mean for that to come across as patronising or as some kind of sanctimonious forgiving of sin, I was just wary that a lot of people tend to get their backs up around the topic of systemic problems and wanted to be clear that I wasn't attacking you. You did also literally say "what other stance could I take?" which I interpreted as meaning you didn't know your options for helping combat systemic problems.

> you focused on a single sentence [...] in my comment and ignored everything else I wrote.

I did address you saying the $20 thing was hyperbole, but I guess I'm not sure what you wanted me to add to the rest? You said you misinterpreted GP's comment - okay? What am I to add to that? It's not much of a prompt for discussion.
> Perhaps you have an overly narrow definition of the word disease?

I'm intentionally highlighting here a definition of 'disease' that is much narrower than the norm, yes.

> A fractured bone is also a disease.

On the other hand, you're trying way too hard to correct that. Nobody considers a broken bone to be a disease. A broken bone in your leg is not fundamentally different from a broken rock outside your leg, and -- more importantly -- this lack of difference is easily understood by everyone.

But while e.g. diabetes is not caused by external agents, it looks from the outside just like other types of problems that are. This leads to both types of problems being called "disease", even though the radical difference in how the problem occurs means that the treatments and ways of thinking that apply to one type are not appropriate for the other type.

Diabetes is purely mechanical, and if you take measures against it, you can suppress its effects. It will never fight back or attempt to circumvent your efforts. Malaria is purely external, and if you take measures against it, it will take countermeasures.

Cancer is an intermediate phenomenon. It is not caused by external agents. But it is alive and may respond to measures taken against it -- it consists of part of yourself 'going rogue' and becoming as malicious as an external agent.

This intermediate status suggests that approaches from either end of the "disease" spectrum might be fruitful. One of the biggest problems we have in dealing with cancer is that we want to treat it as a malign external agent to be removed from the body, as would be appropriate if it were really a disease. But while there are many effective tools to do that for diseases, they all fail badly in a couple of different ways when the "disease" is indistinguishable from the rest of your self.
Spend 50k on a Tesla and you get to enhance you lifestyle, signal your eco-solidarity and to some extent, affluence. Bang for buck, if you really care about the environment, don't have children. There is nothing that comes close to impact.
Does the amount of carbohydrates intake impact focus/concentration?
Cooking my own food is the most effective hack I've used. Find salad recipes you like, add some grilled chicken breast, and that should be enough for a dinner.

I have found that a weight tracking app that connects to a digital scale gives you a very accurate picture of your weight. When I was really trying to lose weight, I would weigh myself multiple times a day, and the app would be able to show trends in the data.
Brilliant comment, completely agree, would upvote more if possible.
I hate having breakfast, especially on work days for some reason. I feel ya
Fornjot is architected to be language-agnostic. Rust is just the easiest language to support, given that the rest of the project is written in it too.

I (author of Fornjot) don't have any near-term plans to add support for other languages, but I hope that people will start experimenting (and someone already has: https://github.com/WeirdConstructor/Fornjot/tree/wlambda_int...).
That says global 'consumption' is about 80000 TWh a year. Incoming solar energy is about 1700 times that
The biggest thing that helped me lose weight was subscribing to a meal delivery service and sticking to it (drink water if you need to feel more full and avoid the desire to eat more). Outsourcing my food choices to someone else made it substantially easier to avoid consuming more and unhealthier calories because of the enjoyment of putting things in my mouth or the challenge of controlling portion sizes. I grew up in a home where we had to finish all the food on our plate, and that combined with the the absurdly large portion sizes that you get at almost all restaurants in the United States presents a significant obstacle to weight control.

That's the hack that worked best for me, but I wouldn't say its a "weird tip". It really boils down to the following three factors which really all need to be present.

1. Exercise - You have to demand things of your body so it will send energy to rebuilding rather than conservation.

2. Calorie intake - You have to consume fewer calories than your body is demanding.

3. Food quality - Eat mostly whole foods and low glycemic index carbs that are less calorie dense.

Many people tend to focus on just one of those three things, and while that can work, doing all of them is far more effective. I tend to think that the "weird trick" mentality is a significant obstacle to success (in this as well as many other areas of life). The one weird trick is that hard work is the path to accomplishing things.
> I remember 20 odd years ago now when Firefox came out with a popup blocker standard, built-in. Whatever happened to this "we need to reduce annoyances on the internet" movement? Why aren't the browsers themselves doing more against it?

There was Do-Not-Track, but the industry decided it shouldn't be respected.
Google has a pretty good idea of your household income, among a huge load of other things. Go check the "Ad personalisation" page in your google account settings.
> It can take years for an inflation shock to propagate through the economy and reach a stable equilibrium

Markets are never in equilibrium, but always changing. So the author's point is even stronger.
Off-topic; that wouldn’t have mattered in this case.
The only way to make it without ever reading the labels is to only cook everything from scratch. Else you'll think that eating granola bars every day is good for you, or simply think that hot pockets are normal food.
Yes, and recently. His technique is more to Find/replace "he said" with "".

Your question has no point though, the advice was given as per grandparent comment; and it is not great advice as per several replies.
LimeWire Returning as an NFT Marketplace
I guess the author has never done any (two extremely specific subfields) work? Most people don’t need to convert characters into numbers, there’s nothing overly surprising about that…
Incidentally, Sankara met Blaise Compaoré, who orchestrated both the coup that brought Sankara to power and the one that murdered him, at a foreign military training facility.

I can't help thinking that voting is a better way to select leaders. It's too bad we haven't invested in some sort of training in democracy.
> it might have been senility

The article mentions 3 or 4 things it could have been. We will never know, because this man is dead, and cannot say.
Please don't mess around with treating yourself with high levels of oxygen without first consulting a medical professional. Humans aren't meant to have 100% oxygen in their lungs and even what might seem like short durations to you or me might at high levels could be dangerous to your health in other ways.
For me it noticeably did. Less carbs => better focus. Of course, anecdata, YMMV etc.
get a dog so you have to go walk it?
A different context but related: a website plugin that I have built years ago for barcode scanning machines: JBarcode - https://github.com/veysiertekin/jbarcode

I didn't made any changes since then. But it can be easily ported into a more modern framework (React.js etc)
Why fully homomorphic encryption is crucial in securing machine learning and AI
Quaise Energy Secures $40M Series A to Unlock Terawatt-Scale Geothermal Energy
I've done CC a few times when I get close to being overweight.

Starting January of this year I cut my calories down by 1000/day, 7k/week, which is roughly 2 pounds (just shy of 1kg) a week.

It's now March 10th and I'm down 19 pounds in ~9 weeks.

Is it a bit tedious to count calories? Yeah, but it's perfectly effective.

Thermodynamically you're never going to be getting energy from nowhere. If you're consuming more calories than you're burning you're gaining weight; fewer you're losing it.

My goal is to lose another 5ish pounds so that I stabilize roughly at my current weight with a maintenance period of the next year or so.
Hey, author of Fornjot here.

Chamfered edges are definitely planned!

> edit: Models are defined as Rust code.
>
> Oh...

Not sure how to interpret that "Oh.." :-)

Rust is the only modeling language supported right now (give that the rest of the project was written in Rust, it was the easiest solution), but Fornjot is architected to be language-agnostic.
If you're into data and metrics and what not, I can't recommend "Burn the fat, feed the muscle" enough:

https://www.amazon.com/Burn-Fat-Feed-Muscle-Turbo-Charged/dp...

Basically this:

1.) You can't lose weight by netting fewer calories than you use; you can't gain muscle by using more calories than you net

2.) A good macrobiotic (carbs|protein|fat) calorie ratio to go by is 50%|30%|20%. (if you're calculating percentages by grams instead of calories its 56%|33%|10%)

3.) It takes more energy to eat some foods than others (thermic effect of food). You see this in TV shows like "ALONE" where the contestants starve despite a surplus of lean protein since protein is hard to digest. Ditto salads.

4.) Do cardio

5.) Do resistance training

6.) Bonus: So your body doesn't adapt, go 3 days of lower calories, 1 day of higher calories

7.) Bonus: To lose weight faster, go 3 days of lower carbs, 1 day of higher carbs

8.) Bonus: Eat smaller meals as the day goes on

The first 5 are critical; the last 3 are if you want to dork out over it.
You alias all the known ad-serving domains to unresolvable stuff in the hosts file. I just used one of the lists I found on GitHub.
Colorado elections are safer when things like this are investigated.
Wouldn’t a glass frying pan shatter?
Hey, author of Fornjot here.

Could you give a bit more detail on what you mean by that? The plan for Fornjot is to use WebAssembly as the intermediate representation for models: https://github.com/hannobraun/Fornjot/issues/71
Comparing jMonkeyEngine to Godot and Unity is really comparing an apple with two oranges...
> How exactly you limit your calorie intake while starting to burn off more, i.e. the specific diet is the uninteresting part. You first need the mental framework that allows you to change your habits

Not sure about your specific strategy of fat shaming yourself, but the above quote is on point.

At the end of the day it all comes back to reducing calorie intake. However you can trick yourself into doing that long-term, great.

For me it was becoming vegan (and lost 50 lbs in about 10 months). I didn't go vegan because I want to "save the animals" or anything. Purely a way to (severely) limit the available options when eating out at restaurants, shopping for groceries, etc. No more fried chicken 5 days a week!
I generally like Apple designs, but I think the Studio is ugly and uninspired. It reminds me of a cheesy HiFi component. If they couldn't come up with a better original design, they should have abandoned pretty design and put a handle on the top to make it easier to move around. Also, I think it is ridiculously expensive, should have maxed out closer to $4K, not $10K. Also, since it is thick enough, they could have jammed in a little wide-screen right on the front as a backup or aux monitor. For $10K, I'd like a little wide-screen display on the front.