skysight-inc/HackerNews huggingface dataset:
Interesting the author says “other manufacturers don’t bother”.
Unsurprisingly the real reason is “Apple was granted a patent on this over a decade ago and no one is risking an Apple patent infringement lawsuit over laptop speakers”.

https://patents.google.com/patent/US20130329898

EDIT: I say granted because that’s how most people understand patents and when they take effect. What really matters on the timeline here is the filing (priority) date and the grant (publish date).

It’s patents so it gets really complicated but essentially the later grant (after patent office/authority “review”) more or less makes the effective date the priority date - which to complicate matters even further can actually be the filing date of a referenced provisional patent that (in the US) can be as long as 12 months before the non-provisional (real) patent filing.

Clear as mud, right?
> taurocholic acid is hepatotoxic.

Taurocholic acid is a huma bile acid. I may increase liver enzyme levels with some patients, but to say it is toxic to the liver is fear mongering.

https://www.ncbi.nlm.nih.gov/books/NBK548276/

Not that I think their research is useful in anyway. Anytime you want to treat a disease through a receptor you always end up with changes in receptor density which make the drug useless.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4106030/
I think it's more about barrier of entry and ease of use
I'm still thinking the greatest danger of GPT is its abundantly demonstrated ability to turn off and/or get past people's critical thinking capabilities moreso than its ability to replace people's jobs. I'm yet to see a code snippet past 4 lines that particularly impresses me. Is that legitimate progress in the field? Yes. But not quite ready to throw in my towel.

I do somewhat fear my career turning into cleaning up ChatGPT-created messes. Of course I've already cleaned up my fair share of previous coder's messes. But ChatGPT messes have the potential to be a real nightmare even beyond that.

Everything beyond 4 or 5 lines has contained bugs, be they subtle or blatent (as this one is). But what's really concerning is that either A: the author doesn't notice before writing about how amazing ChatGPT is at code or B: the author doesn't even think to check. Both are terrible, but each in its own way. And it is this reaction that concerns me more than the quality of ChatGPT itself.
Why do you need a middleman in the first place?
Always have been. (This case is just more conspicuous.)
My favourite bit is where he goes "Okay I had to learn a lot about number theory / RF propagation / Victorian literature / 17th Century French politics / exotic timber for this bit, so now you've got to learn it too."
Cool. I'm going to stop calling the guy who killed one of my friends a murderer, or the Sacklers. It's really disrespectful to the people who were killed by Hitler or Pol Pot.
To go the whole distance the wrong way, you could make nearly all of it external.

All the peripherals, wifi and Bluetooth on a USB dock, and run the monitor off a thunderbolt GPU. Think you’d then just be using the two ports and the CPU. The ultra non-portable laptop.
How do you get an instance of licensed Windows to run within the VM?
> Everything is much more fun when it's paid by someone else, that's why the old web was so nice.

What are you talking about? The old web was filled with ads. They just weren't tracking you every nanosecond of your life.

Google's AdWords was launched in 2000. DoubleClick that Google acquired in 2008 was launched in 1995. Ad exchanges are from 1998. And so on https://en.wikipedia.org/wiki/Timeline_of_online_advertising
Saying "there are two genders" does not make anyone a hateful bigot.
Why applying when you already knew what they would be paying ?
For me this sounds just like the lecturer inserted some casual sexism.

I can say from my own experience at least at my university, that "Altherrenhumor" ("old gentleman humor") like this is still very common in German engineering lectures even today, or at least well into the 2010s.

I would even call such a re-ordering of the genders in the greeting very tame. If you are a woman, you better come to your lectures on time. If you enter the hall half a minute late, the entire hall would whistle at you and cat-call you. Sometimes with support of the lecturer, who would consider it appropriate hazing for "disturbing" the lecture by being late.

At least there started to be at least some sort of push-back by the administration during the years in which I studied, and the really bad stuff only seemed to happen in classes dominated by the mechanical engineers.
Can't comment on this case, but I used to work for a company that did similar verifications.

