skysight-inc/HackerNews huggingface dataset:
Actually, it's possible to determine if any machine with a finite (bounded) number of states (ie, finite memory) halts given a finite (bounded) input. You just enumerate all the states. If for some input there is a sequence of states that loops without consuming input, it's infinite, otherwise not.

In practice it may not there may not be enough resources to build something to enumerate all the states on all inputs, but we are talking theoretically here. Theoretically, there is no halting problem in a finite world. And we humans live in what looks to be a locally finite world, so it doesn't apply to us.

The halting problem is actually a statement on whether it's possible to always determine if a finite set of rules that have infinite memory will halt on all inputs. The answer is famously no. Thus the halting problem illustrates a property of infinities. It's a subtlety that's rarely mentioned.

It is an interesting property. One thing it says to me is there are things in an infinite world a finite computation machine (like our human brains) will never be able to understand. While locally (say within the Milky Way) we live in a finite world the Universe itself may well be infinite. Ergo, there may be some aspects of the Universe we can never understand, and some things may happen that we can never predict.
The Quran.

Because it answers fundamental questions about religion. In fact, 1/3rd of Quran is about religion(s). And how to think and reflect about it.

For Example:
- Mankind religion was one. Why the division happened?

- How to seek evidence of correct religion and tools of reasoning outside leap of faith. By thinking and reflecting

- Who is God? i.e. Chapter 112

- What are the attributes of God and his names? Almost in every verse.

- Why it is impossible to have many Gods - logical reasons (Chapter 23)

- Guide to find the correct God from many false gods through Abraham journey and his fascinating logical debate with his people (chapter 6).

- The reason for sending prophets?

- Who was Jesus ? Why he should (be) respect ? What happened to him? Chapter 3,Chapter 6 Chapter 16.
- Where and when the corruption in religions happened?
True, but you can keep writing fresh clever code until you wrote something that doesn't need debugging.
Unfortunately there are too many non-technical influencers who have jumped on the bandwagon and youll see claims of Web3 being many different things. The technology is also changing fast. For now it’s best to describe the attribute you’re talking about rather than this general term (e.g. decentralized nodes or PoS)
I wouldn't take it being positive for granted. This is exactly the kind of setup that perpetuates echo chambers. Polarisation is a genuinely dangerous phenomenon; when we loose our ability to have a conversation with those we disagree with, dark times are ahead.
https://www.gimp.org/docs/userfaq.html#i-dont-like-gimps-use...

One of the arguments I've heard against this is that it makes software feel like a "cheap clone". If most features are here, but there are a few missing or slightly different, you will resent their absence, or notice the difference, and conclude the clone is "incomplete" and inferior.

And indeed, it would be very hard to make a perfect clone, but it may not be desirable either. There may be better ways/tools to achieve the same results, and if you just look for the features you are used to, you'll never find them.

I haven't used Photoshop in years, but regularly use GIMP. It was not always intuitive, but now that I'm used to it I find the workflow quite effective.
And we have been talking about a super intelligence since the 60s?

It’s not like it’s completely out of the blue.
“Smart” can also mean less code, more modularity, efficient algorithms. Obfuscated code is also “smart”, but in a different way.
I haven't read the book but my assumption would be that they're thinking at larger sample sizes than you're currently thinking off.

The last 50 decades have probably been the golden years of western civilization and democratic freedom, despite the evidence of decline within the last few years
Arguably the pendulum has swung too far in the opposite direction.

There's a time and a place for clever code. Clever code can save you thousands of dollars in hardware spending and permits you to do more with less. That's great, even if it comes at the expense of costlier maintenance.

That said, most code probably shouldn't be clever. Clever isn't a benefit in itself.
Wait, what? You're saying the guy's identity is an anime cartoon? Like, you think we should pretend he is a cartoon? You must be trolling... It's like saying that we should pretend the voice actor of Spongebob is really a cartoon sponge :D

I mean, I'm fine with people pretending that. But you can't expect or force me and others to play along... :D
I wish there was a way to just get a whole archived site N links deep as a .zip file - I tried a few tools for this and none of them worked as good as going over it manually and recording a .har file with all the contents.

I recall tripping the rate limiter at least once by accident - I was clicking around the archived site for reference while working on creating a restored version.
> I am not asking philosophically.

That is a philosophical question, though...

To me, it sounds like this: "How can I prove that I 'exist'? I'm not asking philosophically, I'm just asking how to do it".
It seems it works again :-)
Yeah mc is great. Especially if you want to select an arbitrary group of files in a huge folder.
Go is garbage collected so it’s unsuitable for the domain. Rust isn’t going away, no matter how many social snafus the steerage folks create.

