[ prog / sol / mona ]

prog


 

Next Big Tech Hype

1 2024-09-12 09:38

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.

219

20 2024-10-15 04:42

I'm surprised nobody mentioned Internet of Things yet. I'm fairly certain, that IoT is in decline again and probably won't ever get popular. It was just a short era of people thinking, that yelling at your light bulb five times in a row in a different pitch is the future to get the lights off/on, but it turned out to be a huge scam for people with too much money and self-proclaimed "tech enthusiasts".

21 2024-10-15 11:51

>>20
You're probably not involved in selling IoT hardware. There's a real niche of people who want Internet connected devices for their home. It's definitely not the majority of people but there's enough market demand to sustain product updates over many years.

22 2024-10-15 16:54

Cyborgs, including brain–computer interfaces.

23 2024-10-17 01:14

gay sex

24 2024-10-22 06:46

bubble butt

25


VIP:

do not edit these



 

The

1 2024-10-17 14:44

https://stallman-report.org/

24

5 2024-10-19 09:09

The author of this report would do well to read the works of Max Stirner.

6 2024-10-19 14:38

>>5

Authors don't read. They write.

7 2024-10-19 14:39

>>3

Will we see SICP and SICM being burned?

8 2024-10-20 05:46

>>7
It would be a huge insult to our enlightened religion if those two holy books were to be disrespectfully burnt.
Only the heretical so-called "SICP JS" should be burnt.

9 2024-10-21 18:04

read through it, shit report.
4 more years of the stallman

10


VIP:

do not edit these



 

(Strong Static vs Weak Dynamic) -> Typesystems

1 2024-10-02 19:54

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.

24

5 2024-10-11 02:39

Type systems are a mere implementation detail. I want to program declaratively using a high level programming language such as English and let the code monkey "programmers" compile the English instructions to a lower level programming language such as Lisp and assembly.

6 2024-10-14 09:43

Do you like F*?
https://fstar-lang.org/

7 2024-10-15 11:54

>>4
Register x0 is constant

8 2024-10-17 07:50

>>7
I see you haven't experienced register failure, or tampering.

9 2024-10-20 11:40

x0 is not constant, xzr is.

10


VIP:

do not edit these



 

Wurst

1 2024-10-17 11:24

Do programmers really love writting LOTTA code in most beloved low level unsafe Rust with manual memory management, pointers, and constantly maintaning in mind memory model overhead of a code?
e.g. spending more resources, calories & time on typing more, longer code?
e.g. spending more resources, calories & time on reading longer code?

what would Grugbrain dev say?

2 2024-10-17 11:31

is offloading of complexity to compiler, typechecker, static analyzer by making more verbose code (& less human & less accessible) code -- good?

or

is less verbose, less safe, prone to errors & more expressive, more accessible, more natural lang code -- better?

3 2024-10-19 03:37

>>2
"Make it correct, then make it efficient, then make it beautiful."

According to the saying above, correctness is the most important. Therefore, one should offload complexity to the compiler to reduce errors.

4 2024-10-19 11:23

At some point processor architecture will evolve from babbage's analytic engine to better reflect what we actually use them for today

5


VIP:

do not edit these



 

Lisp advantages over Python/Ruby/Perl/Js/PHP .. other dynamic langs

1 2024-10-17 13:50

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?

2 2024-10-17 19:12

Try writing a couple dozen compilers and you will start to understand what Lisp is all about. If you can't appreciate it yet from what you already know of it, you can only expand your understanding through experience.

3 2024-10-18 08:48

>>2
Elitist wizard.

4 2024-10-18 10:09

is 99,9% of programming jobs in market about building compilers/DSLs?

5 2024-10-18 14:25

>>4
Only if you work at Microshaft and have Alyssa P. Hacker, Ben Bitdiddle, Eva Lu Ator, etc. as your colleagues.

6 2024-10-20 06:19 *

>>3
Thing is, I won't insist you have to use it. You started this thread. You asked. If you don't actually care, I don't care either.

