skysight-inc/HackerNews huggingface dataset:
Thirteen hours later still no mention on the Cycorp website. Also the press doesn't seem to notice. Pretty odd.

The post originally pointed to Lenat's Wikipedia page; now it's an obituary by Gary Marcus which seems more appropriate.
Even of the people that do vote, it was only 32% of people that voted Liberal.
And which category of important-enough-to-be-historic contributions has he made?
It's new, many people aren't aware.
I’m sure there would be some but of course those resources are an opportunity cost for potentially more-valuable science performed elsewhere.
I don't count, but probably 10% of the total volume of messages that I send. A bit different for me as a founder though. It also spikes up and down depending on urgency/sprints
IMO social media got a little better once temporary stories came out.

Slack’s limited search history is a feature too - forces you to document using appropriate tools and not endless email threads…
That's a good way to lose an expensive drone. I mean, I defend my airspace. Doesn't everyone?
You're getting a working whole though.

I've always found that if you really strip down a distro something breaks. Either, uninstalling something wants to uninstall the entirety of gnome, or an installation wants to pull in the entirety of the KDE desktop, or you get weird breakages.

Plus I 'upgraded' crunchbang Linux (rip) to Debian, probably wouldn't work with a different init system though.

Plus plus. Debian is/was a 'hobby' distro, same with arch, same with Gentoo.
I have 2 boys, 10 & 12. The 12YO has an Apple Watch which is useful to keep track of where he is and being able to reach each him (or him reach us). No social media or games, which is what most people are worried about at that age. So it seems like a decent trade-off. You can set it up to not allow phone calls or messages from unknown numbers, which means no scam calls/messages.
I thought 300mg supplementation was the max your body could absorb each day.

If you do a lot of sport, you should take more than that?
The Fake Genius: a $30B Fraud [video]
Rust has that, it's called a type alias: https://doc.rust-lang.org/reference/items/type-aliases.html

I'm not familiar with that Go feature, but in Rust it's just introducing another name for a type. I've usually seen it used to introduce simpler names for complex types.
Did that, and Wii Remotes still turn it on.
It's certainly true that most people are deficient in potassium. The daily recommended dose for males is over 3 grams per day![1]

To make matters worse, the FDA limits the amount of potassium that can be present in supplements to 100mg[2]. So good luck taking 30 supplements to meet your daily requirements!

One option Id like to advertise is salt alternatives at grocery stores which are filled with potassium, some with at least 800mg per tsp. This can be another way to supplement potassium and magnesium in the diet [2]

[1] https://ods.od.nih.gov/factsheets/Potassium-HealthProfession...

[2] https://www.health.harvard.edu/staying-healthy/should-i-take...
Space travel via tether between asteroids
You can see why Meta, and likely Google, are quitting news though.

eg Google's profit was approx 25% 2022q3. So this would be a 16% of profit tax. Oof.
> we have 5 addresses to choose from

(8 if you scroll down)
VFX Pros Expose the Hidden Costs of Selling a Movie as “Real”
Foxglove | Remote (US time zones) | Full Time | Open Source | https://foxglove.dev/

Foxglove is the leading observability platform for robotics developers. Join our small (~20 person), experienced, and fast moving team to help robotics and autonomous vehicle companies log, ingest, organize, and visualize multimodal data.

I'm currently looking for a unicorn - our first Lead Sales Engineer to partner with our AEs, ideally with some robotics exposure, strong infrastructure fundamentals, and a passion for winning customers. If that sounds like you, please reach out!

https://foxglove.dev/careers

Email in my profile if you have questions (no recruiters please).
It will probably end up being the most popular things, the most viewed or read. More copies of it, more likely to be archived.

This reminds me of books. I’m sure the majority of books from over a hundred years ago are lost because they weren’t popular. We haven’t really noticed their absence…
Our dead deserve their justice
The law only applies to businesses deemed by the government's regulatory agency (CRTC) to be "news intermediaries". So far, it looks like only Facebook and Google will be covered by this. The law has guidelines on who qualifies as a "news intermediary", and it requires you to be of a certain size (large revenues), so this isn't going to apply to Joe Blogger's Car News.
The pay is going to be a steep drop from FAANG or even most software engineer positions in the US, but you are correct, generally higher than other faculty positions. You can lookup the median pay for assistant professor of computer science in the US and expect that to be the ballpark.

