↓ ↑
So we already had
* AI bubble strawberry counting edition
* Video games bubble, covid edition
* Electric cars and associated paraphernalia
* Drone bubble
* Blockchain (kinda over)
* Linux
* DotCom bubble
* PC bubble
* AI bubble electric boogaloo edition
* Video Games crash
* AI bubble
whats next?
I suggest some air drone delivery services bubble, driven by the shoplifting and flashmob looting. Had I been Amazon, I would be organizing these niggers to loot more local stores.
security is a bubble because it rides on the bubble of mounting complexity brought by the self-sustaining superstructure of programmers giving themselves work by stacking "features" and rolling releases so that somewhat old versions of perfectly good working hardware become obsolete so you have to UPGRADE and buy the smartest smartphone if you want to keep running essential apps.
>>31
s/smartest/latest/
latest bubble is jumping on linux because windows 11 ai bad
>>33
"Apple Removes Ability to Run Unsigned Apps in macOS 15.1"
https://news.ycombinator.com/item?id=42032444
>>34
was a bug. hopefully not an A/B test.
↓ ↑
You guys usually use pen and paper to write and study code before punching the keys into the screen, right?
I don't get flowcharts either, but I find statecharts very useful for µC programming.
What do you people think about mindmaps?
>>46
Cool stuff. It gets a lot of data and knowledge onto a single space and then connects them in logical ways.
before smartphones were ubiquitous I used to do this sometimes. Now I just type my notes into emacs on my phone.
I don't program, I'm only here for the SICP yuri fanfics.
↓ ↑
Give me some links, where are all the chuds
bitchan.i2p - i know, what else?
It's been ages since I last used it. I used to download close to everything from the torrent tracker to "help the network". I came across some very fine metal albums this way.
I'd recommend kycklingar.i2p but the eepsite seems to be down
You can always browse zzz.i2p for some neat technical discussion
legwork.i2p is the best search engine IMO but it's a bit unstable compared to i2psearch.i2p
>>4
I should also mention 3chv2.i2p but I don't use it much, only really know it's another imageboard like bitchan
Current i2p checksums are mixed up!
from their official website (Linux .jar):
== ea3872af06f7a147c1ca84f8e8218541963da6ad97e30e1d8f7a71504e4b0cee ==
calculated from my downloads folder:
d70ee549b05e58ded4b75540bbc264a65bdfaea848ba72631f7d8abce3e3d67a Downloads/i2pinstall_2.7.0.jar
ea3872af06f7a147c1ca84f8e8218541963da6ad97e30e1d8f7a71504e4b0cee Downloads/i2pinstall_2.7.0_windows.exe>>6
they fixed it.
↓ ↑
Can you evangelise Docker to me?
I don't get it, it seems dead. Why people keep copulating dead corpse of Kubernetes?!
When docker just arrived >+10yrs ago, I was like: wow, light weight lightspeed vm`s, nice!
but now I feel pain & frustration :::
- whole big rebranding split of community\enterprise\desktop pay for win versions + ... vm (?!) which was unavoidale and was ultimate solution from the beginning.
- can't easy install & run rootless without hustle
- we can simply use lxc or other light weight containers
- everyone enforcing podman or rkt or some their own new sh1t as replacement
- can't offer secure protection from running untrusted malware code
- docker seems good if we build apps from 0, but when it came to just running instalation of some 3rd party server app proprietary binary - it failed.
- used wrongly for wrong reasons as package system or build system isolation
- nixos replaces case above ^
- just use lightweight vm, Cloud on demand as a Service.
Maybe I'm dumb, and don't get geniuses who pay & earn 10k/mo with Kubernetes? Elaborate.
Also, docker has very convenient UX. You can download, configure & run any container with just one command. Compare with virtualbox or qemu. You can say that docker is like flatpak for servers.
Plus, its isolation helps against dumb bugs in shitty software you just wanted to run once, e.g. [1]. I'm not talking about security here, only dumb bugs.
[1]: https://github.com/ValveSoftware/steam-for-linux/issues/3671
way to check the system for known CVEs
how do you usually check, what tools you use?
can you recommmend good FLOSS scaner + antivirus, with fastest regular crowd contributed updates?
antivirus alone doesn't fix or protect from arbitrary code expoiting CVE.
clamAV if even with recent signatures doesn't detect unix (or crossplatform) badware.
----------------
2c
1 in nixpkgs you supposed to read, audit code yourself, trust build intstruction, hash demonstrates build reproducibility. But there are other specific designated tools out there for reproducible builds other that nix.
2 in theory nothing prevents you to run offline customized CVE scan script, just get and compare installed versions vs vulnerable. + optional exploit check via nix-env .
I like Guix because it uses Scheme.
Did you migrate from NixOS? I'm considering it and am looking for stories from the frontlines.
>>6
From a practical point of view, they're equivalent. From a stylistic point of view, customizing your packaging system is easy with the power of Guile. I am a fan of Scheme and it's cool to manipulate Guix to do little things that it wasn't explicitly programmed to do.
↓ ↑
There are people using that to store data?
Why not use S-expressions instead?
>>9 Because there are no tools that understand sexps. It's a chicken-and-egg problem.
Chicken understands sexps: https://www.call-cc.org/
>>11 I meant DevOps tools.
>>10
You can write all the S-exp tools you want using Lisp.
↓ ↑
I kno I'm risking to get 403'd for this thread, from textboarder Scheme tsar, but YOLO, I've been 403'd so many times I have no hope to stay here & might leave this place (so I may just leave & become friends with feds), so this could be my last thread here, I really want to know
So I just noticed this board focused primarily on Lithp derrived family of langs
I mainly been writing in dynamic langs whole my life, and I've seen your infiltration psy-op squadron on Hackernews & everywhere all over the internet brainwhashing me to learn Lisp, with Ritch Hickey & other more mature 'programming uncles' prophets, evangelists earning gazillions of USD from Oracle.
Is there any practical serious benefit for me ($INSERTDYNLANGNAME)ist to not just learn but actually USE Lisp in my day to day projects, life???
I've tried Dereck Banas yt tutorial & a bit of SICP, made Hanoi Towers, and seen some of MIT video lectures Sus man & Abelson ... It has not done miracles to me idk why, I can't grasp Lithp magic or what's so lovely about it that I'll feel the need that'll must use it everyday everythere.
Lisp kind of may be cool in comparison to C C++ Java 1.4 ... but for person using ruby/python/js I don't see benefits of ditching them for Lisp.
The most oversold overhyped biggest selling feature is Metaprogramming with macro. Well, maybe it does feel slightly more natural do do that in Lisp, write DSLs, define own syntax, or write code that generates code, since everything is a List. But I can do SAME, ALL of THIS & everything in Python AST. I can parse it, I can make DSL, define new syntax, new operators, generate code, eval it on the fly.
So why you keep telling me in my face & insisting me that Lisp is better & I have to use it?
Is it me being stupid here, not grasping some aspects of Lisp, or you trying to justify 50k annual spend on your Comp Sci degree by telling everyone what to do?
I know about Carp, and some low level dialects of Lisp/Scheme designed to run on microcontrollers.
But that is such a micro portion of marketshare.
Your post/reply >>6, is so vague and abstract without comparison of code side by side, makes me wonder if you posted gpt reply, or ai actually writes & understands subject better than you.
I was phoneposting whilst intoxicated. Sorry for not posting code examples. I still won't post any but I'll reply again later to clear up some vagueness.
>>4
Refresh your memory of Abelson's foreword to EOPL.
Shit, colleagues, do you eat shit?
The other colleague is right, and I'll tell you something else: 99% of the code written out there could just as well be written in server-side-includes, which is Turing-complete.
>>11 Now I want to see an OS written in server-side includes
↓ ↑
Please redpill me on APL.
Does it have modern relevance?
Nice vintage REPL!
https://www.youtube.com/watch?v=_DTpQ4Kk2wA
Yes, it's a nice mind-bender! Though you'd want to start with a simpler dialect, e.g. K, BQN or uiua.
https://xpqz.github.io/kbook/
https://mlochbaum.github.io/BQN
https://www.uiua.org/
I'd say uiua is the nicest to beginners, but it's not pure APL — it was just as influcenced by FORTH (it's a win in my book).
>>7
There is a new APL MOOC by University Of Helsinki
https://dyalog.tv/Dyalog24/?v=2wdtPPqdECo
https://aplmooc.fi
Will there be Ivy (or any array programming language) for Android phones?
https://pkg.go.dev/robpike.io/ivy
Probably no native apps, but termux has `kona` (K language), or you can use https://www.uiua.org/pad or http://johnearnest.github.io/ok/mobile.html
↓ ↑
what you use?
i use artix
openbsd
NixOS (with bspwm+sxhkd+polybar+mpd+s6), currently eyeing OpenBSD
>>88 >>102
The problem I've had with these is that they make quickly rigging things to just work very hard. You don't notice it but you're doing this all the time on something like a laptop and it means you'll end up delaying things that normally take a few minutes for entire days while you fiddle with package definitions.
Maybe it's better on servers but on an interactive personal computer it doesn't work.
Gentoo + AwesomeWM :^)
Yeah, edit-save-rebuild-test cycle is really long (my nixos-rebuild lasts approx. 2 minutes). When fiddling with ~/.config, I usually remove NixOS's symlink, do the fiddling, and only then save my changes to configuration.nix.
↓ ↑
Strong Static vs Weak Dynamic Typesystems
what's your opinion & based take on this?
I would like to rant here and honestly describe my feelings & story.
My first first programming language was MS-DOS command line & editing batch files. I liked it. When I was around 12 probably maybe. Then we studied informatics in class and did some graphical geometric programming language (like move Point X, Y to X, T coordinate to draw); Then later I coded some Pascal in school, and did short screen splash scene like intro with sounds from PC motherboard speaker. Many ppl were excited to become Delfi developers back then. Upon graduating school, didn't had money for college/uni, I needed to get a job, I browsed job board website found 30 offers for C++ & 150+ for Java. I bought the marketing of 'compile once run everywhere' + free crossplatform jdk+ide, at that time I was a linux user and was unable to sell sould to asp.net C# (& they had small job numbers). So I started to learn "Java in 24h" book, done & learned it, only to find out no one needed me at job market with basic SE, and everyone asked for J2EE EJB Servlets book didn't covered. So despite I wrote few successfull programs I didn't got a job as java dev. I didn't learned/touched/concerned about manual memory management, safety pointers at that point. My only complain was slow GC & long burreaucratic boilerplates Classes OOP to do simple things.
Later then I discovered ruby/python/shellscripts. & omg my productivity skyrocketed, I was able to write useful oneliners and accomplish stuff without writing 2 pages of Java classes. only complain was that IDE (PyCharm) did not static analysis, typechecking, highlights, hower hints popups like Eclipse for Java, and I had to discover & test errors at runtime , but that wasn't big deal for me. And I got the relevant jobs.
(jumping back in time) I need to point out that before learning scripting weak dynamic langs, I've tried to write some programs at work to do useful meaningful work tasks like [working with excel|csv|text|log file, process, grep|edit|sed strings] in ... Java, because I didn't knew perl/python/sed/grep/awk/ruby/shell scripts back than... and it was afwul Class expirience. Massive strong statically typed boilerplates of Classes to do concatenation of strings, or remove spaces. Don't blame Java, it could have been C#/C++ or same shit (idk how bout Rust or Haskell?) at her place.
Don't get me wrong, those cli apps/tools, I wrote for prod, they are not throw away, they are well documented and being used later by dozens of emploiees. so that's not "undocumented one liner throw scripts" like public static void debiloid on hackernews love to blame dynamic scripting langs.
I've noticed that the whole marketing idea (of strong statically typed langs) and justification of pain of writing hard to read boilerplates is Fear Uncertainty & Doubt of errors in runtime.
(I could expand my story more, let me know if you want or if I need) But my point now, that since around 2015 I faced really agressive hype marketing of strong statically typed langs (primarily functional like Haskell). So I decided to give it a try... I jumped in to Type System rabbit hole, and started to learning about curry howard hindley milner bullshit (I'm sorry for being bit dramatic), lambda cube, then trying to pick perfect lang (instrument) to do the development , and since Haskell wasn't perfect a top of the /\^3 , I was forced to look at more expressive typesystems of Coq, Agda, Homotopy type theory, Cubical Type theory, only later to discover that are no implementation of those mentioned langs suitable for production IO. That's how I end up with somewhat practical Idris. (it's review deserve his own separate thread I'm not going to make yet or spoil here) (And I'm not talking ITT about ATS, Lean, Clean & other solvent level Everclear bullshit u could get at gas station).
So what's the poing you may ask? What's the final statement, ending & conclusion? I agree with grugbrain.dev that helpful side of Eclipse IDE was dozen of helpful features. There is no Eclipse/Visual Studio support for Idris/Haskell. There are plugins for Idris for VSCode but they outdated as fuck and don't work , give many problems like:
- node js prevent from starting lsp
- terrible windows support even for MSYS2
- move from Idris1 to Idris2 could have been a mistake such as move from Python2 to 3 breaking many of previous features and new version is raw as fuck n incomplete.
- vscode extensions for statically typed idris throwing at me a lot of cryptic js errors I don't know how to fix. brilliant? paradox & irony
- I don't see good ide for Haskell, and taking my prev expirience in to account, I'm not sure IntelliJ extension will work flawlessly.
- I've used vim, emacs and honestly don't want to be bothered with their unfriendly shitty interface again!
& like ok, even other than awful IDE support, for overhyped, oversold langs, there are still pain of writing boilerplates, Idris doesn't have 'Derrive' like Haskell or .toString() eval() metaprogramming facilities like Python, so it requires to manually write a code for example to convert Bool, primitive datatypes, Records {dick:ts?!} to -> String and backward from String to code. If datatype have 10+ elements, you need to write 10+ lines of code for each to assign it with String, ridiculios.
So, there is like fuckton of problems with strong static typed langs, and I'm not even mentioning here problems of Nix, Rust, C++.
Is it worth it to buy agressive overhyped oversold marketing of strong typed langs (including elegant functional options, maybe Ocaml?) ? Guess the answer. Maybe convince, argue ITT.
And if you say "Hey man, it's just pain down the road if not doing strong static" . I remember Enterprises that hired 100+ Java/C# devs to write web pages, what other company did with 10 PHP devs. If you got more than 50k+$ for the project, sure, safeguard youself with strong static typing, whatever you want. We also got to be grateful to Kusaba, Futaba, and honor first perl/php bbs devs. The productivity equals amount of energy spent on writing a code /:/ amount of working program software output. Strong staticically typed langs do reduce productivity, even in the age of intellisense autotab & gpt, in comparison to rise of productivity of dynamic typesystems. Yes, the dynamic programming language is just like human English language (or GPT), you get full working program with few English words, and maybe with few errors , that you allowed to fix optionally with next iteration if you need, instead inconvinience of writing code in pure hard math expression of typesystem.
P.S.: & I also pay respect to untyped HLA, Forth, out of class C. APL is the greatest language ever existed. Other next big lang is not Rust, or some fancy mumbo jumbo whoop da whloop typesystem. It's plain human lang combined with NN AI GPT to output software apps.</thread>
God forgive me if I'm wrong, I wrote & code in good faith.
Do you like F*?
https://fstar-lang.org/
>>4
Register x0 is constant
>>7
I see you haven't experienced register failure, or tampering.
x0 is not constant, xzr is.
This. Except that I think such language should be less like english and more like math. I'd say Haskell is pretty close to what I'm imagining.
↓ ↑
NIGGER
I'm wigger.