Lisp is a better tool for certain jobs. Hard jobs. Stuff outside most people's comfort zone. If all you're writing is glue code to make one API talk to another API, and you don't need it to run on any particular CPU, and nobody will care if you burn a million cycles per arithmetic operation, you can write whatever in Python and that's fine. In fact, you can get paid loads of money for it and it's none of my damn business.

For some other things, having a more intimate knowledge of Lisp will make your life easier and free you to concentrate on the problem at hand, but only if you've already invested the time and energy to develop those skills. If you run into such a problem, it probably won't be worth it to take a detour into building your Lisp muscles first. That's just yak shaving. Go deal with the actual problem.

I don't have anything profound to say. You can develop your Lisp skills by goofing off and doing shit that doesn't matter, with a small chance it might pay off someday as a productivity multiplier. If you can't afford to goof off and try learning random stuff, then I guess you just can't. Is that sad, or is it just reality? I don't really care. It's not my call to make. Perhaps you will learn to be at peace with yourself.

7


VIP:

do not edit these



 

Rip SICP

1 2024-10-15 18:33

The link in the footer returns 404.

https://mitpress.mit.edu/sites/default/files/sicp/index.html

2 2024-10-15 18:53

RISICP

3 2024-10-16 04:35

https://pomf2.lain.la/f/6r9ulqt.pdf

4 2024-10-16 09:21

Great. We may now move on to do better things by using practical programming languages and techniques. Once we have completed our studies of SICPology, we must enter a brave new world.

5 2024-10-16 17:56

https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html

6


VIP:

do not edit these



 

Is Smalltalk more minimal than Scheme?

1 2024-08-27 20:23

I know Schemers take pride in how many of their special forms can be derived just from a few fundamental forms, but in Smalltalk they don't even have special forms, everything is just messages and there's the non-local exit ^. Does this make Smalltalk better than Scheme?

25

6 2024-09-02 13:29

>>5
oopfrens should just use functions then

7 2024-09-02 15:30

Has Scheme been implemented in Smalltalk? Has Smalltalk been implemented in Scheme?
That is the question.

8 2024-09-22 03:01

Smalltalk

Bigtalk when ╮( ̄ω ̄;)╭

9 2024-09-22 14:40

Smalltalkers waste all their time on small talk. Schemers waste all their time on scheming. As a result, both groups never get anything done.

10 2024-10-14 21:34

>>7
http://books.pharo.org/booklet-AMiniSchemeInPharo/
Pharo is a Smalltalk dialect.

11


VIP:

do not edit these



 

What shell do you use?

1 2021-10-12 12:07

I am thinking of using Dash because it is less bloated than other shells in the Bourne shell family (e.g. Bash and zsh).

248

49 2024-09-15 13:19

PowerShell, because it's crossplatform.

50 2024-09-19 19:59

I'm thinking about trying Ion (from Redox) or Elvish (or possibly even nushell).

https://doc.redox-os.org/ion-manual/
https://elv.sh
https://www.nushell.sh/book/quick_tour.html

51 2024-09-21 18:09

Unix in Lisp?
https://github.com/PuellaeMagicae/unix-in-lisp

But the questions is, is this this too much voodoo?

52 2024-09-21 18:33

Rash: The Reckless Racket Shell
https://rash-lang.org

53 2024-10-14 08:13

PowerShell is kind of interesting. I'm still very new,. Are you interested in trying it: https://books.goalkicker.com/PowerShellBook/

# help system
Update-Help -ErrorAction Continue
help Get-Process   # alias for Get-Help foobar | more
Get-Help -examples Out-GridView
Get-Process | Get-Member  # pipe object, not text
Get-Command *json*  # which commands contain "json"?
Get-alias select
Get-Verb
Show-Command Get-Process  # open a GUI for command

# List processes without active windows.
# it's formatted in a GUI table thing.
# You could also use Format-Table or Format-List
#
# let's checks if mainWindowTitle property for each process is $null and select those objects:
Get-Process | Where-Object -EQ -value $null  {$_.mainWindowTitle} | Out-GridView

