skysight-inc/HackerNews huggingface dataset:
Google was the leader on computational smartphone photography. They released their "night sight" mode before Samsung and Apple had anything competitive.
Ask HN: What's the most frustrating part of software development for you?
I'm a software engineer who's been building products for over 8 years at companies small and large.

To me, the hardest part about my job is dealing with non-existent or poorly written documentation that is often out of date. I'd like to know what the hardest part is for you, and how you currently solve for it.

Full disclosure: My co-founder and I are working on AppLens (https://applens.io) - an enterprise SaaS application that aims to solve this problem. If you're a dev, we'd love to talk to you about your pains and what we can build to solve them for you.
If they already have a non-revoked 3rd class from before, though, having used one not on this list may not prevent getting BasicMed. Even if you’re technically eligible for an SI you should just do BasicMed and not risk it if you don’t have to. Disclaimer: not an AME, YMMV.
On a non-google level just being aware of code sitting around costing resources is pretty important. Often, tests and maintenance are just ignored or not calculated in as cost (be it time, money, effort or otherwise). It is almost in the same realm as "I don't know why it works" which is as dangerous as "I don't know why it doesn't work".
Eli Lilly releases more data for obesity drug, moving toward fast-track approval
I wouldn't feel too disheartened just yet, if people wanted to read instead of watch videos then we all would've stuck with blogger, or even just go back to usenet. As you can see in the comments here, these services are a dime a dozen. Seems like everybody and their mother have made a youtube summarizer, its like the todo list app of the ChatGPT api.
Nothing in that article mentions their sense of pitch being detuned "months later."
I reluctantly switched from Android to iOS last year. I wanted to stay with Android. I miss many features of my Android like web-based messages integration, and a Message app that doesn’t eat messages (send or cancel… are you kidding me?). I liked freedom of choice. But, I was not confident that any of the Android offerings of the time had quality hardware or software that would last years.
Android desperately needs a premium offering with white glove service. Someone that stands behind their product for years, not walk away after the sale.
To win back kids, there needs to be cachet. They can’t just meet Apple’s quality and convenience — they need to exceed it.
They need less vendor-specific bloatware and a great experience and integration out of the box.
Also w(1)
Profiling is inherently probabilistic and I don't think it should be used. Anything that inspects the runtime (dynamic) behavior of code isn't good enough for a code deletion tool. Only static analysis will do.
Sounds do-able. Radio available on the web too. https://www.liveatc.net/
It has a lot to do with whether "ChatGPT is an automated confirmation bias machine for hypochondriacs" is a valid worry or something that should disqualify you from being a medial professional dealing with patients.
Emergent Ventures Unconference 2023: Diverse Perspectives
> That wasn’t their claim at all, so it seems questionable to demand they prove this.

That is a fair criticism.
> Because, there are exactly zero doctors pushed out of the practice of medicine.

This is exactly not true. You might argue too little doctors are pushed out, but you did not. A doctor loosing ability to practice medicine is an actual real world thing.
A Windows dev kit isn't useful as a Linux server? Tell me more.
The GPU isn't actually used by llama.cpp. What makes it that much faster is that the workload, either on CPU or on GPU, is very memory-intensive, so it benefits greatly from fast RAM. And Apple is using DDR5 running at very high clock speeds for this shared memory stuff.

It's still noticeably slower than GPU, though.
This article has a lot of the hallmarks of being written or edited by GPT - a lot of interjections like “that said”, “further,” “nonetheless” etc..

Did they just take the source article and have ChatGPT summarize it?
I'd say that if people spend less time on YouTube, that's probably a good thing. I think people are just getting bored of social media/YouTube now that's it's lost its novelty. It feels super leveraged now, and hard to find the real substance. There is a return to long-form media like Podcasts, audiobooks, or books for this reason. Maybe people are also realizing there is only so much information they can absorb, and they'd rather absorb less, but of higher quality, than consume random videos.
Purely on wind & solar? Probably only islands.

But major cities are getting close.

Adelaide, Australia went from 100% carbon energy in 2007 to ~30% today, and looks to hit at a net 0% by 2028.

https://opennem.org.au/energy/sa1/?range=all&interval=1M
Microsoft uses a scream test to silence its unused servers - https://www.microsoft.com/insidetrack/blog/microsoft-uses-a-...
>It wasn't a unique case. It happens about once every 20 years.

Alright, that's so rare it's hardly a data point.

>I live in the middle of the Seattle metropolitan area, not out in the country.

Wait, so you aren't even talking about the city of Seattle? Never mind...
Most "best (or worst) ever" lists are heavily biased by recency and personal experience. There are rarely objective metrics for this kind of thing

To wit, my list of best consoles are all of that era when you could have 4 controllers plugged in and spend all night long partying with your friends. Now that I'm an old, I won't play online matches, and I don't have all night parties so every system sucks now.
What about those of Togo, the dog that did most of the work?
I think the takeaway is that at Google's scale, even if you think some minor problem is not pressing enough to be automated, it will become pressing soon enough.
https://videohighlight.com/ is another option, mostly focused on note taking.

There are no limits so at this stage.
Nah, there's stuff that scans the entire repo regularly for all kinds of interesting purposes, and of that's ignoring the fact that `atime` isn't available or a source of truth in piper.

Like conceptually I believe this could be wrong in both directions, since there's heavy caching of build artifacts, you can totally build a transitive dependency of some file without actually reading the file (and potentially do this for a relatively long period of time, though I don't think that will happen in practice), and stuff will regularly look through large swaths of files that aren't necessarily run.
Ritz crackers serrations are for cutting cheese
Pet chips are RFID chips in a glass envelope https://en.wikipedia.org/wiki/Microchip_implant_(animal)
Because we have to go after all drops
There's tons of formal verification work available in the hardware industry. Besides that, there's work in defense and AWS has been hiring lots of formal methods people in the past few years. I'm currently working in the hardware industry on formal verification of CPU microarchitecture.