I wish they would lay off the power tripper stuff, but that’s what you get at this level/size. Coming from where it’s coming from, it’s arguably going to be hammering itself out for awhile yet, while the world is already using it just fine… you may see splintered community though
consider seeding the torrents you download
You mean IQ tests are not meaningful? Many will be disappointed :).
They clearly exist, but are they big enough things to outweigh the usefulness of downvotes? Not to mention youtube already dealt with large-scale brigading by rolling back downvotes.
> What is the real criterion for a machine to be considered intelligent?

I reckon not many have ever said that machines can't be intelligent, in any way.

I think the most compelling question is: what makes them "human like" intelligent.

Passing a multiple choice test is not an actual measure of human intelligence, it's IMO a test of "semantic searching" abilities, that machines can be trained to emulate.
Nostalgia :)
> fundamentally the quoted statement is wrong except in a very narrow niche

That niche being money and banking [1]. The comment you dismiss is correct: “Whenever a bank makes a loan, it simultaneously creates a matching deposit in the borrower’s bank account, thereby creating new money.”

[1] https://www.bankofengland.co.uk/-/media/boe/files/quarterly-...
Touring Through the Asteroid Belt: United Arab Emirates Unveils Bold Mission
Okay, but please use `let output = {}` instead. Yeah, I know, const/let is about the mutability of the variable, not its content, but if you use const I'll assume you write in an immutable style, which you don't when you do `output.Component = Component`. Using `let` is a better warning like "Watch out, mutation ahead!".
It’s not clear where in the hierarchy any of those animals fit, because we can’t ask them how much they are suffering, and they can’t conceptualise their experience as
Suffering, because we invented that concept to describe a certain state we experience.

No, intuitively, most people do not agree there is a line… people just buy meat and eat it, and the main consideration is taste. Can you provide any evidence suffering factors into the majority of peoples food decisions?
> At some point, we can't just replace individual personal responsibility with the State as a solution.

Have we reached that point? If so, why?
Educators are not known for having their tests being tested. If anything tests tend to have logical errors, misspellings, and "guess what the teacher thought here" kind of questions.

But like anything else this current state is not set in stone. Educators just have not had any feedback and incentives. For subjects and situations where the quality of learning is actually measured, it is the teaching that matters and not the tests. You can have good education and terrible tests and students will come out of that with good education. When the quality is not measured the tests are equally meaningless. (Quality in this context means what the student can do after graduating without failing or creating accidents).

I expect that in the future there won't be a reason for teachers to not give out the answers at the same time when giving out homework. That in turn will force a small change in the process of lessons and studying. Those educators who are already doing this won't need to change much in response to ChatGPT.
> Nigeria moving from Lagos to Abuja in 1991

By comparison, since 2020 the Lagos population grew by more than the entire population of Abuja.
The numbers don’t start to approach similarity probably until you’re managing dev machines for hundreds, if not thousands of developers. Then you’re starting to talk about the scale needed have managers dedicated to the sysadmins, managers dedicated to dev network ops, etc etc. Those are all people you could outsource to the cloud.

But I imagine it’s the same value prop as other cloud services. It’s often cheaper to run legacy architecture in legacy ways, but there are technologies and concepts only available when running at cloud scale, and for those use cases you’re getting a discount over trying to roll your own.
The overwhelming majority of indie films are unprofitable.

You may personally enjoy many indy films more than what comes out of major studios but they’re niche products that mostly appeal to a specific and relatively small audience. If you want wide appeal costs really do spiral both for the film and just as importantly advertising it.
If you can't even allow folks to serve your citizens fully benign content without worrying about what the legal consequences of writing a cookie will be in a far off land they couldn't care less about (quite literally a local news site), you don't deserve to be in government.
Perhaps we should consider alternative indicators to replace positive votes as well, although this may prove to be an even more difficult challenge.

The crux of the issue may lie in the semi-permanent nature of online communities. In real life feedback usually fades into obscurity given enough time or isn't given much importance anyway. However online it's different because anything you said can be retrieved and resurfaced infinitely, influencing the mindset of interactions.

I cringe thinking about things I said and made in the past (but have learned from), although it isn't sitting on a forum for me or anyone else to resurface, giving me peace of mind.
Apple’s “My Photo Stream” will be shut down on July 26
One thing that would massively cut passport queues and save money would be for the UK to join Schengen.
If the claim is only true over spans of time on the order of lifetimes, then it’s not much comfort.
this just isn't the usage I observe; const/let is typically checked by the linter and auto-fixed. It's just another idiosyncracy of JavaScript.
Context matters. The context is the reactionary attempt to erase gender-is-a-spectrum and similar LGBT concepts from "public" life, in its many forms.

Restrictions come in many forms. It used to be marriage is special, then WC symbols are sacred, now we're back to think-of-the-children and their precious little minds. And one particular form is that some books are now banned from school libraries.

