skysight-inc/HackerNews huggingface dataset:
Show HN: Open-source alternative to Fig and Warp
This project aims to create a terminal with functionalities that improve the experience of using terminals. The project uses technologies such as Svelte on the front-end, which offers flexibility regarding the implementation of the interface. On the back-end side, the most important part is the PTY. All the back end is implemented in Rust. The basic framework of the project is Tauri.

At the moment the terminal has autocomplete suggestions for some commands (cd, ls, mvn). To support more commands it is needed to add them in the Manter's "library" located at src/cli/library/library.ts. It is possible to have custom script based suggestions. For example if we write in the terminal “git checkout” and after we press Space, a dropdown will appear with all available branches.

A good analogy to understand the purpose of this project is the following - traditional terminals are like simple code editors while this terminal is like an IDE.

Anyone is welcome to contribute to this project with and ideas. Imagine the terminal you would like to use. Feel free to open any issue with suggestions and bugs.

See in the comments the link to the Manter project.
I pulled up the full paper. As you speculated, people who skip meals are quite different from people who don't, in ways that might be relevant to overall health outcomes:

> As shown in Table 1, compared with participants with three meals per day, participants eating fewer than three meals per day were more likely to be younger, men, non-Hispanic Black, with less education and lower family income, current smokers, heavy alcohol drinkers, higher physical activity levels, lower total energy intake and lower diet quality, food insecure, and higher frequency of snacks.

They control for these factors in the statistical analysis, to different extents in three different models:

> Model 1 adjusted for age, gender, and race and ethnicity. Model 2 additionally adjusted for education, income, smoking status, alcohol intake, physical activity levels, total energy intake, HEI-2010 score, household adult food insecurity status, and snacks frequency. Model 3 further adjusted for baseline diabetes, hypertension, hypercholesterolemia, CVD, cancer, and BMI status, because these variables may be mediators between meal frequency, intervals and timing, and mortality.

This is an issue. Controlling for the variables in the model helps somewhat, but it's inevitable that the populations are also different in other relevant ways that are not captured in the covariates (e.g. stress levels).

They're also reporting dozens of results (18 in Table 2, another 18 in Table 3, 12 in Table 4) but doing no correction for multiple testing. Given that many of the confidence intervals only barely exclude 1, this is an issue.

Finally, and most damning--the effects almost entirely disappear if they exclude people who had cancer or cardiovascular disease at the beginning of the study. This is hidden in the supplementary material of the paper, not discussed at all within the main body of the paper. Of the effects cited in the abstract the only one that survives excluding people who had cancer or cardiovascular disease at baseline is that people who skip breakfast appear to have higher risk of cardiovascular disease-related mortality.

Given that the study is labelled "prospective" and one of the outcomes studied is death from cardiovascular disease, IMO it is dishonest to not note that the claimed effects disappear if you exclude people who already had cardiovascular disease when the study started.
Find a teacher you trust, and inspires you to become like them. Books can help, but I'd say to use them as a compliment.
I bet it can also hallucinate tests.
That sounds really cool, thanks for sharing. It may well be that I'll eventually reach, or gradually approach, a footprint with my site files that rewards putting in place some layer of tooling along these lines.

But I like to think that, when that time comes, I will be the author of that tooling. As it sounds you are. Kudos!
Like how every tech CEO manages social media access (or technology exposure in general) for his own kids vs what his company strategy is for everyone else’s kids?
That's correct. I still have not been infected with sars-cov-2 three years into the pandemic. I haven't tested for the N protein immune reactivity in my blood or anything, but I have been extremely careful about exposure and rapid test regularly.

It's the same for my local family which also mask properly with N95. It is very possible to not get infected and infect others. So yeah, I will call people who refuse to wear masks kindergarteners having hissy fits.
I'm using a 2014 MBP and an iMac from 2013. Feel no reason to upgrade at all on those machines. I'm less happy with my 2G (2018?) iPad Pro, which...while it still works great, the battery is clearly discharging too quickly.

I've never had a Lenovo (at work) that was good past 2 years. Which one is creating more e-waste?
I think this is more a function of college students enjoying staying up late for social reasons/the psychological feeling of independence. High school students tend to stay up later than their families as well, and after your family goes to bed you have more space to be your own person.
Do you believe in nominative determinism? It's an interesting concept with gigantic implications.
My first reaction to the 1930's idea: On Random_Day(), the Japanese attack Pearl Harbor. Big Change in the situation you face...
I think early to mid is too soon to be focused on others' work. Early to mid, you should be focused on the quality of your own work, because you're still developing your taste and judgment, and you need the direct and vivid feedback you get from immersing yourself in the consequences of the decisions you make. A huge trap in software development is to get disconnected from feedback and be a slave to rumor, ideology, and religious "best practices." The air is full of bullshit (in no small part because everyone is trying to "solidify their brand as an individual" and "amplify the good they do" before they actually learn the job) and the best way to learn how to sort through it is by grounding yourself in the consequences of making this decisions versus that one, choosing this approach versus that one.

