HackerTrans
トップ新着トレンドコメント過去質問紹介求人

swatson741

no profile record

投稿

Lisp Coding Standards v1.0

franz.com
2 ポイント·投稿者 swatson741·6 か月前·0 コメント

Computer Science Illustrated (2009) [pdf]

www2.eecs.berkeley.edu
1 ポイント·投稿者 swatson741·6 か月前·0 コメント

The Sparsely-Gated Mixture-of-Experts Layer (2017) [pdf]

arxiv.org
1 ポイント·投稿者 swatson741·6 か月前·0 コメント

Y Combinator Store

ycalumni.store
2 ポイント·投稿者 swatson741·6 か月前·1 コメント

CYC: A large-scale investment in knowledge infrastructure (1995) [pdf]

dl.acm.org
4 ポイント·投稿者 swatson741·7 か月前·0 コメント

Grok's Phone Number

x.ai
2 ポイント·投稿者 swatson741·7 か月前·1 コメント

Waymo Safety Impact

waymo.com
2 ポイント·投稿者 swatson741·7 か月前·0 コメント

Wearing the hair shirt: a retrospective on Haskell (2003)

microsoft.com
3 ポイント·投稿者 swatson741·7 か月前·0 コメント

OpenCyc 4.0

sourceforge.net
3 ポイント·投稿者 swatson741·7 か月前·1 コメント

Introduction to Artificial Intelligence

inst.eecs.berkeley.edu
3 ポイント·投稿者 swatson741·7 か月前·0 コメント

GitHub Copilot CLI

github.com
1 ポイント·投稿者 swatson741·7 か月前·0 コメント

Arduino UNO Q

arduino.cc
4 ポイント·投稿者 swatson741·7 か月前·0 コメント

60 Years of Artificial Intelligence at Stanford (2023) [video]

youtube.com
1 ポイント·投稿者 swatson741·7 か月前·0 コメント

GitHub Shop

thegithubshop.com
2 ポイント·投稿者 swatson741·7 か月前·4 コメント

Essentials of Compilation: An Incremental Approach (2020)

swatson555.github.io
11 ポイント·投稿者 swatson741·7 か月前·0 コメント

Google PageSpeed Insights

pagespeed.web.dev
2 ポイント·投稿者 swatson741·7 か月前·0 コメント

General Parser Combinators in Racket (2012)

epsil.github.io
3 ポイント·投稿者 swatson741·7 か月前·0 コメント

Jargon.txt (1988)

dourish.com
2 ポイント·投稿者 swatson741·7 か月前·0 コメント

Artificial Intelligence: A Modern Approach

aima.cs.berkeley.edu
4 ポイント·投稿者 swatson741·8 か月前·0 コメント

Three Directions in Design: Gerald Jay Sussman (2024) [video]

youtube.com
3 ポイント·投稿者 swatson741·8 か月前·1 コメント

コメント

swatson741
·2 か月前·議論
I saw this happen to my Canvas account today. At first I thought it was a prank from the school or Instructure. The message was sent to students which makes no sense. Second, the message that was sent basically implies that ShinyHunter is actively getting patched out, and no one is ever going to give into their demands. They're basically saying that they're done and desperate. It's a strange message for ShinyHunter to send, but I think they were trying to pull off a psyop / FUD.

Looking into the payload they sent me this is how they hijacked the screen. Everything in the payload is unchanged except for one line of code:

<link rel="stylesheet" href="https://instructure-uploads.s3.amazonaws.com/account_9363000..." media="all"/>

This links to the following styling sheet:

@import url('https://fonts.googleapis.com/css2?family=Orbitron:wght@500;7...');

html, body { height: 100% !important; overflow: hidden !important; margin: 0 !important; padding: 0 !important; }

body > * { display: none !important; }

