skysight-inc/HackerNews huggingface dataset:
The Argument from Consciousness

This argument is very well expressed in Professor Jefferson's Lister Oration for 1949, from which I quote. “Not until a machine can write a sonnet or compose a concerto because of thoughts and emotions felt, and not by the chance fall of symbols, could we agree that machine equals brain—that is, not only write it but know that it had written it. No mechanism could feel (and not merely artificially signal, an easy contrivance) pleasure at its successes, grief when its valves fuse, be warmed by flattery, be made miserable by its mistakes, be charmed by sex, be angry or depressed when it cannot get what it wants.”

This argument appears to be a denial of the validity of our test. According to the most extreme form of this view the only way by which one could be sure that a machine thinks is to be the machine and to feel oneself thinking. One could then describe these feelings to the world, but of course no one would be justified in taking any notice. Likewise according to this view the only way to know that a man thinks is to be that particular man. It is in fact the solipsist point of view. It may be the most logical view to hold but it makes communication of ideas difficult. A is liable to believe ‘A thinks but B does not’ whilst B believes ‘B thinks but A does not’. Instead of arguing continually over this point it is usual to have the polite convention that everyone thinks.

--

I.—COMPUTING MACHINERY AND INTELLIGENCE

A. M. TURING

Mind, Volume LIX, Issue 236, October 1950, Pages 433–460, https://doi.org/10.1093/mind/LIX.236.433
Did JPEG2000 really flounder? If your concept of it being a consumer facing product as a direct replacement for JPEG, then I could see being unsuccessful in that respect. However, JPEG2000 has found its place in the professional side of things.
I don't know if Claude is "smarter" in any significant way. But its harder working. I can ask it for some code, and I never get a placeholder. It dutifully gives me the code I need.
I think our options basically come down to types, tests, and syntax.

Syntax is the least explored because it's expensive to iterate on and teams can't agree on it, so we sit around hoping that the next generation of languages will let us consume a better syntax instead of daring to build one. But a syntactical approach leads towards writing the specification in terms of the high level description, folding up lower level pieces of the problem into bits of syntax, and then having them meet in the middle with "enough" compilation. You end up with a program that is right because it literally can't be written wrong.

Types do some specification, but they work in a more bureaucratic sense of "you have to do what you mean" by checking to see if you filled out the right form. Of course teams love doing that, because they need a little bit of bureaucracy. Everyone seems to agree on some amount of type discipline being needed at scale.

Tests exist at the far end of specification, where the program is just "what it's been tested to be." This is most useful when you don't have a clear specification and you're mostly looking at the integration side of things, not deeply examining the behavior. Teams can add lots of tests, but the tests are a scattershot and don't always do anything specific. They do have a tendency to tell you how a change will break an existing specification, though.
If they had to back it up then they would not be able to say it. Are you really trying to infringe on their rights to endanger lives by fraudulently claiming suitability for safety-critical applications without any evidence beyond their imaginations?

If we demanded evidence from everybody then people would not be able to sell their sub-standard and inadequate systems. Think about how much less money they would make, or god forbid go out of business, if we demanded evidence before risking human lives. No, better to just let them make unqualified, extremely strong claims with no supporting evidence or audit to protect their business. I mean, it is what we let every other company like Microsoft, Apple, and Google do, so why not?
Great Tools for Your Platform Engineering Toolchain
I tried it, it just asked me how my day was going. I don't think this is doing exactly what I have in mind. But its a step in that direction
it's impressive that this was shot 10 years ago but now meta Raybands do that
(Author) Modal tackles how to make FaaS work, but for actual _function calls_, and also with containers that have much higher resource caps (see article: 3 CPUs vs 64 CPUs, or 10 GB RAM vs 336 GB RAM).

EC2 isn't the same compute shape. We run fast-booting (think: seconds, not minutes), dynamic sandboxed containers on a single host (think: gVisor, Firecracker) and optimized file system lookups (FUSE, distributed caching, readahead, profiling). It also means we bill by the CPU cycle, scale rapidly, and bill you only for 100% utilization. You do not manage individual VMs.