To answer your questions:

- It's sort of a crapshoot from what I can tell. I'm early in my career and working on an early stage from-mostly-scratch CPU project, so your mileage may vary. Some of the work can be really stimulating--modern CPU designs are very intricate and just understanding the design well enough to formally specify its correctness can be quite fun. Frequently the problems will be fairly routine and your effort will be spent slogging through bugs in junky vendor tools. One thing to note is that the economics of formal verification in industry are quite different from academia. Timelines are short, and getting a partial proof of correctness with a quick fully automated method (e.g. model checking) is greatly preferred to a full proof of correctness with manual reasoning in a tool like Coq/Isabelle/Lean, which makes the work way less appealing from a mathematician's perspective.

- The salaries don't seem to come close to top of market for FAANG software engineers, but it's comparable with tier 2 software companies. I have heard Qualcomm especially and Apple pay close to FAANG top-of-market for formal verification engineers. My starting total compensation out of college with 1YOE between college years was about $165k, which is $22k less than what Google pays new grads according to levels.fyi. With a post-doc, you could start much higher, I would guess. AWS would pay well, of course. Hardware startups might also pay better.

- Going to answer the remaining 3 in one go. This is a super cool field with a rich academic literature to pore over, but it's held back by immature tools and a very conservative culture in the hardware industry. I think the growth and maturation of the field over the next few years will be very exciting, especially as recent developments in AI/ML are brought to bear on formal methods. There's exceptional demand for formal methods engineers in the hardware industry. From what I can tell, it is very difficult to hire for these roles, and they are generally filled internally by people with a conventional validation or digital design background who want to try something new. You won't be competing with many people for job postings.
Here's some reading about how much propaganda there has been for gas in the last century or so:
https://www.motherjones.com/environment/2021/06/how-the-foss...
It's my personal nemesis. I've finally just gotten to the point of memorizing "oh here's where the /real/ code is for this subsystem" after doing the interminable traceback enough times. Not a fan.
>Really, what good reason is there to have data and behavior bound to the same object?