# who is using up teh RAM?
Get-Process | Sort-Object -Property WS | Select-Object -Last 5

# calculate file checksum
Get-FileHash gentoo.iso

# find new files added in the last 7 days
Get-ChildItem -Path Downloads -Recurse | Where-Object CreationTime -gt (Get-Date).AddDays(-7)

# find large files, convert size to MB with 2 decimal places, sort by the new "Size (MB)" property and format as table
Get-ChildItem -Path Downloads -Recurse | Where-Object { $_.Length -gt 255MB } | Select-Object FullName, @{Name="Size (MB)"; Expression={ [math]::Round(($_.Length / 1MB), 2) }} | Sort-Object -Property "Size (MB)" | Format-Table
54


VIP:

do not edit these



 

How can we make C worse?

1 2023-10-14 06:07

Apple has extended C with lifetime annotations to try and make it safer. That is against the philosophy of C. You are supposed to have guns pointed at your fingers and toes, individually, at all times. It trains the empathy out of you and prepares you to join the army.

We need more programmers to join the army, so we need C to continue its great tradition of "worse is better," which I will knowingly reinterpret in bad faith to mean whatever I want. In this case it means more stupid fucking footguns that nobody wanted to tolerate in 1972, but C made them acceptable again.

How can we force programmers to treat writing C even more like disarming a nuclear fucking warhead and less like a thoughtful craft with an expectation of productivity?

24

5 2023-10-14 18:51

>>4
You're doing it again.

I'm going to make the face at you.

6 2023-10-14 18:54 *

>>4
Sounds good, but do make sure that you don't actually call it "first thing" and "the rest", it's better to make up some random characters as names, like pne and pqe.

7 2023-10-18 12:38

These guys have been doing this for years https://www.ioccc.org/

8 2024-09-22 03:33

Make infinite loops UB to squeeze out a few more cycles.

Oh wait

$ cat loop.c
#include <stdio.h>

void never_return() {
    while (1) {}
}

int main() {
    puts("should be printed");
    never_return();
    puts("never reached, right?");
}
$ clang-11 loop.c -O3 -o loop
$ ./loop
should be printed
Segmentation fault

Here's your main btw:

0000000000401140 <main>:
  401140:	50                   	push   rax
  401141:	bf 04 20 40 00       	mov    edi,0x402004
  401146:	e8 e5 fe ff ff       	call   401030 <puts@plt>

That's right, no ret!

"Fixed" in more recent versions for trivial loops at least. Dunno about other loops though, good luck!

9 2024-10-14 00:46

I have a modest proposal in the spirit of SFINAE — in this case, Linkage Failure Is Not An Error. Whenever an object file refers to a symbol that the linker cannot find, the code referring to that symbol is silently replaced with NOPs. Thus, rather than commenting out a function call, it can be omitted simply by misspelling its name.

10


VIP:

do not edit these



 

ludum dare

1 2024-10-04 21:04

Anyone else thinking about doing ludum dare (the jam or compo?) I'm going to write a chip-8 game.

24

5 2024-10-09 18:50 *

urethra dare?

6 2024-10-09 18:52 *

nigger dare

7 2024-10-11 08:29

I've "participated" in a number game jams as a means of exercising my gamedev skills. What I do is I look at a particular game jam theme and ruleset and then adhere the development within that box. The only thing I don't do is submit my result for people to evaluate. The reason for this is because I don't have the time to develop a game jam within the submission deadline, the game jams that I develop happen long after the deadline.

I recommend doing game jam restrictions as a means of exercising creativity in the game dev niche. One particular technique that's very interesting is the concept of "one button" games.

https://dev.to/abagames/how-to-realize-various-actions-in-a-one-button-game-fak

8 2024-10-11 22:09

Anyone else thinking about eating shit out of a public toilet and raping themselves with a chisel

9 2024-10-13 19:29

Mee

10


VIP:

do not edit these



New Thread





do not edit these