The omission of the exact reason is intentional - as an example, I distinctly remember seeing the same mistake appearing on photoshoped passport scans over and over again. If the exact reason would be told, bad actors could exploit it more easily.

With that said, this policy also causes false positives. The goal is to exclude as many bad actors as possible, while minimizing the number of false positives. But there will be always false positives unfortunately.
Anyone thinking this might have potential as an unconventional weapon might find it interesting to read Neal Stephenson's Zodiac. The protagonist, a chemist-turned-environmental-activist, makes some Putrescine (a similarly stinky substance) for self defence.
Distributing a static HTML page content does not need a VC. Nginx on an RPI on my home connection does provide sufficient level of performance and availability. If I need more because my content is way popular, I guess a monetization scheme (asking for a tip) might cover it ?
the headline on this article is really an egregious example of the negative impact of sub-editors on journalism. The implication is that China is sending up LEO satellites in order to suppress Starlink, when the article says nothing of the sort, rather that the intent was to create a rival system and not have Starlink dominate the (literally) space and therefore the market. But hey, China bad gets clicks and upvotes
> The thief can also often loot the phone’s financial apps since the passcode can unlock access to all the device’s stored passwords.

My multiple banking apps all require me to authenticate again at least with FaceID every single time I use them, with very short timeouts. Which bank’s app can be looted with the phone passcode alone?
That isn’t us centrism, it’s just a search that hasn’t been optimized in any way. Los Angeles gives a poor first result as well.
> You can buy a good mini-pc for a couple hundred bucks and its much more powerful and flexible. You can run windows or linux etc and hook up any keyboard, controller, remote, and do whatever you like.

More flexible, yes, but are you really getting more powerful than an A15 for that price, especially when running a general purpose OS?

That last point is really hurting why media PCs disappeared: you’re paying considerably more - a whole number multiple - for an experience which isn’t designed for a TV, and in return you get the fun of playing sysadmin when you’re trying to relax. Most people are not going to pay a significant premium so they can deal with drivers and trying to figure out why their HDR isn’t working. Device lifetime theoretically could counter that out but I’m skeptical that hardware won’t be what sets the timing for that in either case, and the dollars per year metric isn’t favorable there.
I don't understand your question. Care to elaborate?
Is there anything that’s made better for the enterprise market?

Network switches and wifi access points come to mind, and that’s it?
At the end of last year, Ars Technica picked up this piece on the researchers you describe:

https://news.ycombinator.com/item?id=33134963
Here's an article from the SEI covering the problems with using Ghidra for malware analysis of Rust code. See "Binary Analysis Without Source Code" https://insights.sei.cmu.edu/blog/rust-vulnerability-analysi...
How do these peripheral airports get to name themselves in such a misleading way? 'London Oxford airport' isn't even in Oxford; locals still call it Kidlington airport.
Unless they are looking at each individuals genetics and ways to control their oxidative stress I do not want to hear about any thing that might "help" MS patients.

https://www.frontiersin.org/articles/10.3389/fnins.2020.0082...

There will never be a singe treatment for MS. Never. Because genetics and exogenous influences. The only reason that MS has not been cured in anyone is they refuse to use Personalized Medicine.

If you have RRMS or know someone who does, I advise you to take this route, investigating sources and resolution of your own oxidative stress, to limit relapses.

By the way, most bile acids, like taurocholic acid, are antioxidants.
No, all the bloggers I was reading on the old web were paying for their hosting a few bucks a month and no VC were involved.

Some of them included ads but they were mostly in a sidebar.
I go even further. Two completely separate households - one for work, one for personal.
No amount of pay can stop people from getting hit by a bus or leaving for other reasons though. Michael Jordan is an interesting example because he eventually did stop playing for the Bulls (because he retired) and then it took the Bulls six years before they made the playoffs again.

