skysight-inc/HackerNews huggingface dataset:
Don't worry, I won't yell at you :)

I'm fine with "invent" actually, despite the implication of agency (I'm used to the terminology "predicate invention" [1]; although maybe I should actually re-examine the motivation behind it).

I'm more interested in the representation issue. I had a look at the quoted article on CNNs earlier. I think there is a very fine line between claiming that a CNN's weights represent an algorithm and that its weights can be _interpreted_ as an algorithm. I feel that the article leans too heavily on the interpretation side and doesn't make enough of an effort to show that the CNNs weight really represent an algorithm, rather than having activations in subsequent layers and therefore with a natural ordering.

In any case, I would like to understand how a language model can represent an algorithm.

_____________

[1] https://link.springer.com/referenceworkentry/10.1007/978-0-3...
As a counterpoint, I frequently get robocalls from area codes near where I travel. I recently visited Virginia and received robocalls from Virginia area codes for a while. A couple years ago I visited California and received more than the usual number of robocalls from California. A few years ago I visited Seattle and received robocalls from Washington. I most recently moved within Texas and the constant robocalls changed area codes to the more common local one.

I really _really_ wish I could flag an incoming call to my telecom provider and get paid money for it charged to the caller. Then let the telecom provider prove that it was or wasn't malicious.
Yeah, Invidious[0] is an alternative front-end for YouTube so you can avoid ads & tracking. Another host: https://invidious.privacy.gd/watch?v=f7DQ3SgSg0c

[0] https://invidious.io/
Maybe camera only was a mistake? Researchers in this space have been saying that since DARPA Urban challenge in 2007, but Elon thinks he knows best.
Not fast in which sense? HPC? Or single/multithredded processing on one machine?
When I tried it, it flat out didn't work. Zero issues with Mullvad itself.
Firebird, maybe:

https://firebirdsql.org/manual/fbint-structure.html
Who knew that when Elon was talking about "putting a chip in your brain" he was referring to Tesla and not Neurolink.
"Everything else is just implementation details."

Except that those details seem to require a considerable amount of work.
Or it's not true.
So in my CS program, those were split into several separate courses.

You had an (mostly theoretical) Automata and Formal Languages course, which had regular/context free languages (including regexs), grammars, and pumping lemma.
lex/flex/yacc/bison, recursive descent, and LL(1) LR(n), LALR were in a Compilers course.
Programming Language exposure to a functional language (ML) and a logic language (Prolog) plus some other stuff was the Programming Language course.

Type Theory, lambda calculus, and so on is relegated to advanced graduate courses that are given when a faculty member feels like it.
Ask HN: Hacker News is for tech, as X is for Y?
Are there some forums or well moderated discussion groups for other interests and hobbies?

Sure there are subreddits, but what else exists?
There are advantages and disadvantages to bundling applications with the core OS; having these security bugs become part of the OS release vehicle (along with the heavyweight process that implies) seems like a disadvantage. With respect to the table, I think there’s a decent argument either way.
I appreciate projects like this, as LiveView brings some amazing solutions to the game, but I'd guess that even if it was "feature-complete", I would still miss the so many great stuff about the BEAM/Elixir.

Although, the safety of Typescript is the only thing that stops me from building my next hobbie/side-project with Elixir. After you get the benefits from the type system (specially in the TS ecosystem), it's hard to go back.

Looking forward to see where the project goes!
Yeah, based on the title and where it's from I half expected it to be some kind of DSL based on Julia. Instead it's based on Coq which gives them formal verification capability.
OH, I remember this person's story about setting up way-too-much smart tech in their house. Her whole shtick is this kind of IT HAPPENED TO ME weird quasi-alarmist immersive reporting, and I imagine it's incredibly tedious in real life. It definitely is on the page.

I closed the tab once I realized it was the same person.
I've taught 10 year olds to program. I have no idea where this need for complex math and that supposed requirement in programming comes from. Those kids have built all sorts of things. Non-trivial things. They haven't even studied algebra yet.
> Another poster mentioned their wife went to a doctor's appointment, but it was in the same building as a divorce lawyer.

This exact thing happened to me. However if your first thought is they are at the lawyer at not the hospital... You probably have some things to work out in your relationship anyway.
Breathing is applied formal logic. The range of things that can be reduced to applied formal logic is pretty much everything if we accept that "applied formal logic" doesn't mean formal mathematical proofs.