Folks from industry switch into this career because they want to give back, want a change of pace, and/or want the lifestyle (4 months a year off, a social environment, etc.). You definitely don't switch into it from being a software engineer if your chief or even second concern is pay.
Here's an interesting article on Eurisko written by Eliezer Yudkowsky: https://www.lesswrong.com/posts/rJLviHqJMTy8WQkow/recursion-...
I love to see more interest in the topic of digital continuity.

My philosophy around this is "File over app" — if you want to create digital artifacts that last, they must be files you can control, in formats that are easy to retrieve and read. Use tools that give you this freedom.

In the fullness of time, the files you create are more important than the tools you use to create them. Apps are ephemeral, but your files have a chance to last.

https://stephanango.com/file-over-app
Qakbot takedown payload analysis
Why not combine the two approaches? A bicameral mind, of sorts?
I think the point is that this is being sold by the government as them against big evil (billionaire) tech companies. When in fact it's genesis is the lobbying of local billionaires.

So let's discard the billionaire card, and discard the government's equally clique angle: we are against Facebook so we are right and don't look any closer.
Just ran into this. Many companies I request my data from have retention periods and would rather be rid of it. Rare are a couple that do seem to keep _everything_ though
Take it out of police pension funds.
No one never explains how to get 3000 mg of potassium a day and potassium is usually a very small part of multivitamin supplements. It makes me slightly skeptical of that number.
Are you thinking of the Epistle to Yemen [1]?

[1] https://en.wikipedia.org/wiki/Epistle_to_Yemen
Oh, on that I totally agree.

Math kind of lost me at the uncountable sets. Given the results from Gödel, the justification of law of excluded middle really needs a serious reconsideration.

But that's why I'm not a mathematician. (I suspect this aspect of self-selection facilitates convergence, but I don't see why it wouldn't apply to almost all fields of study)
I'm building a Starlark-based build system that operates at the level of building multi-container environments, rather than normal code assets: https://github.com/kurtosis-tech/kurtosis

It's kind of like Docker in the sense that it packages up an application in a reproducible, composable, and portable way...but instead of working at the level of one server, it works at the level of multi-server applications.

In the back of my head I'm very curious about making an application that just messages me on WhatsApp whenever its the birthday of one of my close friends because I never remember those
Steelhead | FullStack Engineer | On-site (Calumet, Michigan) or Remote (EST) US only | FTE
Steelhead is a SaaS for job shops.

Our customers rely on Steelhead to do work like PowderCoating, Anodizing, and Plating for customers like Tesla and John Deere.

Linux/Docker/Postgres/AWS/Node/GraphQL/TypeScript/React

https://gist.github.com/markhalonen/d626e288128f634b67e14e69...

Email me mark |at| gosteelhead.com
When salt=death was a thing in the 80's and early 90's, one of the 'solutions' was to substitute sodium chloride for potassium chloride. Sounds like we were accidentally fixing the wrong problem.
I love my VW GTI. I just drive it like my motorcycle: assume either no one sees me or is actively trying to kill me. So far, so good.
Location: California (Remote)

Role: Data Science & BizOps for Execs, Corporate Strategy, and Finance teams

Resume: Experience in investment banking, venture capital, product management, and bizops.

Email: contact@goscaleops.com

Happy to discuss needs for full-time and fractional scopes. Looking forward to connecting!
Hampden-Sydney College | Hampden-Sydney, VA | Onsite | Full-time | Tenure-track computer science faculty | www.hsc.edu

We are looking to fill a tenure-track or long term Computer Science faculty position beginning August 2024. We seek enthusiastic candidates with a commitment to undergraduate education. The teaching load for this position is six 3-credit hour courses per year, with an additional course every third year. Applicants should have a Masters degree or Ph.D. in computer science or closely related field. We encourage candidates with a wide range of specialties to apply. For more information and to apply, see