If you start "amplifying" too early, you won't be amplifying selectively, and your coworkers would be just as well off sorting through search results themselves.

(Of course it's a progressive transition, and you're never too inexperienced to advise a coworker not to force-push master or submit a PR with failing tests.)
Not only that, even as an individual you can buy on site warranty and they will come to your apartment to fix your ThinkPad if you have any problems.
Or it's a commercial company looking to make money by whatever legal means possible in the country it operates in. China does not respect freedom for their citizens and even has laws against kids gaming for long hours.

> The theory is that China is poisoning the minds of young Americans by not developing interests in educational things

It makes as much sense as saying that the US is trying to make Chinese people fat by serving high calorie empty nutrient foods in McDonalds and Starbucks stores in China.
Show HN: Generate product descriptions from just photos using AI
Like how "1-2 drinks per day" was healthier than none... because a lot of the people in the "none" category were teetotaling because they were chronically ill, and once you correct for that, the apparently-beneficial effects of that daily glass of wine vanish.
Non-rational because the most likely person to sexually abuse a child is a neighbor, creepy uncle, someone at church, etc. not boogie men from the dark web stalking TikTok, yet parents will still be more afraid
Of the TikTok angle when reading an article like this.
I use DDNS with Cloudflare, which offers free DNS. I built an open source Windows client for this (could be cross-platform, just haven't bothered yet).

https://github.com/drittich/DnsTube
https://archive.is/ZQDkM
> in the past I've given them bullshit proofs from real students in exams

I'd be so honored to be one of these proofs. "Your wrongness is an elegant balance of instructive error and subtle misunderstanding. Can I save it for posterity? (c-)"
Writing a formal spec in itself is a way to introduce clarity to thinking, because when writing it the spec itself lends to asking more and more questions about the things you might not have thought of.

More so if there are tools to check your formal spec.

But formal spec can be in higher level than the implementation. For example, it could be describing pre- and postconditions without actually stating out how to go from precondition to postcondition.

I have noticed programming languages don't tend to ask the writer the right questions in the same way e.g. TLA+ and TLC do.
Link to project: https://github.com/iondodon/manter

How to add autocomplete suggestions support for your needed CLI: https://github.com/iondodon/manter/wiki
Show HN: Package Management in the Cloud with Prefix.dev
Pretty solid. I will try google ads (its a bit expensive) and will let you know how it will go with the validation.
I keep wondering when citizen ALPR will start augmenting some of these roles.

I don't know if it's universal, but here government-owned vehicles always have an X in the license plate, so you wouldn't even need a database, just alert on any X-plate entering the neighborhood.

Could detect strobing lights with the same cameras, and summon the Watchers automatically.
To be honest? Yeah! I would love to see curation by the users and content creators instead of YouTube itself. I wish I could sort my subscriptions into categories and just see the newest content from my subscriptions. I would love to organically discover new channels through suggestions by YouTube communities instead of a faceless algorithm optimized for advertiser friendliness.

That's how YouTube started and it worked great. Now I have to fight the site to find content because it's been demonetized and YouTube won't suggest it anymore...
One use case is to make a decentralized form of micropayments. The "Open web" is at huge risk right now (and is declining in usefulness) due to the incentives given to content providers. You can either make money in a walled garden like YouTube or provide affiliate links. Now this is more at threat with things like ChatGPT using your provided content as training data with zero attribution. This will continue to get worse.

So as someone with knowledge about a particular area, and with people that need such knowledge (such as those that need training data or someone looking for something) you can be incentivized to provide it.

Of course in reality this is super hard to accomplish with bad actors abound but it would be nice.
This is the first year of general purpose language AIs broadly available to the public. The best way to improve it quick is to throw complex things at it.
> I will be impressed when we can write a precise and formally verifiable specification of a program and some other program can generate the code for us from that specification and prove the generated implementation is faithful to the specification.

I cannot do this, and neither can any of the people I have ever worked with. Yet despite that we all call ourselves programmers, create value and earn money by writing ill-specified, often buggy code. Why would a tool need to be formally verified to be considered impressive and/or useful?
ThinkPad 701C with a Framework brain transplant (work in progress)
Agreed and I find this happening a lot in discussion of testing. It seems everyone/every company has "their way" of doing testing, which at times even includes new words for certain concepts that they find useful (e.g. stubs) and then the conversation about testing gets muddled by people doing things/naming things differently.

I only recently got into testing my code and while I love writing tests, getting started was kind of difficult because there was just so much noise. I eventually had to find one person to follow in my space (Kent C. Dodds) and just kind of go all in on his methodology.
I could not figure out how much one .com domain costs. Fail
> people who skip breakfast appear to have higher risk of cardiovascular disease-related mortality.

I'd bet this behavior it correlates with late-night eating.
Hmm... That's an interesting example. It definitely makes sense to enable features like that.

However, I'm not sure it's a place where you want to abandon foreign-key consistency. To display the song on the playlist (greyed-out, Spotify-style) you need its name and info, and you probably want to keep artist and album links valid as well. It sounds like this is actually a perfect use-case for a soft-delete: keep the song metadata in the songs table and mark it as nonplayable. This keeps the artist page, album page, and any links to the song itself valid, just greyed out when you get there.
You could also launch a Linux VM and run your docker containers in there. That ought to work better than just running docker in Mac OS and letting it manage VM instances on its own.
It's still early, but TreeBase might be worth a look. (https://jtree.treenotation.org/treeBase/index.html)

It's the public domain software that powers PLDB.com and CancerDB.com.

You store your data in Tree Notation in plain text files, and use the Grammar Language (a Tree Language) for schemas, which also enforces correctness. You use Git for version control. You then can query the data using TQL (also a Tree Language). You can display your data using Scroll (also a Tree Language)

So your data, your query language, your schemas, your display language are all in the same simple plain-text notation: Tree Notation. Of course, there's also a lot of Javascript glue.

Very little documentation at the moment, and it's brand new, but it simple was not possible before the M1s, which came out in December 2020, and the growth rate is very good.

It's all signal, no noise, so it's a timeless solution, and you won't regret putting your data in there.
You could also look at it as a "wastes time on bullshit" signal. If a company is spending time updating copyright dates for no other reason, what other pointless nonsense are they spending time on?
Your upper bound for the probability of software written by people being correct is higher than mine.
The strangers might meet up in person as well. We should ban shoes.
A playground is easily observable by a parent. Mobile apps usually arent.
Am I crazy? The author writes

> It's not as insane of a downgrade as it sounds.

And then goes on to describe assembling a Frankenstein laptop that has specs and ergonomics that pale in comparison to the MacBook's.

This sounds like a truly awful computer to me, but if your only goal is to spend as little as possible and get user-serviceability then I guess this is one way to go.
Are you saying that currently existing regulations of tobacco do not save lives?
This is a big mistake by Putin.

Heading into a tripolar world had America in a bind. China is making more nukes; it is not bound by any treaties, so it can make as many as it wants. At some point in the future, China will present the fait-accompli that it has as many nukes, if not more, than Russia and the US.

In such a world, treaties or not, the US can't have as many nukes as Russia and China combined. In a world without START, the US can do exactly that.
Seems to be pretty doable ("collisions" in the last section): https://blog.benjojo.co.uk/post/ssh-randomart-how-does-it-wo...
I envision a dystopian future when transformer-based AI models will monitor the user and generate custom advertisements in realtime, optimizing for maximum attention-holding and behavioral influence at the level of an individual user.

Human attention is a commodity. TikTok is an exploitative drug.
I consider Apple that they don't sell "non-Thinkpad" products. That's how I can easily pass the spect sheets which promise better-than-apple-for-much-less and pay a bit more and be happy about it.

It's almost as if you get what you pay for.
What do US Supreme Court cases against Twitter and Google mean for the internet?
> How do they create more ewaste though? Like many others report my experience is that apple products routinely last multiple times longer than other tech.

Compared to some other tech, you're correct that the e-waste is comparable or better. However, the comparison above is Apple to Apple. The other tech companies are irrelevant for this. Apple has full ability to dramatically lower the amount of e-waste their products by making them more upgradeable/repairable, and they choose not to in order to maximize profit at the expense of everyone else. It absolutely doesn't have to be that way, but it is, and IMHO calling this out and being critical is 100% fair, much like you would call out an oil and gas company who was intentionally generating waste to maximize their profit, regardless of how they compared to other oil and gas companies.

But it's also very fair to point out what you've pointed out, that compared to others Apple is pretty good, so this is not a compelling reason to avoid buying Apple products if you're going to buy a different one that generates just as much or more e-waste.
This is brilliant. Is it based on a real bug you found in your company's own code?
Considering ChatGPT spits out innacurate information all the time, I think "our software has a 99% chance of you going to jail for tax fraud" is more accurate.
I sure hope it's dead, it's bad for privacy and security and benefited no user ever
Elon Musk’s lawyer asks court to throw out ‘Twitter sitter’ deal with SEC
> I was recently travelling in another country and was able to ask ChatGPT for breakfast/lunch/dinner recommendations

I just tried this out myself, 'please recommend restaurants near (my home town)'. ChatGPT identified several real, local, pubs, giving generic descriptions such as 'This traditional British pub serves delicious food, including locally sourced meats and vegetables. They offer a range of pub classics like fish and chips, as well as more modern dishes like lamb rump with sweet potato mash'.

None of the descriptions really sold the pubs to me. One of the descriptions put the pub concerned in the wrong village. But it was no worse than asking Google the same thing, and without adverts (yet).
Can't you run Docker on a remote host? I always have a 64GB memory EC2 instance near if required.
Really glad it's helping some people. I'm bummed because it doesn't seem to be helping me, which makes me think there's some device on my network that isn't playing well with the mac mini.

$ ping -c 100 <home router>
...
--- <home router> ping statistics ---
100 packets transmitted, 89 packets received, 11.0% packet loss
> In the tech world, it's hard to imagine that software or content published today will be relevant in a century

It's not that hard to imagine it, really. There is 60 year old software right now that's still relevant and in use, and there is relevant content that is even older.
I don't always test my code But when I do, I do it in production.
That's not an applicable proxy. Sure they might have low performers dropout, but they doesn't provide any segregation in the remaining cohort for high performers getting to register early.

Interesting. They didn't do that for us.
I've asked ChatGPT to write some stories, and I have found the output amusing. I could see reading some of them to children. Maybe they don't make a great deal of sense, but they're still fun. Or perhaps, because they don't make a great deal of sense, that's what makes them fun?
So there is this pattern of light spiritual practice (ok, not in your case, here light was the heavy) being safe and chill,
And of heavy spiritual practice having the potential to be dangerous.

I see an analogy to using psychedelics as described in this lecture fragment (starts around 12th minute) https://www.youtube.com/watch?v=j72C_lDHTk0 Ram Dass on "When is it right to use psychedealics?"

There he talks about two types of psychedelic usage. Recreational - here we don't need to prepare, we should use little of the substance and can enjoy f.ex. our favorite music sounding a little better.
Transformational - here, we have to prepare thoroughly studying spiritual/philosophical books, have a proper fast before the experience and have a proper guide. This way the potential for a difficult experience lessens and the potential for transformative experience grows.

Interestingly, the lecture excerpt starts with description of ancient/historical use of psychedelics, where they were used in rituals aimed at transformation of the subject. Subject attended the ritual being thoroughly prepared, something completely different than being offered psylocibin mushrooms/acid on a party.
I wonder if this advice (going light doesn't require preparation, going heavy requires preparing as much as possible trough fasting and study) could also apply here, to meditation practice.

Sorry if this idea/lecture was posted here already, had only limited time to read and reply in this thread.
This just feels like taking two unrelated things and bunching them together under a label in order to be provocative and imply that software 2.0 will "replace" existing code.

If you surveyed e.g. all of the code Google has in their piper repository, you would find significantly less than 1% of it could be replaced by even an extremely good neural network.
It also says later in the video a roboticist will check the code instead of naively relying on ChatGPTs generated code.

So it’s probably not dissimilar to people trying to code with ChatGPT today.
The most likely person to molest a minor is an internet friend. This has been proven to be true over and over again, so much so, that “to catch a predator” was a mainstream hit show.
As great as ChatGPT is, the content it generates tends to follow some fairly repetitive patterns & styles, and it's going to be pretty easy to identify unless heavily edited.

However, I also suspect this technology will develop very rapidly: just look at how quickly the AI art scene has evolved since Stable Diffusion came along. Pretty crude at first, but the quality of stuff coming out of it is amazing now.
And it shows that it’s not a fact that there are not.
I’ve worked on a lot of codebases and your “usually” is highly debatable. I don’t think the difference in understandability will be as big as people think as tooling for ML evolves.

Something like Godbolt for neural networks? Can’t be that far away
There are also millions of Apple customers who have no idea that Apple is actively going out of their way to ensure that the devices they own can't be upgraded.

I think it’s way more likely they’re trying to create devices that are lighter and more reliable.*

Does anyone here really believe that the vast majority of users would ever upgrade a laptop? I don’t mean the folks here, we’re outliers - although I think this is true of _most_ of us too.

They get one that does what they need, and buy a new one when modern software won’t run on it well. It’s really unlikely that they even could upgrade it sensibly, because at that point most every component in the new laptop will be noticeably better and so it’ll be better to get a new one with all-better components.

If what I said above is true, the non-upgradable laptop is the more responsible option - it’s less resource-intensive to produce, lighter to transport, and probably more energy efficient in use.

*Edit: and cheaper!
Children go with their parents to those locations and/or have trusted adult supervision. TikTok has and encourages neither.
Maybe this helps in some places, but the negativity described here will not win you any friends when the subject is your coworker’s pull request and not a random journal article. I always try to see other perspectives and understand why a choice was made and get people to think instead of judging what’s been done. Working with “the smartest person in the room” who believes there’s only one right way to accomplish a goal can be hell. People often mistake confidence for leadership.