This is why scaling the limits of functions-as-a-service is quite different from scaling VMs, and that's what the content of the article focuses on.
Torcs for Reinforcement Learning
They did understand it's different, didn't they?

I mean, by the time of their empire, several Greek already understood it. I have no idea about how widespread that knowledge was, but every time I look into science spread on those times, I discover the answer is "widely".
Clarifying questions if the initial prompt was unclear. I'd love it.

I regularly try to add something along the lines of "please ask clarifying questions if you could only give a generic or partial response otherwise" but so far it has never helped (ChatGPT 4).
+1 probably closest thing to a useful crypto you can find.
An LLM, in its perfect form is basically a p-zombie. There is no consciousness there. In its current form, its not much more than a really big and fast spreadsheet :)
It takes one volcanic winter for them to cross the oceans and emerge on the other side, without being fit for the warm waters.
Would be a rough trademark enforcement case as “Grok” has been in common language for decades
> according to your personal prompting style though

I like the notion of someone’s personal prompting style (seems like a proxy for those that can prepare a question with context about the other’s knowledge) - that’s interesting for these systems in future job interviews
Well, “Flemish” is also a secondary name for South Dutch. It’s a very interesting collection, I kind of wish some were included in the “Canon van Vlaanderen”.
I was under the impression training was at best an undefined area of IP law. Is there any aspect of copyright that prohibits training models?
Seti@home started a long long time ago, when computer used the same amount of power, if they worked hard or if the computer was idle. That's why they started as screensaver, it did just not matter.
TLDR:
- Trade war because of SK following US directive to install THAAD, which at surface is aimed at NK, but the real target, at least from US perspective, is at China.

- Increasing competition from Chinese firms

- US waging sanctions and trade ban tech war, and the SK firms following US trade restrictions voluntarily or involuntarily. This has made nearly all Chinese sectors examine their supply chain for tech and goods that might be banned by a stroke of pen from Washington and switching to more reliable alternatives. This has the surprising effect of improving competitiveness of many Chinese firms, especially in the areas SK firms are good at. Leading to more number 2
LSTM-Based Machine Learning for Enhancing Storm Surge Forecasting Accuracy
Not sure what the snark here is for: It would be trivial to produce a dataset where the model asked you questions then fine-tune on that.

People already do it with chain-of-thought and you could get away with a few dozen examples if you wanted to try this.
> would you automatically assume I'm a Tokyo resident? Probably not, right

For something that you can pick up just by visiting? Maybe not. For information like this, about specific bylaws that are relevant for homeowners or car owners? Yeah absolutely I would assume they live there
needs (2019-12-09)
I agree, medical history is probably not the sexiest reason to have AI ask questions. I think there are many more reasons; I think the Turing Test is the best metric to evaluate AIs, and current models come nowhere close. When people first meet they ask questions about their background. It would be nice if a model replicated that
I think it would be 1) how accurate are aquifer and coastline topography measures (1 mm wouldn’t be far off but what about a meter? That’s a lot of inundation). And 2) how much has subsidence permanently decreased the carrying capacity of aquifers?

It could be a thing where only 50% of what is extracted can be returned. Either theoretically or safely (eg, earthquakes).
How is he mixing up concepts there? Due to light speed bottleneck you would literally always have at least 3 minute delay unless you break the physics, in some way. So the ping would always be at least 6 minutes. 3 minutes is quite a significant delay for any sort of comms. Video or otherwise.

If anyone is mixing up concepts, it seems to be the article author to me, mixing up speed width bandwidth.
[dupe]

More discussion here: https://news.ycombinator.com/item?id=39737281
Some more discussion: https://news.ycombinator.com/item?id=39737281
Great, now all I need is someone to give me $3m to buy a 'loss leader', plus another mil or 2 for the actual business.
Lift heavy, eat enough protein, avoid coke/fanta/sprite/sugary drinks.
Why vaccine misinformation is winning the information war
It's not, and I mean it, specifically in groks case.