More in general: everyone thinks they're the "hero" in the situation and that they're underappreciated, but for the company the team is (and should be) more important than the individual. Imagine if you got laid off because the "hero" in (say) the sales team died and now the company is no longer profitable, because he/she was the only one bringing in any orders. Would you consider that a well-run company?
I did a PhD in statistics, and spent a lot of that time doing applied modeling.

My perspective is that MCMC is one of the great scientific discoveries of the 20th century. There are pros and cons to different samplers, lots of caveats, concerns over convergence—all valid. Still, MCMC opens up a whole new world of model building, letting you easily try a whole slew of models. It provides flexibility, even creativity. As a concept it’s clever. As a technical achievement it’s amazing.
I was just riffing. Didn't know it was a real thing! But it makes sense, damn I'm smart! ;p :) ;p xx
Thanks for the link, I’m going to have a go with it!
Your belief isn't required. After decades of paying a kings ransom to twitchy weirdos who sandbag deadlines, blow through project budgets like a freight train through tissue paper, and who's final product has a nasty tendency to cause as many problems as it solves, business managers are thoroughly incentivised to explore alternatives.
I'll say I'm a bit amused that North Korea us not researched yet.
Just tell it how you want it to act, and not act, extra descriptively.

You may need to put a little structure around your iterations.

Congrats, you didn’t have to hire anyone.

The “next big job” claim doesn’t understand exponential change. That job will eat itself faster than it eats anything else.
It's so frustrating even pursuing that with Apple for these very common issues. They'll gaslight you with the friendliest of words and nicest of smiles until you just give up and bugger off for good.
Meta comment: the UI of mastodon is really bad.
It only uses the first 5 letters so administrator should be fine (“admin” isn’t a built-in). Guest could be interesting, though.
So you have two choices: continue living on your own and paying rent which is probably costing you around $800 - $1200 or move back home and pay nothing?

If you move back home, you can, will, and won't:

1. Appreciate the presence of your parents, the time is quite limited, more than you realize [will]

2. Save any money that would have gone towards rent [can]

3. Make a plan to become profitable by X date with an extended date in case you haven't become profitable. [will]

4. After becoming profitable, coming up with an amount for when you will be moving out or decide if you just want to stay and pay them a bit of rent for helping you out until you make double or triple enough to convince you to get your dream place [will]

