What I love about this is how the design looks different from what you'd get if you designed a site in a more common way. Every tool has different affordances. And I love that you can see that in the site. It's immediately obvious that something about the creation of the website is unique
Readit Newsmarkmiro commented on Show HN: All-SVG websites with complex animation svija.love/vibe... · Posted by u/AndrewSwift
Component UI libraries have converged towards providing the most basic building blocks instead of creating higher levels of abstraction, which I personally think is a bad trend.
You could build a very complex UI with Ext.JS back in 2010 with a lot less code and very little time, while it takes a while lot more work to produce even something relatively basic with modern UI frameworks.
I really don't care about how customizable your spinner is. I want to use it in common contexts with as little code as possible. Heck, at least provide me with a kitchen sink so I can copy and paste common patterns.
I've had the same frustration. I want to go from intent to a UI as quickly as possible.
My intuition about solving this is to create components where instead of a select and a radio button being separate components, they're the same component with basically the same API.
And instead of deciding on a spacing between components, you just get spacing more or less automatically so everything looks good by default.
markmiro commented on Black holes finally proven mathematically stable quantamagazine.org/black-... · Posted by u/shantanu_sharma
I see a number of people commenting on the size of the proof (roughly 900 pages) which is not uncommon in this particular sub-field of PDEs. For context, I had the distinct privilege of studying under Sergiu Klainerman for my PhD on this topic. My own dissertation was about 600 pages. From my personal experience, I have come to understand a few factors that contribute to large proof sizes.
1. A lot of work is on inequalities involving integrals with many terms. These are difficult to express without taking up substantial space on the page. Some inequality derivations themselves might take multiple pages if you want to go step-by-step to illustrate how they are done.
2. Writing a proof of this size is not unlike building a medium-to-large size codebase. You have a lot of Theorems/Classes that need to fit together, and by employing some form of separation of concerns you can end up with something quite large and complex.
3. Verifying this kind of proof isn't usually done all at once. A lot of verification happens on the individual lemmas before they're pieced together. Once the entire paper is written, verification is more of a process where you rely on intuition for what the "hard parts" of the proof are and drilling down on those. But when writing the paper, you must of course account for all the details regardless of whether they are "easy" or "hard", and there can be many.
Having said all this, I have not read their paper and it has been 5 years since I was in this space. This is a truly remarkable accomplishment and the result of decades of hard work!
I'll end with an amusing anecdote. A fellow grad student, when deciding between U of Chicago and Princeton for his PhD program was pitched by a U of Chicago professor who once said something like "Of course you could go to Princeton and write 700 page papers that nobody reads." When this story was shared during a conversation over tea at Princeton, another professor retorted, "Or you could have gone to U Chicago to work with him and write 70 page papers that nobody reads!"
If these proofs really are like codebases, wouldn't we eventually expect these proofs to be written as software?
You'd install lemmas using a package manager and then import them into your proof.
You can then install updates to proofs. Maybe someone has found the proof to be wrong, in which case you either find a different proof or invalidate the lemma so all the dependents can be invalidated automatically.
markmiro commented on Show HN: Famnom – Nutrition tracker and meal planner for families famnom.com... · Posted by u/umangsh
I would suggest looking into meat based dishes, including organ meats, eggs, bone/meat broths and such. You'll find it much easier to 'fill' all the nutrition bars if you use that.
I would also suggest avoiding leafy vegetables in general, since there are a lot of defensive chemicals in them that are not very good for you, especially concentrated blended versions of them. You tend to want to eat plants in states that they want to be eaten in, such as fruit flesh. Plants don't want their leaves and seeds to be eaten, thus the large amount of protective chemicals in them to discourage that from happening. The ideal situation for plants is you eat a fruit when it's ripe, swallow the seed whole, and pass the seed in your stool somewhere else in a stool fertilizer bed on the ground somewhere. This means low sugar fruits that we call vegetables like cucumbers and tomatoes are also ok.
Also fish and liquid oils tend to go rancid fairly fast. Solid oils tend to stay fresh longer. If you want more fish in your diet, eating actual fresh wild fish vs a fish oil significantly healthier.
This is great information. I'm not against meat. However, I was toying with a vegan/vegetarian diet when I got into tracking nutrients, and my learnings reflect that (ex: nutritional yeast). My daughter still struggles with chewing meat. Organ meats might be a good idea for her.
I'm aware that plants have defensive chemicals though I haven't researched it in too much depth. I can probably be convinced to drop spinach and nuts.
I don't eat enough organ meats. Chicken liver seems cheap for the nutrition you get out of it. I never bothered getting into cooking it, but it seems like a good idea.
Good point on the fish oil. My daughter is totally fine consuming the gross-tasting fish oil (even without the lemon flavoring) out of a spoon. My guess is she's really craving the nutrients in there. I keep the oil in the fridge, but there might be no real way to compete with fresh fish.
markmiro commented on Show HN: Famnom – Nutrition tracker and meal planner for families famnom.com... · Posted by u/umangsh
I've thought about making something like this in the past.
I've used the "Nutrients" iOS app for tracking nutrition, but not in the way it's meant to be used. Maybe my usage patterns could help you writing your app.
I tend to use the app to get a pulse on the nutrient density of the foods I consume (or feed my daughter). I would make simple meals, and plug them in, and then try to get all the nutrient bars filled up. It was harder than I expected. It was a puzzle to figure out because foods have different levels of each nutrient. I want to avoid adding onto nutrients I'm already consuming enough of.
I tried to use the Nutrients app to search for foods dense in some nutrient I was lacking, but I often found Google searches to be better for this. The way the app ranked foods wasn't useful to me. Was it measuring nutrients by weight? What if I wanted to rank by price, or by region? I don't care that raw Moose Liver has lots of Riboflavin.
I preferred using the app to determine my grocery list because I don't like recipes. I want to know how to cook things individually (pasta, rice, eggs, asparagus, etc) with salt + (butter or oil), and then figure out how to assemble meals on my own. With recipes, I would often have leftovers I didn't know what to do with. I could look up more recipes, but I couldn't see how this would make me a better cook since I didn't know what I was doing or why. I was inspired by Samin Nosrat's Salt Fat Acid Heat approach to cooking. This way I could get nutrition and flavor simultaneously.
This all got really complicated, and I eventually figured I wouldn't reach the end of it. For example, rice grown in different regions has different levels of arsenic. I'm not concerned about arsenic specifically, but the finding got me more curiously interested in toxins, and soil differences around the world. I got into nutrition thinking I could be convinced of one specific diet over another, but I soon found myself looking into differences between soil in different regions.
After I used the app enough, I got a sense of some of my blind spots, and used that to adjust my diet intuitively.
Some changes that more-or-less stuck: - More sun for Vitamin D - More Avocados - Omega-3 from fish oil - Nutritional Yeast for B Vitamins - More greens (especially for magnesium) - Spinach in smoothies - Less sugars, carbs, and bread - Parmesan cheese for calcium - More beans
I have decent intuition around green means chlorophyll molecule means there's a magnesium atom in there, and some others. The minerals are easy enough for me to get enough of. I can usually get enough Vitamin C. I don't have good intuition around Vitamin K, E, Niacin, Riboflavin, Folate. Beans have lots of Folate. This makes sense, but lots of other foods I regularly eat have it too.
I'm inspired to get back into this and start tracking again.
--
BACKGROUND:
After my daughter was born, I was suddenly extremely interested in nutrition. I worried what might happen if my daughter started missing important nutrients. However, it was hard to get trustworthy information on nutrition. Important debates weren't settled. I wasn't confident that I could trust things like the food pyramid. Like you, I felt more confident about using micro and macro nutrients as a way to decide what to eat, but also to compose meals that were nutritionally complete. This is something I didn't see much focus on. People would tout some specific food as "healthy" without putting it in context.
From there, I still wanted to cover my bases for unknown unknowns. If I added more traditional foods, I'd be able to cover for it. As an outsider, I don't know how likely it is that we've discovered all the nutrients we need. For example, I recently saw a research paper asking if Lithium is a micronutrient. Maybe there were foods that had nutrients that weren't discovered, or maybe different people need different levels of the same nutrients. Maybe microplastics are a bigger problem than we imagine. It's hard to account for everything. I wanted a baseline I could start from. I looked into traditional slavic foods. I found that potatoes were more recents, for example, so I wouldn't use them to cover for unknown unknowns. However, cabbage and buckwheat are both nutritionally rich and slavic staples. Maybe I could use this finding to trust dishes that feature these ingredients.
markmiro commented on Tell HN: The loneliness of a pretty good developer · Posted by u/100011_100001
Change jobs, but not because of others moving slowly.
It's amazing that people trust you, but you're worried you'll let your team down. One of the biggest reasons why people leave jobs is because of a lack of growth opportunities, and the longer you stay in your position, the more likely it's going to beat the ambition out of others on the team.
And if most of the code is written by you, this doesn't make you bad for leaving. The easiest code to maintain is code that's written by one person. Sure, some people might get mad and try to shame you, for leaving them to maintain all your code. However, this might be a result of people not believing in themselves. They need encouragement, and some nurturing.
So I don't think the problem is whether you're a 10x developer or not. If you're good, it's like a white tablecloth at a restaurant. The cloth isn't bad just because it got stained. The problem is you're lonely, increasingly resentful, increasingly complacent, and it's not going to be good for those around you.
If you leave the company and it goes well for you, it's also motivating for others since they know the company won't try to sabotage them on their way up. If the company does sabotage you, then this is also good since it'll help you determine the difference between a team that has your back vs a team that wants to use you. Either way, it's important to appreciate them regardless.
So you got to your position because a you cared about others. It's important to not let your accomplishments blind you and overshadow just how much of your success comes from your care for others.
What's a good alternative to gmail? Fastmail? Protonmail? Other? I don't mind paying a small subscription.
I use hey.com
You have to get used to their system but now I prefer it compared to Gmail
markmiro commented on Birdwatch, a community-based approach to misinformation blog.twitter.com/en_us/to... · Posted by u/razin
A lot of people are wondering how this will stop misinformation. I agree that we can't crowdsource truth. But we can crowdsource information that can help reduce misinformation. When you have two sides disagreeing the first step is to build some common ground.
Twitter is trying to solve a tough problem. On one hand you've got people accusing Twitter of hosting and platforming hateful, harmful content. On the other hand you have people claiming that Twitter is calling the shots about what's true and suppressing information it doesn't like.
Maybe this is the first step towards something like a digital court. People on both sides present evidence, experts, witnesses. The two sides get a hand in picking the jury.
Or maybe the solvable problem is that information gets misconstrued and propagated. A video clip might get edited a certain way, for example. Solving this problem may not help us all agree on what happened in the video clip. However, we should at least be able to agree on what the two interpretations are. To make this happen, both sides would have to steel man the other side. Otherwise, the opposing side would claim they're being misportrayed. Having things that opposing sides agree upon would greatly help reduce unnecessary conflict.
Deleted Comment
No matter how good the AI gets, it can't answer about what it doesn't know. It can't perform a process for which it doesn't know the steps or the rules.
No LLM is going to know enough about some new drug in a pharma's pipeline, for example, because it doesn't know about the internal resources spread across multiple systems in an enterprise. (And if you've ever done a systems integration in any sufficiently large enterprise, you know that this is a "people problem" and usually not a technical problem).
I think the startups that succeed will understand that it all comes down to classic ETL: identify the source data, understand how to navigate systems integration, pre-process and organize the knowledge, train or fine-tune a model or have the right retrieval model to provide the context.
There's fundamentally no other way. AI is not magic; it can't know about trial ID 1354.006 except for what it was trained on and what it can search for. Even coding assistants like Cursor are really solving a problem of ETL/context and will always be. The code generation is the smaller part; getting it right requires providing the appropriate context.