HackerTrans
TopNewTrendsCommentsPastAskShowJobs

varjag

16,005 karmajoined 17 ปีที่แล้ว
http://funcall.org

Submissions

The fall of the theorem economy

davidbessis.substack.com
285 points·by varjag·10 วันที่ผ่านมา·122 comments

Human Bottlenecks

borretti.me
5 points·by varjag·2 เดือนที่ผ่านมา·0 comments

Mine, an IDE for Coalton and Common Lisp

coalton-lang.github.io
138 points·by varjag·3 เดือนที่ผ่านมา·56 comments

Whistler: Live eBPF Programming from the Common Lisp REPL

atgreen.github.io
134 points·by varjag·4 เดือนที่ผ่านมา·18 comments

A Preview of Coalton 0.2

coalton-lang.github.io
50 points·by varjag·4 เดือนที่ผ่านมา·2 comments

Cl-kawa: Scheme on Java on Common Lisp

github.com
90 points·by varjag·5 เดือนที่ผ่านมา·24 comments

PCB Rework and Repair Guide [pdf]

intertronics.co.uk
168 points·by varjag·5 เดือนที่ผ่านมา·48 comments

Who has the lowest Erdos-Bacon-Epstein number?

statmodeling.stat.columbia.edu
4 points·by varjag·5 เดือนที่ผ่านมา·0 comments

Letting Claude play text adventures

borretti.me
154 points·by varjag·6 เดือนที่ผ่านมา·62 comments

There Is No New Aesthetics

borretti.me
4 points·by varjag·6 เดือนที่ผ่านมา·0 comments

Vintage Computing Christmas Challenge

logiker.com
4 points·by varjag·7 เดือนที่ผ่านมา·0 comments

Paged Out

pagedout.institute
599 points·by varjag·7 เดือนที่ผ่านมา·64 comments

Mizar Language

mizar.uwb.edu.pl
4 points·by varjag·8 เดือนที่ผ่านมา·4 comments

Tetris Effect

en.wikipedia.org
4 points·by varjag·8 เดือนที่ผ่านมา·0 comments

Vibecoding a Cyberpunk 3D GUI for System Commissioning

blog.funcall.org
1 points·by varjag·9 เดือนที่ผ่านมา·0 comments

Unit Testing in Coders at Work

gigamonkeys.wordpress.com
3 points·by varjag·10 เดือนที่ผ่านมา·1 comments

comments

varjag
·11 ชั่วโมงที่ผ่านมา·discuss
Heat dissipation and gracious distances for installation and servicing.
varjag
·11 ชั่วโมงที่ผ่านมา·discuss
I've spent tons of time in NYC, Barcelona and Paris and never ever encountered petty crime even as an observer. It certainly exists to some extent but this whole issue is a hype the kind of which villagers on the net like to argue about.
varjag
·12 ชั่วโมงที่ผ่านมา·discuss
No, to the day. You'd struggle to find a digital transmission from a strike FPV.
varjag
·23 ชั่วโมงที่ผ่านมา·discuss
Let me simplify it for the sake of argument. Imagine I am unable to follow a middle school proof of Pythagoras. How does it matter if I trust anyone beyond that? What possible contribution can I build on top of that?
varjag
·23 ชั่วโมงที่ผ่านมา·discuss
You can literally see the analog video links in countless thousands of published recordings. Nobody really does the hopping with analog video.
varjag
·23 ชั่วโมงที่ผ่านมา·discuss
How come? It plainly negates the "easy" part. It's not easy at all, you need to scale your signal path to the magnitude of power. I.e. the expensive part.
varjag
·24 ชั่วโมงที่ผ่านมา·discuss
FPV drones in the Russian war are generally pretty dumb devices, there's usually no frequency hopping involved to begin with. They have a lot more in common with baby monitors than with modern military comms.
varjag
·24 ชั่วโมงที่ผ่านมา·discuss
Well we're literally discussing a human readable machine generated proof here yet you don't seem happy with that.
varjag
·24 ชั่วโมงที่ผ่านมา·discuss
I didn't say they have no value. Just limited value. A novel readable proof that expands the horizons of human insight is certainly more valuable than a megabyte sized trychnobezoar of machine generated predicates.
varjag
·24 ชั่วโมงที่ผ่านมา·discuss
Yes. That makes it fat, expensive and vulnerable target. There are videos of them being blown up regularly.
varjag
·24 ชั่วโมงที่ผ่านมา·discuss
How does it matter if it Lean verified or a human verified proof if you comprehend neither?

There can't be too many people working in that corner of graph theory, and I expect the result to them being eminently straightforward.
varjag
·24 ชั่วโมงที่ผ่านมา·discuss
Human unreadable proofs have only limited value.
varjag
·เมื่อวาน·discuss
It's not a long proof (it's not in Lean after all) so easy enough to comb through for a domain expert.
varjag
·เมื่อวาน·discuss
Jamming broadband is a lot more energy expense than frequency hopping. Orders of magnitude.
varjag
·เมื่อวาน·discuss
You could try solving that in Lean perhaps
varjag
·เมื่อวาน·discuss
…and thank God it's not Lean.
varjag
·4 วันที่ผ่านมา·discuss
What happens in countries with no rule of law is rule of power hierarchies. A regional party boss would have his trusted deputes running things, who have their underlings, they underlings have their preferred business partners (police chiefs, businessmen, prosecutors, control authorities) and so on. A bribe at any level is always redistributed upwards.

Sometimes the big guy falls out of favor with bigger guys, and then the whole structure is up for grabs. The whole vertical is massacred (sometimes literally) while new people take over from the top down. Often what's visible happens a few degrees removed from the actual cause.

There's understanding among the ruling class and much of the populace that it's just How Things are Done. But moments like that give you public trials with executions that make some naïve Westerners clap.
varjag
·4 วันที่ผ่านมา·discuss
What did you use for the simulation part?
varjag
·6 วันที่ผ่านมา·discuss
I have in fact masters in SE and three decades experience of commercial programming. Loved every minute of it (well except the burnout episode) and still do my hobby projects. So I would say no, you are wrong. The models decimate not just the coding (the best and the most fun part of development) but all the pseudo-engineering roles like architects or product managers too. Simply because there's less need for communication in the team as the surface of work for each dev is now quite enormous.
varjag
·6 วันที่ผ่านมา·discuss
It's fine for your pet projects. But for most of professional programming it's no longer feasible as you'll be at a small fraction of your machine assisted performance.