Building in code APIs for libraries.
I wonder where a critical threshold might lie? For example, right now if you only have 24Gb of VRAM, the best you can run locally at usable speeds are the 4-bit quantized LLaMa 30B models, which are only semi-usable. If you have 48Gb however, you can run the 4-bit quantized LLaMa 65B, which is much better.

I assume there will be advances that basically make the context window practically infinite. That ought to make the lower parameter count models much more powerful on its own. I also assume they will become more efficient to run through sparsity/pruning, though I'm a total novice on this topic.

I wonder how many generations of hardware are we talking? One? Two? Or three? It feels like it's potentially within that range.
Is this it? https://apps.apple.com/ca/app/blind-compass/id1546647415

I’m not blind but I have terrible time with directions and navigation. I’m gonna try it next time I have to stick to a general heading.
> Android doesn't really offer something iOS/iPhones lacks.

My Android does not claim to keep the internet connection open after I close it.

Apple will happilly communicate with mothership even if you turn off mobile data or wifi.
"Is possessing the material different?"

I mean...yes? of course it is?

It's like pretending to watch a football match on tv to be materially the same as being in the field.

There is of course the question of whether he shared it or not, or if it was just for personal use, but still, as horrible that subject might be, I'm more than a bit mystified at the idea of the act vs. watching the video of the act considered as being even remotely in the same ballpark.
sled work is work!
you don't personally know those people anymore?
Afaik on an international level there's been a somewhat universal consent that natural gas is the "transition fossil fuel of choice" [0], due to being the fossil fuel with the lowest emissions.

It also has the added bonus that gas infrastructure can realistically be retooled for green hydrogen, and related products.

[0] https://www.iea.org/reports/the-role-of-gas-in-todays-energy...
Wiley removes the editor of Journal of Political Philosophy
http://www.lispworks.com/documentation/HyperSpec/Body/f_firs...

http://www.lispworks.com/documentation/HyperSpec/Body/f_rest...

Circa 1990 or before.
About this time I always "begin" to wonder how helpful would it really be for someone born with perfect pitch today at A=440 if they would have instead been born during a previous century when the recognized standard pitch was seldom A=440?

I would have to imagine it would drive some of them nuts.
wow! finally something neat from journald
A paid YouTube subscription, short quality videos, and a dislike button to combat clickbait sounds like the solution to most of those issues. A lot better than wasting millions of man hours to fulfill some ad quota. Granted, I understand that it's difficult but bundling it with YouTube Music seems to give it plenty of value.
Ubuntu new installer is based on Flutter
I loved using termux to run bits of my R code in it. With git and my text editor/IDE, it actually felt pretty good.

Sadly I can't seem to get R to work on it these days.
What do you mean by "quality above the lowest tier"? ChatGPT-3.5 is the cheapest of their models right now, and it's also generally the best of all the 3.x ones, although the older GPT-3 models can sometimes beat it on non-task-oriented stuff (like long compositions).
Move to Texas
Not all, just 2277 + buyables/easy ones, but still well north of 20k hours (including rs2, so not just since 2013) all told. If it actually were 200m all I'd probably feel differently.

And no, not really.

One, it was a lot of fun. I guess I should clarify that I spent much of that playtime doing pvp of one sort or another and the stats were almost incidental. Mastery of one thing has always been more attractive than spreading time around a bunch of different games, and I have a lot of fond memories of what it was like to play that game at a high level and still have good friends from that time. So, from that angle I don't consider the time wasted any more than I'd consider time spent relaxing, playing any other games or reading a good book wasted. I was never a NEET and didn't really push it beyond what I'd call fairly typical entertainment hours per week, but those hours were just concentrated on this one thing over a long timeframe, and that adds up - especially when both leisure and competitive goals are satisfied by different aspects of the same thing. More a case of being unusually efficient in using my spare/entertainment time than of reshaping my life around it.