I wholeheartedly support the demand for more correct wording, but unfortunately it doesn't really matter.
> The fact that GPT-4 can pass his tests says much more about the tests than about the capabilities of GPT-4.

I would be careful with writing so unfavorable opinion. Sure, GPT-4 has its strong and weak sides - so tests can be made GPT-4 proof... at least for now.

Yet, GPT-4 gets a B on Scott Aaronson's quantum computing exam (https://scottaaronson.blog/?p=7209).
YouTubers already had the tool they need to combatting this kind of troll by disabling rating and comment.

Disabling dislike has the unfortunate side effect of making scam videos a lot harder to identify. And before people comment, no, manually disabling rating and comment was not the same as the current system, and would absolutely sound the alarm bell on informative/educational/infomercial videos in the old days.

This example showcasing malicious TOR browser being distributed, and might already get someone politically jailed or even killed: https://youtu.be/XS-r2Vpkxas

I myself sincerely cannot find any justification for the current system.
I am confident that the scientific process will lead to systems that will contain perception and self.

The interesting thing about philosophy is that it perceives perception from inside.

I would use philosophical texts as design documents and turn them into code. There was a shift in mathematical algorithms from texts to formulas. It made reasoning much easier. Likewise, I think reasoning about philosophies will be easier when they are formalized.

Once philosophy becomes code, it can be combined with the signal processing code and code that models the brain. Having an idea of what to look for, it could be easier to discover self than to wait for selves that fend for themselves.
There's a type of optical filter tape which you can buy that reduces the amount of energy getting in and out - less than 20% goes through, most of it in the visible spectrum.

It has a blueish tint though and really doesn't do much if it's the ambient temperature that's too high.
So does that mean that it’s fine if we’re not iodine deficient?
I don't know. It's true that simpler code is more maintainable and all that. But what happens to the fun and joy of coding? You remove the fun part, and you're left with dry processes and mind-numbing toil that suck the joy out of a passionate endeavor. I get it that many see programming as a means to an end, and that's totally fine, but why take away from those that derive an intellectual high from it?
How to discover all the data sources, low-fuss way
How should I manage my data library?
Do you have a system you just love for managing your personal professional data? I'd love to hear about it.
This is one of those advice that sound reasonable when explained in the abstract, and yet when you hear it invoked in actual code reviews by other people, you wish it had never existed. Especially when the following kind of constructs get decried as "clever":

- writing "return condition" instead of "if condition then return true else return false end"

- using the conditional-value ("ternary") operator in any capacity

- early returns/goto cleanup instead of nested if conditions

- using basic higher-order functions like map or reduce in any capacity

- any kind of metaprogramming whatsoever

One person's "clever" is another's "elementary". If you want to point out that some code is hard to understand, that's fine. But don't call it "clever". Using "clever" as a criticism is implicitly an ad personam argument, passing value judgement on the person who wrote it ("Oh, they must have written it to show off") instead of an argument about the code itself.

Also, this:

> Hi friend! Hope I didn't startle you. Can I let you know about my newsletter?

is missing a "fuck off to hell, don't you dare disrespect my attention like that ever" button.
I spend much of my time looking at dusty old code, arguing with my former self, undoing tangled knots of hitherto maligned bits of supposed genius.
I would say that the OP is entitled to share their opinion. Which I tend to agree with. Also I would question if the job of a university professor is really to give tests, or rather to teach and conduct research.

Tests are just an annoyance (that is deemed necessary). Because one passes the university tests does not mean they necessarily understand the topic very deeply, I think it's pretty obvious.

That's actually an interesting point: university students can totally pass exams by "mimicking": not understanding the topic, but solving the exam problems in a way similar to the exercises they learned beforehand. I argue that the test is not perfect at discriminating those who understand from those who mimick impressively well.
https://en.wikipedia.org/wiki/The_Economist_Democracy_Index shows that average democracy index has not been going downwards for 15 consecutive years.
Exactly this. Not only are objective metrics difficult - our interest in and capacity to measure social phenomena, especially self reported social phenomena varies over time, and is deeply amenable to accidental or deliberate manipulation (cognitive aspects of survey methodology is a whole field). Moreover, the subjective experience of a time is impossible to convey. Many of the deepest and most personally significant aspects of everyday interpersonal life - level of community integration, personal emotional investment in ones occupation, level of creative engagement etc - are hard or impossible to measure.

To take an arbitrary example from my own life, the last recession was an incredible time in Ireland. The housing crisis that has boiled for decades diminished, cheap and free property rentals in Dublin lead to an explosion in the creative arts - including dozens of 'open access' non profit creative spaces. Mass underemployment meant that social status briefly became much more about creative engagement and sociability that wealth display. Bars became less the focus of social life, which moved to house parties and non-profit social spaces. It was a creative and social renaissance. All of this disappeared so completely during the 'recovery' that it's difficult to convey what it was like to people who weren't around to experience it.