If we could strip out of reality the bits that can be understood as a practical application of the basic branches of math there wouldn't be anything left. Nevertheless most people get a long way in life without needing to engage with that (which is lucky because there is too much to learn in one lifetime).
But journalists & academics lie to protect criminals, so perhaps that balances things out.
At the rate our energy consumption is growing, even if we avoid climate change wrecking our society today, the heat waste of our energy production will start to eclipse the effects of climate change in only a few centuries, at most a millenium. Which isn’t that long of a time.
This is brilliant and I wouldn't be surprised if this doesn't lead to many years of extra life for people who get this for their children. I think in 60-70 years time the possibilities of this material being used for both injuries, diseases and life extension could be huge. And what a beautiful story to try to help people like your brother. I've no doubt you'll be hugely successful with it. Good luck.
No just enter an email and username.
As a motorcycle rider I don't have access to my phone while riding so I actually prefer that she can just check on me. It also makes her feel better when she sees me moving and not stopped.
for me the $35 stand is well worth it. i’ve been following something like this pattern for 15y, and the stand just makes it a little easier and more pleasant. I couldn’t make this kinda thing for less, i don’t have a wood shop.
I once read an article by a literature professor analyzing Romeo + Juliet. At the end, he ruefully wrote that he would throw away all his analysis and knowledge of R+J to be able to read it again for the first time.

I've read some analyses of Lord of the Rings. 98% just sounds like bullshit. Maybe JRR Tolkien just wanted to write a great story! and there's nothing more than that. Sure the story was influenced by his life experiences, like trench warfare. So what.

I wish I could read it again for the first time :-)
If today's humans got to start as babies 20k years ago, their IQ as adults would be correspondingly lower due to poor nutrition while growing up.
No employer has ever given me the feeling that my software dev skills put me in a position of power. Quite the opposite. Every place I have ever worked at has acted as if

1) My skills are unimportant (except when they want overtime. Then, no noe else could possibly do the wonderful job I can!);
2) I am easily replaced (maybe by much cheaper contractors) and
3) My salary requirements are ridiculous. Only the top executives are worth that kind of money!

When I turn down an offer or even an interview over something ridiculous (What do you mean I need to sign an NDA just to be interviewed? Hell no!) they act as if I'm the unreasonable one. Somehow this never changes my mind.
Wow, that's disappointing. It probably warrants further investigation, but I don't see how something with only 2 datapoints can be meaningfully published.
> Have you considered what value you add to HN? You seem very focused on what value HN should be delivering to you, while creating a ton of noise and moderation workload.

Honestly, I'm kind of coming to the conclusion that getting all worked up over forum moderation should probably be a bannable activity in an of itself in most cases, especially if it's a pattern. Wikipedia has an interesting policy WP:HERE, stating that they're here to build an encylopedia, and if a user is WP:NOTHERE, they're likely to get banned sooner or later. People who are very interested in complaining about how the forum us moderated are usually not here to make the forum interesting.
vivaldi had me with their vertical tabs.

they were the first to do it natively and properly. but my excitement didn't last. i was having a hard time with their bazillion settings. i wanted something that works well out of the box. i know some people like all these possible options but it was not for me.

nowadays, i use edge for vertical tabs.

edge is chrome with vertical tabs in my world. but it would be cool if the minimized sidebar didn't expand on hover. it's a user experience nightmare. (in case any engineer on the edge project is reading)
Vladimir Pozner Discussing US and Russian Relations
This looks fascinating - thank you! Strange to see it's from that Mormon university, but it's a great idea irrespective.
For some extra context, Dolly was not made using the iPSC approach (reversing differentiation from adult cells). Dolly was cloned using a process called Somatic Cell Nuclear Transfer, where the nucleus of an adult cell is placed inside an embryo, replacing the embryo's nucleus. The embryo then develops using the DNA of the individual that donated the nucleus.

The article kind of alludes poorly to this, but somatic cell nuclear transfer (developed by John Durdon) was a huge milestone in the field that eventually led to Yamanaka's discovery of the pluripotency factors, for which they both won the Nobel prize in 2012.
I'm not an expert. But with current CPUs, doesn't HPC critically depend on memory alignment? (For two reasons: Avoiding cache misses, and enabling SIMD.) Sure, algorithms matter, probably more than memory alignment. But when you've got the algorithm perfect and you still need more speed, you're probably going to need to be able to tune memory alignment.

C lets you control memory alignment, in a way that very few other languages do. Until the competitors in HPC catch up to that, C is going to continue to outrun those other languages.