body { display: flex !important; align-items: center !important; justify-content: center !important; background: #07080c !important; }

body::before { content: "" !important; position: fixed !important; inset: 0 !important; z-index: 999998 !important; background: radial-gradient(ellipse at 50% 20%, rgba(255,59,59,.06), transparent 55%), radial-gradient(ellipse at 50% 85%, rgba(125,70,152,.04), transparent 45%), repeating-linear-gradient(0deg, rgba(255,255,255,.035), rgba(255,255,255,.035) 1px, transparent 1px, transparent 3px), #07080c !important; pointer-events: none !important; }

body::after { content: "\A\A" "S H I N Y H U N T E R S" "\A" "rooting your systems since '19 ;)" "\A\A\A" "ShinyHunters has breached Instructure (again)." "\A" "Instead of contacting us to resolve it they" "\A" "ignored us and did some \201Csecurity patches\201D." "\A\A" "\26A0 W A R N I N G" "\A\A" "If any of the schools in the affected list are" "\A" "interested in preventing the release of their" "\A" "data, please consult with a cyber advisory firm" "\A" "and contact us privately at TOX to negotiate a" "\A" "settlement. You have till the end of the day by" "\A" "12 May 2026 before everything is leaked." "\A\A" "Instructure still has until EOD 12 May 2026" "\A" "to contact us." "\A\A" " \25BC DOWNLOAD AFFECTED_SCHOOLS.TXT \25BC" "\A" "91.215.85.103/pay_or_leak/" "\A" "instructure_affected_schools_list.txt" "\A\A" "visit us: shnyhntww34phqoa6dcgnvps2yu7dlwzmy5" "\A" "lkvejwjdo6z7bmgshzayd.onion" !important;

    position: fixed !important;
    z-index: 999999 !important;
    top: 50% !important;
    left: 50% !important;
    transform: translate(-50%, -50%) !important;
    white-space: pre !important;
    text-align: center !important;
    font-family: 'Fira Code', 'Share Tech Mono', monospace !important;
    font-size: clamp(10px, 1.4vw, 14px) !important;
    line-height: 1.55 !important;
    color: #c8dce8 !important;
    background:
        linear-gradient(180deg, rgba(255,255,255,.05) 0%, rgba(255,255,255,.01) 3.2%, transparent 3.2%) !important;
    background-color: #0d0f16 !important;
    border: 2px solid #ff3b3b !important;
    border-radius: 14px !important;
    padding: 16px 32px !important;
    overflow: hidden !important;
    box-shadow:
        0 0 35px rgba(255,59,59,.2),
        0 40px 90px rgba(0,0,0,.65),
        inset 0 0 0 1px rgba(255,255,255,.06),
        inset 0 0 50px rgba(255,59,59,.03) !important;
    animation: pulseWarn 2.5s infinite ease-in-out !important;
    max-width: 94vw !important;
    text-shadow: 0 0 6px rgba(200,220,232,.15) !important;
}

@keyframes pulseWarn { 0% { box-shadow: 0 0 20px rgba(255,59,59,.15), 0 40px 90px rgba(0,0,0,.65), inset 0 0 0 1px rgba(255,255,255,.06); } 50% { box-shadow: 0 0 55px rgba(255,59,59,.4), 0 40px 90px rgba(0,0,0,.65), inset 0 0 0 1px rgba(255,255,255,.06); } 100% { box-shadow: 0 0 20px rgba(255,59,59,.15), 0 40px 90px rgba(0,0,0,.65), inset 0 0 0 1px rgba(255,255,255,.06); } }

The hack is crude, and it seems unlikely that they have any access to Instructure's developer tools.
swatson741
·6 か月前·議論
I dunno about this. The problem mainly affects low-income families and residents of food deserts, and now the government is trying to put everyone on a keto diet. It just seems like they're not fixing the problems where they happen.
swatson741
·7 か月前·議論
this is really quite interesting to read through after nearly going catatonic thinking about catamorphisms in the Tiger language.
swatson741
·7 か月前·議論
Date of publication is from 2007.
swatson741
·7 か月前·議論
I never really considered this too deeply, because I've never studied "Agentic AI" before (except for natural language processing). Stallman is making a really good point. ChatGPT doesn't solve the intelligence problem. If ChatGPT was actually able to do that it would be able to make ChatGPT 2.0 on request.
swatson741
·7 か月前·議論
https://thegithubshop.com/collections/lifestyle/products/155...

> Rise and grind with the latest GitHub skateboard deck (it also looks great on your office wall).

There's a lot of great gift ideas here for someone you care about. Merry Christmas everyone!
swatson741
·7 か月前·議論
How has AI impacted your profession?
swatson741
·8 か月前·議論
[flagged]
swatson741
·8 か月前·議論
I think the term transpiler is ok. It’s not pedagogical or anything but most engineering jargon is like that, and this defiantly isn’t the worst one I’ve seen.
swatson741
·8 か月前·議論
So he wants a good parallel language? What's the issue? I haven't had problems with concurrency, multiplexing, and promises. They've solved all the parallelism tasks I've needed to do.
swatson741
·8 か月前·議論
Norvig actually did comment on this publicly once on the Lex Friedman podcast. Basically what he said was that lisp ended up not working well for larger software projects with 5 or more people on them, and the reason why they never used lisp in any of their books again was because students didn't like lisp. Norvig doesn't seem to get why students didn't like lisp, and neither do I but somehow this is the real reason why it was abandoned.

https://youtu.be/_VPxEcT_Adc?t=2690
swatson741
·8 か月前·議論
I'm referring to the fundamental idea in AI of knowledge representation. Lisp is ideal for chapters 1 through 4 of AIMA, and TensorFlow has shown that NN can be solved well with a domain specific language which lisp is known to be great for.

In fact, the first edition of AIMA even had a NN and Perceptron implementation in Common Lisp. (https://github.com/aimacode/aima-lisp/blob/master/learning/a...)
swatson741
·8 か月前·議論
We know in hindsight that lisp became most useful for representing computation, but what ever happened to AI? McCarthy says it's characteristic of LISP. SICP also mentions AI as being fundamental to lisp at the beginning of the book. Norvig & Russel used Common Lisp for the first edition of their book. But, then what happened? Why did it just disappear for no reason?
swatson741
·9 か月前·議論
It works but it can’t do much other than demonstrate semantics. The evaluator won’t even be able to add numbers for example.
swatson741
·9 か月前·議論
You're right `virtmach` only works on things that are output from `compile` and maintaining the invariant that virtmach lisp uses those pointers isn't difficult to do in with how the evaluator is presented.

It gives virtmach lisp and scheme different ontology, but I can't think of any practical reason why that would matter other than it makes things a little bit more complicated. But, then again if I'm thinking practically scheme should be using hashed identifiers, and then there's no reason for them to have different ontology and conceptually we're right back where we started with virtmach lisp and scheme using identifiers as objects.
swatson741
·9 か月前·議論
A C compiler can output fairly readable code if you turn off optimizations, and it's definitely not going to take thousands of lines to do this in modern assembly. It may be only just barely a thousand lines to do this in aarch64, and the LLM can probably do it.

From what I've seen the LLM do it can definitely enhance these programs if you know what to ask, and it can explain how any piece this code works. It may even be able to add garbage collection to the evaluator since the root registers are explicit, and the evaluator only acts on static memory.
swatson741
·9 か月前·議論
You'll still probably need the `strcmp` because the pointers won't be the same unless you check for them and make them the same.

You may be thinking about how `eq?` (reference equality) works in scheme. That's usually done by hashing the identifier string. Which is the more general solution to this equality problem.
swatson741
·9 か月前·議論
The Japanese paper culture is pretty wild. They use them to make fusuma (sliding doors), decorative strips, gift wrapping, etc. And like they say in the report they've done this since forever. There was once a time in history when the rest of the world was stuck using solid shutters instead of superior paper windows.

BTW the reporter looks like Cotten Hill if he was real, and actually fought in all those wars. I'm quite surprised they had him hosting the video. I'm curious what decisions led to this.
swatson741
·10 か月前·議論
Very true but the other side of this is first class continuations are no worse than compiling try-catch semantics, and hygienic macros are still just macros so the complexity is kept simple (sort of. maybe simple isn't always so simple).

The other thing that makes languages like scheme difficult to compile are those closures. In fact, the book, the implementation of functional programming languages, Jones (1987) didn't do it at all! No closure conversion at all. They just compiled to a letrec in the g-machine.