On that note, you develop some pretty intense split focus abilities regularly playing multiple accounts at once and/or doing high-intensity skilling. A lot of those hours were actually me, in some kind of zen robot state, bashing out actions while paying almost full attention to reading or watching something else. Read an awful lot of books while grinding, worked on my language, got some good treadmill/powerlifting time, that sort of stuff. I find that I'm more relaxed and creative when doing some kind of physical activity like running, and that same dynamic felt true of skilling. When not multilogging, skilling can be very meditative and relaxing. Something about having a task that takes some but not a ton of attention is just nice.

Two, I owe my professional tech career to it.
What is everyone’s thoughts regarding switching in the first place? If you have switched, what lead you to that decision? I feel like software is a cool career in that we’ll never make “bad” money even if we more around. Even if we may never reach our full salary “potential”.
What should you do when an engineer resists all feedback from the product team?
The dangers of letting AI loose on finance
That was such a mind blowing experience coming from a DOS background. It would split your terminal horizontally and you could see each other type in real time.

Before the days of SMS, and even before the days of instant messengers like ICQ and AIM, I taught the split-screen `talk` command to my girlfriend so we could chat while I was working. We've been married for 20 years now.
Ask HN: Starting my first job in a startup. Advice?
Hey HN! I'm starting my first "real" job in a 50ish employee startup.

To be honest, I'm terrified of multiple things:

1. Why did they pick me, that too in one of the worst job markets? I'm sure they had tons of better/experienced people to hire.

2. What if I don't live up to their expectations?

3. I've always had trouble drawing the line between work and personal life, how do I balance this?

I'd love any perspectives on this situation, or even anecdotes of when you started a new job at a new-ish startup.

Thanks HN!
Scientists May Have Figured Out How to Regenerate Lost Hearing
It only takes one person's evidence to prove your generalization wrong. My last visit to a podiatrist had dozens of ads on the walls and television that was airing nonstop commercials for medical products. Nothing makes for a better captive audience than excruciatingly long wait times.
Have you used an induction stove before? It's better than gas, and it's not even close (and yes, I have a gas range). Note that induction is not the same thing as resistive.
Your [2] reference is an article about rumors and speculation.
Gas alliances are significantly cheaper to run. Also perform better. Gas dryers are awesome compared to electric for example. Plus electric goes out often. Gas doesn’t.
I built a todo list extension that blocks addictive websites until you finish your tasks. Importantly it redirects you back to your todo list and shows you a pair of disappointed eyes.

I believe it really helped me deal with procrastination, but of course the whole project was just a way to procrastinate.

I planned to make it a business, but many of its features are now built into OS. And Google doesn’t like it.

You can still get it for brave and Google chrome, but I’m no longer working on it. In case it you need it. The Firefox version is not good.

prodtodolist.com
> When you point this out to advocates, you'll get an entirely different argument