(Now, for doing the tweaking to get the most out of the algorithm, do I want to do that in C? No. I want to do it in something that makes me care about fewer details while I experiment.)
after all this time, I find the mist effective way to get shit done.

pen and notebook. I write down my objective for the day and the smaller steps required to accomplish that. Then I just mark down as I go.

no complicated process needed, just do it
Not quite. Prompting works in a user applications but let's say I launch my app from a systemd service so there's nobody to respond to those prompts.

It's not that I don't want to run it with the correct flags. I do want that. Things is, if I run it with too few flags the program breaks. Hopefully in a way where it's obvious what happened! If I run it with too many, I lose the security benefit Deno gives.

But the last thing I want is my whole service to fail because I forgot to add that one darned cli flag to my service file!

And, I admit, maybe this is a non-issue. Maybe I can just check I'm in the right environment at program start. But it's one of those things where I don't feel like I fully grasp the implications.
Latest Beeping Busy Beaver Results
Absolutely not. As a simple, specific example, look at much of the art funded during the New Deal. But regardless, the measure of art isn't mass appeal - similar to basic research, if the market funded it, we wouldn't have to. And that especially is a an issue when it's made: famously, many artists considered brilliant and very mainstream now were ignored and even reviled during life. Van Gogh didn't sell any paintings and was desperately poor. Stravinsky's Firebird caused riots.

> nobody would pay for out of their own pocket

People have such a strong reaction to it, such an urge to shut it down and leave no room for it to breath. That's actually a great start to art. The next step, however, is one few take (and fewer now it seems, when the wisdom of learning, knowledge, and being open-minded is politically rejected): Figure out what buttons it is pressing in you - not politics or whatever, but personal.

Almost all my favorite artwork really pissed me off when I first saw it. I learned it was a great signal that there was something there. And that is how art, in large part, more than any other thing in the world, helps us expand and grow.
> This probably also means people have to be willing to accept that they have to pay for more things. Someone has to foot the bill after all.

Or decide that 95% of what we consume today is absolutely irrelevant and not worth to pay and do something better with our lives, like literally anything [insert hobby here].
If you take long enough at it, you get comfortable out there and don't need stars anymore.
It's an investment with tremendous return - I personally know the return first hand. If my brother had access to these stem cells, his motor skills could've been improved, which could've led him to more easily be able to do things like cough when he had pneumonia (which ultimately led to the downfall of his health). Reprogramming into other cells can create an extremely unstable cell and a carcinogenic environment

Survival rates from stem cell treatments are also much higher if the stem cells come from a genetically related sample - the best is your own. Beyond that, many may not find a match if you're a person of color or mixed race. This is also a pain point my family personally faced
This is why you have a separate defense grid, and a capacitor farm to serve defense demand, and when the capacitors run low you have a logic network to read the value of `A` (accumulator fill %) and turn off everything that isn't critical (mining, etc). (Of course, you'll need this switch at any satellite installation too.)

You may need to shift-click some electric poles to disconnect them from other poles, and use copper wire to connect them exactly how you want.

Add a lowkey alarm buzzer (the speaker) to let you know this is going on. Try to have a second, louder one that detects whether it's failed and the factory is still on because of a short circuit. Conduct tests by wiring in a constant combinator outputting a fixed value of A (possibly negative).
This is not legal advice, which you should have been seeking long before coming to this forum. That aside, were I in your shows, I would not sign. EVER!!!!!!
Cities: Skylines modder banned for malicious behavior
It tells us that life in modern America is pretty good.
Thank you so much! Your support means the world :)
> Few of the staff would teach you the basics of anything, mostly because you are attending a research college, where teaching is the professors' side gig

Princeton in particular prides itself on being focused on the undergraduate experience compared to other research universities. Research is (supposed) to be secondary.
Another question is: how do you keep yourselves grounded to reality?

Why assume the parents are?
Amazing! So glad you did
And here I was thinking putting my monitors at right angles to the windows was paranoid :)
In a 3D world without gravity, something like “up” and “down” would exist, just as left and right, and forward and backwards would still exist. You need some sort of label for each direction on each axis of orientation.
I guess there's no pulling you through the loop, out of your constructions. So to clarify: implanted desires are worse. This is demonstrable if we only consider the unaccounted cost of profiteering, whether it be ecological or the debasement of other humans. There is no need to transcend to philosophical inquiry because the harm imposed is so evident. You have to acknowledge that, but you chose to elevate your position in argument to the abstract where harm is only theoretical. Second, this is a somewhat absurd oversimplification of my position to create a strawman and, again, elevate your position in some moralistic superiority hierarchy built around meta thinking (all too common) The reason they killed Socrates? Mayhaps.
Then you repeat yourself and again strawman my argument. No Advertising isn't bad. There are insidious techniques that the mind cannot distinguish. These are evil/wrong/bad, whatever Newspeak you prefer. Once they are known, they must be prohibited, e.g. as subliminal political messaging was banned.
Lastly, it is clear you think highly of yourself and your thoughts... this is clear. However, I believe your rhetoric falls short in this instance
Distribution is distribution :)
I'm with your parent. For me there was a progression.