Generally, it's a boring boneheaded talking point that the 1% of us actually working in AI use as a sorting hat for who else is.
that’s not true, you can lend over defi using erc20 contracts
That’s still like a 10 year lag time. If the process to find those answers involves anything beyond typing in the query followed by “fediverse” or whatever on google, it’s not going to happen.
> and could direct better ads to me.

Is the least attractive part, by far.
To clarify, I am OK if Larry shot down a design idea on Perl 6 itself, but there WAS a RFC of design ideas, which I did not contribute because honestly, I am not qualified to design a language.

I am qualified to help design a logo. And if the feedback was, "great ideas, but not the direction I want to go. What about..." or anything similar, that would be a fine way to show that my offer for doing free work is still happily welcome, with reasonable direction from the owner of the project. You know like a discussion.

There's some great OS logos. The Linux Penguin was great. BSD Daemon, etc, etc, etc. I love the camel, but that's not owned by Perl. It's not an impossible task.
Last time I was leaving front end there were rumors of css coverage tools. That would certainly be a start.
How to set boundaries and stop people pleasing at work
No, it is an opensource of timber.io but now Timber was acquired by Datadog ;)
Thank you for the replies!
"Perl 6" in a monotype typeface would have been worlds better.
A Manager's Guide to Targeting Your Intended Audience
Android App Size at Scale with Project Bonsai
Learning Lessons from the Cyber-Attack
Princess Margaret's husband was taken into custody by Detroit police in 1974
They might be able to find a niche in industrial equipment. But for regular cars it will be hard to compete with QNX.
I think the interesting discussion here is as you're putting it, consciousness, the subjective experience of living and feeling. These are not requirements for intelligence or any physical process, and yet it is an indisputable fact that it exists.

The only conclusion I can make is that there is indeed a non physical reality.
It could be argued that German military technology in WW2 illustrated some of the same issues, and perhaps gave ACC the idea. They had the V2, TV-guided missiles and operational jet fighters, some of which had massive development / opportunity costs, but none of which materially changed the outcome of the war. The ME262 jet in particular had engines that only survived a few flights because by then German industry couldn't access the specialist metals required.
> There are ZERO open source OS for mobile. ZERO. NONE.

This is false. Sent from my Librem 5, which runs FSF-endorsed PureOS.
Thanks! After I asked this I googled around and found on GitHub bemasher/rtlamr, but discovered it doesn't work on my meter's network (FlexNet/Icon/Census). Hopefully someone figures out FlexNet, I'd like to add my meters to my home data collection!
One of the interesting things when weights are open sourced is the community can often improve the results. See all the bugs fixed in Gemma for an example.
Not directly. Vector is a tool to build pipelines that receive, transform, and send data. But it doesn't index data to make it searchable. You can use it to ingest into Splunk, however.

Vector could be used to build something Splunk-like. For example, you can use it to ship logs into Kafka, then let it ingest that data into ClickHouse, and then use a frontend like Grafana to search logs using ClickHouse.
Rubbing Alcohol Is Great for Cleaning, but Here Are Things You Should Never Do
Egg of Columbus.