This is a very common argumentation tactic, and it usually exposes that the first argument(s) are just a front for our actual axiomatic belief (which hasn't been disclosed). The core principle is often something that we know is much more controversial.
Why should I already know? I’m not the one volunteering even more of Americans’ hard-won tax dollars to save people in other countries when we have many, many people hurting in our own country. Those in favor of taking more of my money are responsible for presenting a compelling reason to do so.
How long before he flips? You'd have to pay me $300k min to move back to the Bay Area
Lol, imagine GPT-4 telling him its a waste of money to use the API and that he should do it on his own.
Of the small models, Vicuna and WizardLM seem to be the best of what's available right now. Quantized 7B models are just under 4 Gb of RAM, so they should fit on most GPUs out there; and even if not, they're "fast enough" on the CPU. But if you have enough RAM to run vicuna-13b (12 Gb should do it quite nicely), I'd start there.
ah that makes more sense, like those 15+ story buildings? I should have clarified my comment was in regards to SFH or triple deckers. I would honestly think it would be easier to implement in SFH but I'm guessing it's mostly due to developers cutting costs and that there is no regulation to actually make a viable one.
> I haven't seen evidence that this regulation will prevent the planet from being destroyed.

There is plenty of evidence that a 100% phase out of natural gas is necessary but not sufficient.
Indeed! But governments can control the money creation process by adjusting interest rates (specifically the rate that banks can borrow from the central bank), and market operations like QE
Kolibri: USB Dongle with Lattice iCE40 FPGA, RP2040 and PMOD Connector
Yeah no thanks!
> But when you dig into the details, it seems like the regulation may not have much effect on climate change at all.

The truth is that when you dig into the details, nothing is going to have much effect on climate change at all.

People alive today with any ability to affect change aren’t bothered enough by climate change to make any meaningful changes.
It’s all made up and/or overblown by climate doomers. Vented gas is fine and great and removing them will contribute 0 to climate change.
Code deletion is much easier when you have a typed language with no meta programming. I guess Go and C code is easier to tree shake like that, than say Python or JS.
https://www.wsj.com/articles/apples-iphones-are-winning-over...

> Around 52% of people age 18 to 29 in South Korea were using an Apple smartphone as of 2022, up from 44% two years earlier, according to polls by Gallup Korea.
Bummer. The Microsoft hardware I've dealt with has been solid. I still live in terror of dropping my Microsoft Force Feedback 2 joystick on its head just one too many times and finally killing it. Looks like Amazon has them for $200 and up, guess that's a possibility if/when the worst finally happens.
Interesting, I live in Spain and every home I've been to has one.
And the literal meaning is “Scythe Man” (which, I'm sure you can guess at this point, is a compound noun of “Sense” for scythe, and “Mann” for man. Both the German Sense and English Scythe derive from the proto-germanic Sagu meaning to cut or saw.)
> That said, there are way too many people out there who have no experience with conditions which require medication, who seem to think that those things are a substitute for medication rather than a baseline that must be kept up alongside medication.

It is complicated. Some people have mental health conditions which are always going to require medication. Some people have mental health conditions which are never going to require medication. And some people have mental health conditions where it depends on environmental circumstances. For that last group, lack of sleep/diet/exercise/etc can be part of the environmental circumstances which makes medication required, so fixing that can make medication less required, and may even go some way towards making it no longer required. Even if certain other things can make medication no longer required, sometimes it is still helpful in the short-to-medium term to give you the space to implement those things

> but I tend to assume that a driver to thinking this way might be the sense of safety that comes with self-righteousness

There are serious concerns about iatrogenic harm in mental health due to overdiagnosis, misdiagnosis and overprescribing. Some people who are critical of medication are approaching the issue, not from some sense of superiority, but rather from negative personal experiences with the topic, for themselves and/or family members.

Taking psychiatric medication and being critical of it are not mutually exclusive-I myself do both. Medication is the least worst thing for me right now, but I hope one day I can solve some other problems in my life and remove some stressors and I may eventually wean myself off it. And simultaneously I believe a lot of people out there are being harmed by being prescribed the wrong medications. For example, the widespread prescribing of antipsychotics to adults and children without psychosis, by prescribers who are ignorant of the risks of brain atrophy [0] and who don’t communicate those risks to patients/parents. If you have schizophrenia, those risks may be the lesser evil; if you have a kindergartener with Aspergian traits and mildly violent behaviour, I’m not convinced it is. Maybe as a last resort once you’ve exhausted every alternative, but I know clinicians for whom risperidone is their first resort for such a patient not their last

[0] https://journals.sagepub.com/doi/10.1177/0004867418797419
Induction stoves are a lot better than gas stoves these days for most purposes. Faster and more consistent heating, easier to clean, less stray heat in your house... basically the only downside is that you can't use a wok or other non-flat pan without specialty equipment.