First playthrough I was anxious to get to the automation parts. This continued as I explored more of the game, more of the automation possibilities, blueprinting, trying to make an all solar, all steam or all nuclear factory etc.

At some point and I don't know when exactly it turned. I like the initial bootstrapping phase and at varying points I just get this "ugh, really? This pre-requisite, then this, then this and then finally I can build what I really want?" and then I shut it down and play Dungeon Keeper 2 or something like that instead.
This idea is not unique. I would be surprised if he has a patent for this.
It‘s called Trix and I‘ve switched from Trix to TipTap because the whole plugin system works way better. And having the ability to process the document programmaticaly (TipTap = JSON, Trix = HTML) has opened a lot of possibilities for us.
You know, the original Readability was in Python. You could eliminate your Node dependency by moving to it, I'd think.
> Given that such blatant racism is so uncommon out in the real world…

Was this ironic? I live in the Bay Area, and while I know there are worse places for racism in the US (and have lived in some of them) the conduct in the complaint did not surprise me at all.
Especially when you're considering something very long term. What does TikTok branding mean in 20-year timespan?
Show HN: Prometheus Exporter for DHT22 Sensor
The is especially prevalent on Wall St where the major banks have VPs car Ming out of their ears. They’re the equivalent of senior managers elsewhere.
For us kids at the back of the class, how are those two facts related?

Why couldn't something orbit the star fast without being tidally locked?
This is user hostile and a betrayal. Firefox users have never asked for ad tracking. On the contrary, I'd guess most Firefox users are actively blocking ads. How can anyone at Mozilla honestly justify this?
Huizinga, the early theorist of games in culture, once remarked about contact bridge: "The incredible amount of productive social energy spent on this game could indeed be spent better, but in fact most likely would be wasted on something way worse"
“Ardehali cautions that the study’s observational nature comes with some limitations. For example, people in the contemporary control group weren’t tested for COVID-19, so it’s possible that some of them actually had mild infections. And because the authors considered only VA patients — a group that’s predominantly white and male — their results might not translate to all populations.”
This might sound like minor information, but it calls the conclusions and broad claims into question. In fact, it’s a very narrow study.
Maybe stars are the Dyson spheres, and their emissions are the waste energy that wasn't worth harvesting.
EU urges non-essential diplomats to leave Kyiv
If it's literally just hundreds they should be able to handle it no problem. Even if they had to staff up to do it, no problem.
In that case, I would say that GPT's performance in arithmetic is something that we see because we are looking for it or want to find it but that is not there. It is an illusion. If we have no theory of why would it an arithmetic capability would emerge from GPT, then, there is no scientific discovery; at most, there a field survey, a taxonomist work, but no understanding is generated.
Ask HN: How do you recover from burnout?
I have been working for several years now, as a software engineer, as well as an engineering manager. Right now, I'm jaded and uninterested in my current job. I have no motivation to work, or make things better. I spoke to a few different companies, but am failing to see myself motivated with the change as well.

I have switched a few teams and roles internally to see if that helps reenergize me.

How do you all deal with this? How do you get motivated again, and light that spark?

I still have several productive years, but am not able to take advantage of those to make life more comfortable for my family.
My experience was similar. I tried Factorio once, and gave up because it was very tedious, and too much work to consider it fun. I would have liked to enjoy it, but it's not for everyone.
The tokens in most gpt models are small like this, but they still 'learn tokenization' very similar to what you just mentioned. It's part of the multi headed attention.

It learns what level of detail in the tokenization is needed for given tasks. For example, If you're not interested in parsing the problem for actually doing the computation for example, you don't pay attention to the finer tokenization'. If you do need that level of detail, you use those finer groupings. Some of the difficulty a few years ago was trying to extend these models to handle longer contexts (or just variable contexts which can go to very long), but that also seems close to solved now too.
So you're not exactly giving much insight with this observation.