You can point to crisis of homelessness today, a generation forced to leave with their parents into their thirties, the worsening of the Irish health service, pressures on the cost of living. But you can't easily convey the comparative misery and defensive superficiality wrought by inequality in Dublin today. You can't capture on a chart the experience of living through a beautiful communal creative moment when an entire society caught a collective breath.
Because I don't want to debug your clever code when we have an outage and you're on vacation
I have not been a metal head for many years but my recollection is that the live albums and bootlegs have timing that varies all over the place. Especially on MoP and Battery, and a few other notable ones (The Four Horsemen) which have complicated rhythms.
> Re: book to script, I found I go less insane, if I just think of it this way. Two people were involved in events, one wrote a book, one a script.

I go further than that - I explicitly prefer seeing the movie/show adaptation before going through the original books. I'm aphantasic - reading a book, I just can't picture anything in my mind. Every character and every scenery is mostly this cloud of facts, like an unresolved promise (the async programming kind), that I carry in my head 'till the last page. Seeing a movie/show, however, gives characters specific appearance, specific voice, specific cadence. Primed with those images and sounds, I find reading source material much easier and more enjoyable.

And yes, as much as adaptations differ from the original, I don't mind. I can fix the inconsistencies on the fly, or separate the book reality from movie/show reality entirely. It's not a big deal. Meanwhile, having some specific images and sounds to anchor my barely-existing imagination to, is very helpful to me.
> It's not just comparing pure WASM (bytecode) but the WASM+WASI (runtime)

WASI isn't a runtime, and it's not a packaging format. It's a standard ABI for a POSIX-like syscall interface, which is useful[0] but doesn't substitute for or relate to container runtimes.

You still need a syscall shim to provide the WASI implementation, and you need a WASM VM to run it.

> It's a meaningful comparison when the original creator of Docker
> containers also compared them:

I've seen that quote before and I think it's nonsense.

Docker container images are architecture-specific, and it took years before their distribution protocol supported specifying the architecture. If the existence of an architecture-agnostic bytecode would have avoided the need for Docker, then the JVM would have filled that niche perfectly.

And if you look at the Docker code, the vast majority is about configuring the runtime environment of the container (networking, bind-mounts, logging) and persisting that state across reboots. There is no syscall shimming like in gVisor or a WASI implementation, it's all about setting up a chroot and then calling `exec()`.

If WASM had existed in 2008, maybe the Docker folks would have enabled it as an entry-point format, but you'd still need a way to ship all the other stuff that goes along with the main binary.

It's baffling that people feel the need to fabricate ways for WASM/WASI to be important, when the projects themselves are already so interesting. Architecture-agnostic plugins! A clean slate for a capability-based syscall ABI! A genuine chance at running unmodified userland programs in memory-safe sandboxes! Get excited about that, not about someone poorly re-implementing AWS Lambda.

[0] Maybe one day most small shell tools will be in WASM+WASI, and the typical Linux distribution will have relatively little native code installed by default.
the article outlines "what are the cost factors involved" but does not answer the question with even ballpark numbers.
It really just depends on the illness and how it progresses, which is hard to predict. Both my grandparents died of cancer; my grandmother spent close to a year in a hospice, using quite a lot of morphine, slowly fading away, while my (otherwise fit and active) grandfather went from "I've got a stomach ache, better see a doctor" to "dead" in about two weeks.
Of some coaxial cables. Back in the 90s I just accepted every terminator was 50hz, and the only coax I really dealt with was ethernet. In the 00s I got into television and almost every terminator was 75Hz, with 50hz being specially marked.

I can't remember the last time I saw a terminator. I still deal with plenty of coax, but it's from one piece of active equipment to another and they self terminate.

(thinking about it I do see some specialised terminators on N type connectors on spectrum analysers, but I don't really do satellite so never deal with them)
>tip: Euler is pronounced “Oiler”. Impress your math friends with this knowledge.

This is what I learned today!
What a strange thing to be upset about.
Think of it as writing in a natural language. You are writing a story that someone else has to read and follow. The compiler will know what you mean if you use the the right words, but you are really not writing the code for the compiler - you are writing it for other people.

Clarity is more important than performance, and in many cases the performance gain is imaginary in the first place.

Every time I write code and tell myself "I will just keep in the back of my mind why I did that", I know I am writing bad code. There should be no open loops, you should not have hidden knowledge in your brain about how the code works.
I'm not scared of AGI beyond how it's likely lead to societal collapse because of human greed. I am worried about the operationalization of the current chat bot technologies and other generative AI modelling techniques for harm. You don't have to have a smart system to hurt hundreds of millions of people.
I wish “considered harmful” was banned by the HN rules.
Good short video explanation of sliding. Roll one, spin the other on 6. It’s very specific.

https://youtu.be/W2Jz9UenEPg