Also, the general architecture is well documented, ChatGPT (specifically the chat interface, not GPT-3, not InstructGPT) is what made a lot of people care, and actually reproducing it requires someone wanting to in the first place.
Yep, Ruby and Python got removed very quickly from the system following this announcement. Perl, however, stays. It seems like some components of macOS depend on it and the dependency is hard to remove. It will likely happen but huge kudos to Apple for keeping it up to date meanwhile.
https://archive.is/cmHOj
Your comment highlights why distributing anything that's python is unfortunately nearly impossible.
Axelrod's tournament
And the one thing they are vehemently protecting from scrapers and other entities. Even nitter threw in the towel.
No offense meant to the contributors or authors, but I don’t know if I trust Datadog (the company) to steward what looks to be an OTEL competitor.
I wish (:
Also: https://crookedtimber.org/2024/02/19/death-lonely-death/#com...

about Voyager 1, recently in the news
You shouldn’t read this blog.
Well, you can use some tricks - ie. hook it up to your brain, let it learn for a while and tell us how it feels when we flip the switch to OFF.
This may be a good time to give Linux a go as a daily driver, if that's possible.

I made the switch a year or so ago, and it's been really refreshing having my laptop not treat me in the way you describe.
Considering how poor it is compared to other models, it really emphasises how important fine tuning is. Models with MUCH smaller parameter counts are outperforming it in many metrics.
Oh, I agree with that.
I thought you were arguing that tests were less valuable because all production bugs passed the tests.
Tons of homes have lead pipes. It's not a problem unless your water supply gets fucked up aka flint. The dangers of lead are over stated. As long as you don't vaporize, dissolve, or eat it, it's as harmful as any other metal.
I think the key piece in TFA is while starting out or otherwise learning.

I agree with that conditional. It's too easy to rely on tooling, and never really grasp certain concepts involved in what you are doing.

If you take AI for example, its solutions are generally not quite right. An experienced developer will know what's not right. A junior will spend more time slamming into walls and possibly never really understand if using AI and even per TFA, an IDE.
Disclaimer: I work at OxidOs.

Regular cars have a lot of OS'es in them that are not QNX. I'd say OSEK derived OS'es are much more common than QNX. And I believe there is quite a bit of space for alternatives.
Money there is for sure, the claim though is the slightly different 'there isn't that much'. I don't know who is right, but it is the imporant question if you are investing long term.
More discussion over here: https://news.ycombinator.com/item?id=39737281
So far I haven't seen any fork or alternative to Nomad emerge.

What is particularly worrisome when you need something lightweight and to support non containerized services...
One of my dream projects would be to grab some off-the-shelf switch IC and build OSHW switch around it with fully free blobless Linux based software stack. Something like SparX-5 [1] could work here, and the vendor software is already Linux based (but presumably absolutely horrible). The problem is that you'd need fair chunk of cash to get anywhere, so this basically needs a kickstarter or something to get going.

[1] https://www.microchip.com/en-us/product/vsc7552
https://pjmedia.com/paula-bolyard/2018/10/24/tech-community-...
This is sometimes so hard to remember. There’s so much content on optimizing for page size — and admittedly, it does matter a lot in some industries like e-commerce and/or if you have users in less developed countries — but quite a lot of situations kind of just let you ignore it.

I work in B2B and we frankly put way more effort in than we should have to optimize bundle size before just making the assumption that everyone has a good connection and we didn’t really need to worry about it.
I am not sure what open source models are accomplishing another than killing the lead from the competition (openai), only to give it to someone else who has expertise in the area of distribution. This will be yet another good addition to systems like Amazon BedRock.
Google Closure
not all research benefits society and what does usually benefits the wealthy, which boinc users almost certainly aren't. The wealthy expect a return on an investment
(not sure you're going to edit again, but in the current one, I'm not sure what Google's silly stock image warning has to do with anything, and I have generally chosen to avoid engaging people doing their politics hobby via AI discussion, since it became okay to across the ideological spectrum of my peers. So, mu is my answer.)

And you're right, I was really surprised to see the harder right people throwing up their hands after the Gemini stuff.
Well, the gravity alone definitely affects us, so also our personality. But whether it affects us in any meaningful way, is doubtful, since the force is really, really small.

What definitely has an impact is, in what season you were born(if there are seasons). Whether your first steps outside are in snow, or in warm sun. That has an effect on development.

Still, I always loved Astronomy and could never understand the appeal of Astrology in the first place. It never made the slightest sense. So if I am born on day X, I am supposed to have trait A, but if I would be born some hours later I should be personality Y? (besides the fact, that the baby was alive and conscious before the birth). The reason why people take it serious, is probably to find guidance in a chaotic world and they seem to think some guidance is better than none (but I rather have no guiding, than one that makes no sense to me in the first place).
At the moment I don't remember enough of the axiom of choice to comment on it in detail, but we can infer from the Downward Löwenheim-Skolem theorem (roughly, every first-order theory, including ZFC, has a countable model) that the Choice axiom can't imply uncountable sets.
I think you should be capable of programming in notepad.exe. Not because it’s a test of skill or improves your understanding or whatever… but because the IDE shouldn’t be able to do anything you can’t do yourself (slowly). If you actually understand it well, the IDE is a boon, not a necessity.

The mistake with these kinds of articles is arguing that because you should be able to work without an IDE, then it’s best to work without an IDE — I don’t know where this leap of logic comes from, but afaict is never a good argument, and the HN counter arguments are just as uninteresting
Suno AI created me a song from Python random number code.
My mind is blown. I copied this python code from the net and Suno AI made me a fairly catchy song:

# Program to generate a random number between 0 and 9

# importing the random module

import random

print(random.randint(0,9))
I don't understand why you're being downvoted for asking a legitimate question. People not familiar with model weights might be surprised that they are often in tens of gigabytes and in this case even more.
The article fails to mention that __cxa_atexit allocates and therefore can fail, but the interface does not permit error reporting. This is probably more important to address for the thread-local destructor registration (__cxa_thread_atexit).
If you haven't already tried, consider getting a steroid injection directly into your affected wrists by an orthopedist.

Had CTS many years ago, couldn't even hold a lightweight briefcase in my hand - and the pain was miserable - a single injection into the bad wrist and now 20 years later I am still pain free.

Not sure if it would work as well in all cases, but it was life-changing for me.
I make my desktops out of 4u chassis. Mainly because they have good airflow. But it does bring one glaring design issue to light. consumer grade mother boards are schizophrenic about their airflow. the cpu and ram are orientated to flow left to right and the expansion cards expect the flow to go front to back. Server grade mother boards have coherent airflow however I have found server boards are less than optimal for a desktop application. they boot slow, are picky about components, and the cpus tend to be slow and wide. So I tend to alternate, one generation I get fed up with consumer grade bullshit and buy a server grade board, the next I get fed up with server grade bullshit and buy a consumer board.

My favorite chassis so far has been this generic one, the fans suck(just buy a new set of good fans right away) and supplied drive bays suck. but look at all them 5 1/4 bays, bays for days. You can put every stupid hotswap bay, fan controller and drink holder gimmick you want in there. and still have room for more.

https://www.newegg.com/rosewill-rsv-l4500u-black/p/N82E16811...
I'd bet a synthetic data set could do the job effectively.
And to compare, you can sort by MMLU on here: https://huggingface.co/spaces/HuggingFaceH4/open_llm_leaderb....

Edit: to include my self summary after review: There's a good 100 models better than, a couple 1x7b even. Mixtral stomps it, half mixtral are universally better but one is close to same.
In order for an AI to pass a Turing Test, it would surely ask questions. Think of Ava from Ex Machina. She asked questions to learn more about him
I have a very simple theory about this -

If we assume the 80/20 rule to hold about most things in world (80% profits from 20% customers, 80% of benefits to society from 20% workers), then we can assume the same 80/20 rule applies to the bits left over - ie the remining 20% of profits will have 80% of those generated by 20% of the left over 80% of customers)

Roughly speaking then 96% of all good stuff comes from 36% of stuff we do

We could say then that if we could find the 2/3 of useless activity that only generates 4% of good stuff we can for example cut carbon emissions by 2/3 - and only need to lose the crappy plastic toys on front of magazines, or most peoples commutes or …

What I think I am saying is that 2/3 of the jobs people do are useless - and yet in any organisation they are the majority and hence bend the organisation

Don’t worry dear reader I am sure like me you are one of the non useless ones … like me , like me
Partially. Open weights is not open source.
> Once the novelty wears off a "practical" example would be rendering "in-game book pages" that don't look like complete gibberish, or an "accurate print preview" with real text instead of blurry placeholder pixels that don't even look close to being the glyphs scaled down.

Low-res or LoD video game textures are a bit of a stretch but could be cool.
"it really emphasises how important fine tuning is"

Or rather the quality of the training data?
Robert A. Heinlein coined the term grok in 1961