* <http://apply.interfolio.com/131318>.
How does 2% * 4% = 25% * 16%?
In my experience it makes people ask the same questions over and over.
I think by middle school it’s probably okay to not turn off the router.

Maybe I’ve got brain worms because I had more or less unrestricted internet access since the time I was able to use a computer, but it feels like it wasn’t overly harmful.

I spent far more than an hour behind a screen and I think I’m better off for that time. I spent a lot of time learning to program, learning mathematics, and consuming general knowledge content via things like vsauce, scishow, minute physics, cgp grey, crash course, etc.

However, I also spent a lot of time on reddit which I’m certain wasn’t ideal for my social development. I understand this case may not be typical and maybe not even reproducible given the addictive content machines like tik tok, reels, and shorts, but I think having the freedom I had was a net positive.
Which wouldn't really be an issue if all the trust wasn't unnecessarily put on a single system, yes.

This is the equivalent of a rubber hose attack, where your OS vendor is being threatened and can give away your information retroactively. That's ridiculous to even consider allowing if you're selling something as "securely encrypted", just make it E2EE (derive the key rather than directly using the TPM's data).
PCRs 0+7 might not be sufficient if you don't have an up to date dbx (revocation list) - older versions of shim won't (I think) extend into PCR 7 enough information on what they chainload. This means a malicious bootloader could fake the correct PCR extensions.

Updating dbx to a version which revokes versions of shim with this issue would fix this I think, as would including PCR 4 in the list bound to, to make doubly sure that the version of shim is new enough not to present a risk.
How about (creating) a Prolog interpreter which consumes and outputs JSON?

Then use #SheBang to make any such prolog-file interpreted by that interpreter to return JSON to the caller. Then it could be integrated to ANY program written in any language which uses the Unix shell-calling conventionss.
Most endurance athletes I knew equated bananas with potassium and carbs, but they're not a bad source of magnesium either.
weird to talk about linear algebra and never invoke linearity.

also, why say these 2 things?

>If you forget how matrix-vector multiplication works, just remember that its definition flows out of the notation.

>Another way to think of matrix-vector multiplication is by treating each row of a matrix as its own vector, and computing the dot products of these row vectors with the vector we’re multiplying by. How on earth does that work?! What does vector similarity have to do with linear equations, or with matrix-vector multiplication?

But you just told me to plug into the definition? Which is a dot product.

Pretty incoherent.
The hashes can not have collisions anymore, because modern forensics hash with both md5 and sha512, and both hashes must be together for use in any legal case. The odds of both of them having a collision is big enough to flat out say it's not going to happen.

But even if there was an md5 hash collision back when md5 was the only one hash use, it still doesn't matter because upon viewing the image that matched, if it's not csam, it doesn't matter. Having said that, the chance of dozens of images matching hashes known to be associated to csam is also so unlikely as to be unthinkable. Where there is smoke, there is fire.

And further, a hash alone is meaningless, since in court there must be a presentation of evidence. If the image that set off the csam alarm by hash collision is say, an automobile, there is no case to be had. So all this talk about hash issues is absolutely moot.

Source: I have worked as an expert witness and presented for cases involving csam (back when we called it Child Pornography, because the CSAM moniker hadn't come about yet), so the requirements are well known to me.

Having said all that, I am an EFF member, and I prefer cryptography to work, and spying on users to be illegal.
I don't know about magnesium specifically but I know there were experiments with calcium showing that supplementation both a) didn't absorb 100% of whatever you took, and b) had an upper limit for what could be absorbed over N hours. At a certain point you just have to eat food with calcium in it. I wouldn't be remotely surprised to find that's true for most/all micronutrients.

Supplementation can help, sometimes, but will always be a fraction as impactful as a healthy, well-rounded diet.
Oh I know. There is an easy solution to this. Just sell the information for Bitcoin and use Bitcoin as a store of value and then in the future buy the information back using the store of value feature of Bitcoin.

(Cough, someone still has to store the information.)
It varies, to be honest.

When he's left to his own devices he reads a lot of Aku Ankka, plays with lego, pokemon cards, and toy cars.

He's quite interested in designing simple board-games, and role-playing character sheets. I think he gets that from his mother, and also from Minecraft. He'll show me a sheet of paper with a bunch of weapons (bows, swords, guns, etc) with "points" associated with them, and then tell me stories.

He goes to play with kids in the garden, the park, or at their houses often, and every weekend I take him swimming, then to sauna. Or sometimes just sauna.

We're doing a bit more "adult" stuff these days, now he's a bit older and has an attention span. For example in the past few months I've taken him to a 90 minute-long circus show, Linanmäki, his first metal gig (hevisaurus), and to the cinema to watch the Mario film. I expect it is only a matter of time until I take him to watch a hockey match, but I don't think he'll be so interested so I've held off for the moment.

I guess other recurring things include going to the allotment (palsta) to weed, harvest berries, and random walks in the forest. He's been really interested in that this year, especially.
Utility-scale solar is two thirds cheaper than rooftop [1]. In 2021, transmission and distribution was 7% of American electric utilities' operating expenses, production 40% [2].

[1] https://www.nrel.gov/docs/fy21osti/77324.pdf Figure ES-1

[2] https://www.eia.gov/electricity/annual/html/epa_08_03.html
I interviewed with Doug Lenat was I was a 17 year old high school student, and he hired me as a summer intern for Cycorp - my first actual programming job.

That internship was life-changing for me, and I'll always be grateful to him for taking a wild bet on a literally a kid.

Doug was a brilliant computer scientist, and a pioneer of artificial intelligence. Though I was very junior at Cycorp, it was a small company so I sat in many meetings with him. It was obvious that he understood every detail of how the technology worked, and was extremely smart.

Cycorp was 30 years ahead of its time and never actually worked. For those who don't know, it was essentially the first OpenAI - the first large-scale commercial effort to create general artificial intelligence.

I learned a lot from Doug about how to be incredibly ambitious, and how to not give up. Doug worked on Cycorp for multiple decades. It never really took off, but he managed to keep funding it and keep hiring great people so he could keep plugging away at the problem. I know very few people who have stuck with an idea for so long.
Take a moment to reflect on what you're doing right now.

You're turning a celebration of life for a _very_ recently departed figure into a pissing contest.

Extremely distasteful.
> AI is the innovation.

Yes, but it does not live in a vacuum. It’s power is derived from human creations and their labor, for now.

When Spotify transformed the music industry, they could not simply claim innovation and be exempt. They had to negotiate with the dinosaurs and eventually it came through.

The inertia is a feature, not a bug. We’re still dealing with the fallout of the social media and ad-tech transformations. Unintended side effects takes a lot of time to understand.

> Trying to misapply copyright here would retard the progress of science and useful arts[…]

How so? All of academia would be entirely exempt, and so would the hackers and tinkerers, etc. You’d only violate copyright if you sell the models or the works they produced.

> The answer to big tech corporations centralizing this is to fund it publically and make it available for free

Yeah but that won’t happen. Even if it does, we need something that works in the meantime.
I mean, they essentially write and rewrite laws that come before them. They're literally an authoritative source of law. We can scream about the injustice of that until we're blue in the face, but denying the facts doesn't get us anywhere.
I'm stunned that there is a not a constant recording of those bodies, with some image analysis to detect anomalies like this, done by some university.
Where do you get 800mg of magnesium from? I just checked my multi-vitamin and it has 0 potassium and only 120mg of magnesium - my guess is to limit how much you end up just pissing out the first few hours after taking it.
Depends on how many whales are left in 100 years.
Is it not sufficient to be against bad policy, regardless of who may or may not benefit from it?
SEEKING WORK | REMOTE | DESIGN
Location: Joao Pessoa, Brazil

Remote: Yes, only remote

Willing to relocate: No

Technologies: Figma, Photoshop, Google slides, Illustrator

Résumé/CV: https://natdesign.me/

Email: hello@natdesign.me

--

Hi, I'm Nat. I've previously worked as a marketing and visual designer for Fast and several other startups in Silicon Valley. Recently, I decided to establish an affordable design subscription service for those who need professional design work but aren't yet ready to hire a full-time designer. With a monthly subscription, I commit to focusing on creating stunning designs that elevate your product. No fuss, just great design.
For every political hack, there is an equal and opposite political hack.
Location: Denver, Colorado
Remote: Yes
Willing to relocate: No
Technologies: TypeScript, React, Next.js, Remix, Node.js, Tailwind, Chakra UI, Mapbox, Deck.gl, D3, Yarn
Résumé/CV: https://dougwhitney.name
Email: doug@conceptlogic.com

I'm a frontend engineer based out of Denver, looking for a full time role. My experience includes over 10 years of JS/TS web application development, a lot of zero-to-one work as an employee at early stage startups, as well as experience leading internationally distributed dev teams.

- https://www.linkedin.com/in/dougwhitney/
- https://github.com/conceptlogic
Val Town | Founding Software Engineer | ONSITE (Brooklyn)

Val Town is a social website to write and deploy code with zero friction or setup: just open a tab, write some TypeScript, and click run. We think of a “val” as a new web primitive, like a Tweet or Github Repo, that can be forked, liked, shared, commented on, and run. To make it all fit together, we’re building an editing environment, a sandboxed runtime, logging & observability for user code, and social tools like leaderboards, comments, likes, and sharing.

Everybody should be able to code. Coding should be fun. Come build the future of programming with us!

Website: https://val.town

Job posting: https://about.val.town/founding-engineer-at-val-town

We've been on HN before: https://hn.algolia.com/?q=val+town
> Paraphrasing Thomas Jefferson; clearly the dead do not rule the living.

Yeah but don't listen to him, he's dead.

Hence we can safely conclude that the dead do rule the living.

Checkmate, Epimenides!
Sure, though I'd note that feeling safe is potentially about more than just having the means to make a phone call.
Forget 2005, in 2000 3dfx already planned external supply for its up and never coming V5 6000 http://www.x86-secret.com/articles/divers/v5-6000/v56kgb-6.h...
Exceptional jobs page! Love the blend of engineering and design.
>gundam

So even Google fails to avoid the Scunthorpe problem.
It's not a challenge to write a fiction book that paints a picture of a world that is better than ours. The problem isn't so much that the fiction is bad, it's that it's just entirely insufficient to be persuasive about real issues. It's like watching Star Trek and then deciding we should all live in a socialist utopia. Star Trek is very compelling, but there's a limit to how much it instructs us about the real world. Rand operates closer to a Peterson style self-help book than a real political philosophy.
>I gave my kids access to my old PC running arch linux with some open source games, like minetest or supertuxkart

I do wonder why you aren’t okay with mainstream games like Minecraft.
After having raised a child to maturity with no policy I would recommend no devices at all for as long as you can maintain sanity. Eventually you will have to break down simply because they do provide a certain utility but until the utility to distraction ratio exceeds 1 don't do it.
Actually the cities that are the most modern and progress-oriented today are the ones that felt comfortable bulldozing all relics of the past.

(or the ones where the "old city" was destroyed in brutal urban warfare)
> low quality self published garbage, algorithmic or otherwise.

To elaborate on this - a common scam that people used to run was to pay a ghostwriter ~$750 to 'write' a 'book' that had ~50-80 pages of bullshit word salad.

They'd then try to stick a real author's name on it, and try to sell it.

(Amazon has started putting in a little bit of effort at detecting this scam, so now the scammers have pivoted[1] to selling suckers a training course on how to do this.)

[1] https://www.youtube.com/watch?v=biYciU1uiUw
It's in a surprising amount of foods, people usually think bananas but it's in many fruits/vegetables, chicken, fish, in pretty high quantities
Git commit, git diff.
Restarting macOS apps automatically on crash
I seem to remember some city in the east coast fired their whole department and then hired back selected ones. And hired new cops to replace the guys they wanted to get rid of. And it helped.

A suggestion I've thought of before and have seen in the wold increasingly is pay cops a stipend to pay for their own insurance. If they can't get insurance they get fired automatically.
Holy shit, that's cold.
Potassium chloride is what they use to stop mammal hearts in euthenasia/capital punishment.

I think the FDA might have some reasons to prefer potassium be spread out across meals instead of taken in a lump sum all at once (think also, children eating vitamins as candy. I know someone who almost died of iron poisoning as a child before they made the pills bitter)