5. Play video games all day [won't]

6. Dedicate at least 6 - 8 hours a day to working on your projects [can]

So with a good opportunity in mind, roommates can be awesome, but they are just mostly semi-friends helping you pay rent. Usually nothing more and nothing less. You'll appreciate it when you have a place of your own. I moved out when I was 23 and never moved back home again.
Which part of this app is using LiveView? Since what you link to is using next.js. Are you guys mixing the two?

I really want to find a reason to build something with elixir, and it might be viable for my current work project. We won't be replacing our next.js frontend, though, that's for sure, though I wouldn't mind experimenting with it.

I'm mostly interested in deploying elixir on the backend, since we are using microservices, and there would definitely be a couple of services where elixir seems like a great fit. OTOH, we are also pushing some data through ML models, and it seems like Python is still the only real choice for this kind of stuff. I really wish it weren't the case, since the python interpreter with its GIL is just a piece of crap, to be frank.
FOOF is my favorite. Come for an analysis of Streng's papers and stay for Satan's kimchee.
Tools on the internet, curated by hand, daily
I think this article does capture the magic of elixir phoenix live view that is impossible in the async await madness hell in python. I cannot wait to try elixir Phoenix live view, elixir |> pipes, :atom pattern matching and ets pids to send and manage processes across servers none of these AFAIK are currently possible with the GIL and single threaded nature of python

As the venerable prof Joe armstrong would say

you need erlang and haskell for fp you need c for high performance you don't really need cpp Java python c# etc

Also as an aside does anything in haskell have something similar in spirit to phoenix or live view?
You should see what they name towns in Maine. Not the Paris you expected.
trust is now truly dead.

the old internet adage applies, don't trust anything with a screen.

each day i get more nihilistic about tech.
Worrying for anyone that's involved in the supply chain and procurement side here. Reputation damage will taint food and drugs of any nation and phamacitucals in India is massive business.

I hope they tighten their controls but there's so many smaller phamacitucals in India I'm not sure how it'll work. The regulatory pressures and and enforcement in India is largely driven by multi national drug companies with strict quality controls.

National standards aren't taken seriously in these countries.
The UK is an authoritarian, privacy-less, censorship-rife hellhole.
Or maybe... This is a small issue and mitigations against this are all worse for users than the problem?
Good reference, I had actually starred that on github to refer to later and totally forgot about it.

Do you know of a review of the various open source verification tools available for C? The ones I'm aware of: CBMC, Frama-C, VeriFast, ESBMC.

I've found papers like [1] which benchmark various model checkers, but no evaluation of the verification effort required for the various approaches.

Edit: the tutorial for VeriFast does not make it look very usable compared to Frama-C's ACSL language. Their tutorial doesn't explain a bunch of the syntax or why they made certain choices, so it all feels very unergonomic.

Edit 2: The SV-COMP competition on software verification [2] tests a whole bunch of tools, but Frama-C and VeriFast are not among them. Looks like CPAChecker [3] has the best power-to-weight ratio if you're looking for one tool to learn with the most errors caught across all benchmarks.

[1] https://arxiv.org/abs/2003.11689

[2] https://sv-comp.sosy-lab.org/2020/

[3] https://cpachecker.sosy-lab.org/
Outsourcing all over again
Mountain Lion please, 3 years in a row.

My new battle is that Apple Mail search just stops working. Quitting and reopening doesn’t do anything. When it works, it’s almost like crafting the ultimate regex at times.
Nora is a long-time member of and contributor to the fediverse and not some looky-loo who parachuted in during a boom to dismiss it out of hand. I've skimmed and read past the headline and saved for later reading. I recommend everyone also read past the headline.
Awesome read. I don’t know why the idea of houses on a bridge captures my imagination so much but it absolutely does.
> accounting a job of the past

sure. accounting stays.

so will software development.

but would you hire the boomer with the abacus or the whizz-kid that can wrangle the AI to deliver you a full software project in a few days.
>left and right structures were present at approximately 1:1
https://archive.is/PAZCe
In my class 5 years ago, the differentiating factor was whether the kids who grew up online or not. Students like myself or my roommate who’d spent their formative years in front of a computer, not because they had to, but because it seemed like the thing to do at the time. I never realized how much I was learning during the time I spent scripting RuneScape bots and writing toy “viruses”, I did it because it was more fun.
Selenium stinks alright
Because of a quirk of my employment, my AAD account was deleted and recreated, which means I now have two Azure DevOps accounts with the same email, one of which is unlicensed (and not attached to an AAD identity). It is fairly random which one it tries to sign me in with, and every once in a while clicking on a link in ADO will sign me out because it got confused about who I was. It’s insane, and there’s no way to nuke the old account.
That's not what this says SOCK_DGRAM is: https://www.ibm.com/docs/en/aix/7.1?topic=protocols-socket-t...

I don't know how it could be. In order to send chunks of memory you first need primitives of memory that can be sent.
Only anecdotal, but a friend of mine in Adelaide is having his rent increased 30% as of April.

Thirty percent!

Understandably he's looking to move and buy because fuck being beholden to that kind of bullshit ever.
He'll stand as independent at the next election, hence getting automatically expelled from the party.
Thanks. I guess I get a black hole for a faulty assumption (a star for a right guess?).
ramda - JS
https://archive.is/W3qCe
I liked in particular this year's collection of phrasings from Charlie, Warren's long time partner:

• The world is full of foolish gamblers, and they will not do as well as the patient investor.

• If you don’t see the world the way it is, it’s like judging something through a distorted lens.

• All I want to know is where I’m going to die, so I’ll never go there. And a related thought: Early on, write your desired obituary – and then behave accordingly.

• If you don’t care whether you are rational or not, you won’t work on it. Then you will stay irrational and get lousy results.

• Patience can be learned. Having a long attention span and the ability to concentrate on one thing for a long time is a huge advantage.

• You can learn a lot from dead people. Read of the deceased you admire and detest.

• Don’t bail away in a sinking boat if you can swim to one that is seaworthy.

• A great company keeps working after you are not; a mediocre company won’t do that.

• Warren and I don’t focus on the froth of the market. We seek out good long-term investments and stubbornly hold them for a long time.

• Ben Graham said, “Day to day, the stock market is a voting machine; in the long term it’s a weighing machine.” If you keep making something more valuable, then some wise person is going to notice it and start buying.

• There is no such thing as a 100% sure thing when investing. Thus, the use of leverage is dangerous. A string of wonderful numbers times zero will always equal zero. Don’t count on getting rich twice.

• You don’t, however, need to own a lot of things in order to get rich.

• You have to keep learning if you want to become a great investor. When the world changes, you must change.

• Warren and I hated railroad stocks for decades, but the world changed and finally the country had four huge railroads of vital importance to the American economy. We were slow to recognize the change, but better late than never.

• Finally, I will add two short sentences by Charlie that have been his decision-clinchers for decades: “Warren, think more about it. You’re smart and I’m right.”
Age: Modern file encryption format with multiple pluggable recipients
It was 4 monks. Hardly remarkable as a number.
I’m confused - are you suggesting that people use headphones instead of small laptop speakers to not annoy their next door neighbors?
She reversed her RRMS! How is that fraudulent? Or is it that you just cannot come to believe it?

She is a clinical professor of medicine at the University of Iowa Carver College of Medicine.

https://terrywahls.com/about/about-terry-wahls/
The general goal of all the windfall taxes I've seen proposed is precisely that the money used goes back to ordinary people so it can be spent instead of supposedly being wasted sitting around in the bank accounts of the super-rich. This does not, of course, actually help with the underlying problem that there is too much money chasing too few goods and services - it has the opposite effect by increasing the amount of money whilst disincentivizing companies from trying to expand production. In order to use tax to take out excessive money supply, that tax needs to come out of the pockets of ordinary workers and consumers who'd otherwise spend the money buying stuff, either through an increase in income tax or sales tax/VAT. Usually I think income tax would be used. This is incredibly politically unpopular and an election-loser since people see that the government is taking their money whilst they can't afford stuff and some corporations are making big profits.
If you don’t mind, I have some questions as I would like to learn more. Are you aware of a large models.py for reference and learning purposes? Is it expected to define the schema of all my models in a single place but none of the logic?

Also, don’t you run into scenarios in Django where the automatic migration is not enough and you need to provide custom commands? In such cases, how do you provide them?

And can you have scenarios where you have two models pointing to the same table, but perhaps to a subset of fields (this is specially useful in read-only cases)? How is that handled?

Thank you :)
I just use a@a.com which is a locked account someone setup for this purpose. It kicks you to local user setup due to being locked.
hop.io maybe
How would this work in practice? Would you need a proxy or non-UK VPN to access the Signal servers?
Same. Fun sight, but pretty annoying on FF.
It's striking how many of liberalism's most cherished myths are revealed as complete fraud when the slightest scrutiny is applied
Its just a lack of respect on the part of management for engineering. The engineers clearly stated that the new system was necessary. The managers just refused to respect their expertise or the integrity of the technology.
If you are not getting paid for your servers you are the VC/Angel.
I think that's a little harsh. Do you live in the UK?
My wife basically had all the problems you guys are talking about with her Minecraft account. When Mojang was independent none of this stuff was an issue but with MS you're practically pulling your hair out to do really basic stuff.

100% pure regression with account management.
They were paying for the costs? Then they were the VC. Some of them actually grew to be huge and wealthy.
You can enable restrictions in Screen Time, and not just restricting screentime. You can completely block Siri and dictation for example, or block account changes like the parent comment said.