Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #15577

Halfing the AI Laptop Budget: Ne-Meow sold out! (Was: Even the Buddos are clueless [Did Tarau see Liliputians?])

Show all headers | View raw

Hi,

Interesting, the Copilot+ minimal
requirement is 40 TOPS. Now Wiki is
mumbling something of 35 TOPS + 15%,

for the new A18 chip, that is found
in iPhones and the new Mac Neo. The
new Mac Neo is only $500 , half of

my discount AI laptop, and is selling
like hotcakes. I should try it, see
what AI workloads it can do locally.

Bye

P.S.: The Mac Neo is jokingly called
Ne-Meow in this hands on video by Bijan
Bowen, showing some vibe web coding:

MacBook Neo Local AI Test
https://www.youtube.com/watch?v=75PFpW9SOL0

Mild Shock schrieb:
> Hi,
> 
> Even the Buddos are cluless, while Tarau might
> indeed appear in the anals of the Borg, as a
> notable human being, seeing connections.
> 
> While the Buddos are the man mountains of
> Janathan Swists Gulliver's Travel, creating
> huge egg montains, replaying some rewriting
> 
> school inventions. They might nevertheless be
> strapped down by Liliputians:
> 
> Gulliver captzured by the Liliputians
> https://www.lookandlearn.com/history-images/M301092/Scene-from-Gullivers-Travels 
> 
> 
> But who are these Liliputians? Well just
> toying around with a deep seek v4 derivate in
> LM Studio, a model that came out 9 days ago.
> 
> Etc.. etc.. it shows more text, all generated
> on a laptop that was even only $1000 since
> end of year 2025, there were some discounts.
> 
> The laptop has the Windows Copilot+ specs.
> The secrete sauce? Some general matrix
> multiplications (GEMM) tucked in your iGPU:
> 
> What is Xe Matrix eXtensions (XMX)?
> https://www.intel.com/content/www/us/en/support/articles/000091112/graphics.html 
> 
> 
> Bye
> 
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Lets get emotional! While Varoufakis painted
>> the picture of cloud capital. That might have
>> mobilized "The Internationale", or another
>>
>> more defensive less motolotov throwing song:
>>
>> Pink Floyd - Run Like Hell (Live)
>> https://www.youtube.com/watch?v=lKgOe1Rl8YY
>>
>> Now since Athropic is teaming with xAI, we
>> might ask do we see the next OneDrive of Prolog
>> on the horizon. Even a tame Erlang dream:
>>
>> populate the Web with clever Prolog agents!
>> https://trinity.elfenbenstornet.se/
>>
>> Might have a nasty Prolog as SaaS aspect!
>> As long as we talk about services and not
>> assets, we might miss something. Who owns
>>
>> the present and future LLMs/LRMs?
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> You just escaped AI dooms day. Humanity has
>>> reset all internet and computers as a last resort
>>> to prevent AGI developing, by an electromagnetic
>>>
>>> pulse. You are stuck in Güttinger Wald and hunted
>>> down a deer by your bare hands, the deer still
>>> confused and tame because tourists were feeding it.
>>>
>>> Now you have no knife, what do you do:
>>>
>>> Chimpanzees Have Entered The Stone Age
>>> https://www.youtube.com/watch?v=wPXX2I_uYjc
>>>
>>> So we are just apes with internet.
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Ok I was looking at this learning challenge,
>>>> producing vector (y1,y2,y3,y4) from a vector
>>>> (x1,x2,x3,x4), System R can do it via least square?
>>>>
>>>> | 0 0 0 1 |   | x1 |     | x4 |
>>>> | 0 0 1 0 |   | x2 |  =  | x3 |
>>>> | 0 1 0 0 |   | x3 |     | x2 |
>>>> | 1 0 0 0 |   | x4 |     | x1 |
>>>>
>>>> How it started:
>>>>
>>>> "multiplicative RNNs arises naturally from a
>>>> proof-theoretic interpretation of next-token
>>>> prediction as nested intuitionistic implication"
>>>> Paul Tarau - 2026
>>>> https://arxiv.org/abs/2601.19915
>>>>
>>>> How its going:
>>>>
>>>> "Dave uses a PDP-11 to train a real Neural
>>>> Network complete with Transformers and
>>>> Attention so you can see them at their most basic."
>>>> Mr. Taskmanager - 2026
>>>> https://www.youtube.com/watch?v=OUE3FSIk46g
>>>>
>>>> We see Doctor Frankstein in action from
>>>> the Bronze Age of Computing, producing
>>>> a Humunkulus, the progenitor of todays
>>>>
>>>> Bulgakov Shuriks in the Hyperscale Age!
>>>>
>>>> Bye
>>>>
>>>> P.S.: My impression neither cut to the core, that
>>>> this incredible transformer most likely
>>>> produced this deterministic attention:
>>>>
>>>> | -1 | * | k | + | 5 | = | k' |
>>>>
>>>> Or differently expressed y_k = x_{5-k}.
>>>>
>>>> How did the transformer do it? It produced
>>>> a neural network with 1216 parameters, but
>>>> didn't use embeddings or polar encoding
>>>>
>>>> of positions. But if we strip the noise
>>>> and denoise from the position encoding,
>>>> the denoise is done via softmax. We somehow
>>>>
>>>> must get the above, right? I still need to
>>>> verify my claim! BTW: The PDP-11 assembly
>>>> from 1979 uses wider example not with n=4
>>>>
>>>> but with n=8.
>>>
>>
> 

Back to comp.lang.prolog | Previous | Next — Previous in thread | Find similar

Thread

Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979] Mild Shock <janburse@fastmail.fm> - 2026-04-24 02:43 +0200
  AI dooms day escape: Güttinger Wald (Was: Paul Tarau versus Mr. Taskmanager, who would win?) Mild Shock <janburse@fastmail.fm> - 2026-04-25 14:05 +0200
    LISP consing in modern AI? (Re: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> - 2026-04-25 22:42 +0200
    AI Slop: EU to age regulate internet (Was: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> - 2026-04-28 16:22 +0200
    Elmos Fascist Dreams of a 365 Prolog (Re: AI dooms day escape: Güttinger Wald) Mild Shock <janburse@fastmail.fm> - 2026-05-09 12:53 +0200
      Even the Buddos are clueless [Did Tarau see Liliputians?] (Was: Elmos Fascist Dreams of a 365 Prolog) Mild Shock <janburse@fastmail.fm> - 2026-05-09 15:17 +0200
        Halfing the AI Laptop Budget: Ne-Meow sold out! (Was: Even the Buddos are clueless [Did Tarau see Liliputians?]) Mild Shock <janburse@fastmail.fm> - 2026-05-10 09:07 +0200

csiph-web