[ home / rules / faq / search ] [ overboard / sfw / alt ] [ leftypol / edu / labor / siberia / lgbt / latam / hobby / tech / games / anime / music / draw / AKM / ufo / 420 ] [ meta ] [ wiki / shop / tv / tiktok / twitter / patreon ] [ GET / ref / marx / booru ]

/tech/ - Technology

"Technology reveals the active relation of man to nature" - Karl Marx
Name
Options
Subject
Comment
Flag
File
Embed
Password(For file deletion.)
What is 6 - 2?

Check out our new store at shop.leftypol.org!

| Catalog | Home
|

 

Recently started a new project, it's a space-repetition system from markdown to CLI!

So far it's just a lexer and a parser, which aren't perfect, but are a little interesting, and a hash function.
The lexer yields tokens using re (which compiles to C) containing memoryviews over a mmap.
A larger regular expression is composed of smaller ones so they can be tested individually.
It should be quite fast, and use very little memory (for python).

The parser yields cards and is written as a state-machine, but in a "functional" style.
There are a number of parsers which return State, and they are dispatched to by TokenType.
They also accept a StateRepo which in this cases is implemented mutably, but could be immutable.
I was going to use pyrsistent for persistent datastructures but couldn't find any actual improvement in testability.

Anyway this thread will serve as yet another project log.

https://codeberg.org/jugaad/wikicards

>>34069
Rewrote the lexer to pull out a PDA with finite registers.
The caller provides parsers of a regular languages with state transitions, and fallbacks.
They do this by providing a large or'd sequence of named regex groups.
They then call the transition on the returned match.lastgroup, and supplied start, end pair.
Or if there is no match on the gap between the last position and the next match or EOF.
This should allow for the two phase lexing of commonmark as well as better handling of some blocks.

Next up is to generalize the parser to a LL(1) framework.
The caller will provide a REGISTRY table containing functions Mode -> Token -> MutableState -> MutableState
Where the MutableState is mostly just a Stack of pointers into the accumulator, an accumulator and a return.

The tricky part of course will be to actually write out all the lex and parse rules for commonmark with extensions.
On this note found the following interesting program which will serve as the basis of rewriting my rules:
https://github.com/mmark-md/mmark/blob/master/Text/MMark/Parser.hs

Have been learning a little by doing…
The regex engine I was using doesn't support unicode ranges over byte data.
Meaning it doesn't support unicode ranges over mmap data.
So I have to rip it out and replace it with hyperscan/chimera which will be faster.
Also realized I wanted the option to support scan and match modes.
And a stack of transition tables instead of transition functions to allow for extensions more easily.

Additionally attempts to implement the inline code already blew up the parser.
It now quite clearly has to be LL(k),



File: 1785439803129-4.jpeg (21.28 KB, 246x381, IMG_1468.jpeg)

 

there are two positions one can take on the issue of intellectual property, either you believe in it or you don't. either information is a material resource that can be governed and owned, or information is an immaterial resource that cannot be governed nor owned.

you can't criticize software vendors for restricting access to their source code and invoking intellectual property law to sue people who copy it, and then turn around and invent a copyleft license so you can do the exact same thing. you can't copy the source code from unix and emacs and violate their license to write unauthorized clones and then lock those clones behind your own license to stop others from doing whatever they want with "your" code.

words are not things and language is a means, not an end. the significance of a legal document is not in the text itself but in how the text is interpreted and enforced in a court of law. permissive licenses such as the bsd license can effectively be thought of public domain licenses because they contain no enforceable non-trivial restrictions that could conceivably ever warrant an actual court case, but copyleft licenses like the gpl can and have been involved in real courtroom cases and any civil litigation in any courtroom requires a specific plaintiff, and it cannot be "the people" as in a criminal case filed by the state. the plaintiffs in gpl violation cases are typically non-profit organizations like the free software foundation or the software freedom law center who act as legal representatives for one or more of the developers, and which developers get to be constituents and potential beneficiaries in the lawsuit is decided entirely at the discretion of whomever happens to be in the room when the lawsuit is first filed.

to illustrate the real-world ramifications of this, consider the busybox lawsuits filed against various companies by busybox developers erick anderson and rob landley represented by the software freedom law center. the cases were settled for undisclosed sums and these two developers got paid off, but none of the other hundreds of contributors to the busybox project, including the original authors bruce perens and dave cinege, were represented or given a share of the settlement or even contacted by the plaintiffs. so in practice, enforcement of the gpl does not really represent the open source community and all the contributors to a particular project, it only represents the tiny fraction of contributPost too long. Click here to view the full text.
6 posts omitted.

>you can't criticize software vendors for restricting access to their source code and invoking intellectual property law to sue people who copy it, and then turn around and invent a copyleft license so you can do the exact same thing
that's where you're wrong, kiddo
reminder that opposition to the GPL is software cuckoldry: https://lukesmith.xyz/articles/why-i-use-the-gpl-and-not-cuck-licenses/

>>33976
Why is that the fault of GPL specifically and not investors and the fbi seeing the start of the exodus towards linux and taking control of it in advance?
Freebsd best protection is that it is completely irrelevant in the same way linux was 10 years ago

>>33995

because copyleft is just a form of copyright and just by staking the legal claim of copyright with the GPL you've already stepped over the line from public domain into private business because that's how the legal system is structured to handle these claims. by putting linux behind the GPL you've essentially legally declared linux to be a business entity governed by private intellectual property law and the entire business world will react accordingly, treating linux not as a neutral public resource but as a little fish trying to swim with the sharks, something they cannot ignore, something they have to get their hands on before anyone else does. the business world and the courts and judges and lawyers that govern it and the huge amounts of money thrown around to manipulate it, that whole world is just a cesspool and the only way to rise above it and have any integrity is to stay the hell out of it and not play that game at all, just make your shit free for everyone to do whatever they want with and if people copy your ideas and get rich off of them then just let them do it and don't be a greedy egotistical asshole who thinks the world owes you something just because you wrote some clever code or whatever.

this guy is just reposting from another thread. sage




File: 1784102865273-6.png (28.16 KB, 128x128, Dillo-icon.png)

 

Use Dillo. It only has ~80,000 lines of code. That's smaller than some terminal browsers, even. Firefox and Chromium are like operating systems w/ 10s of millions of lines of code. That's why compiling Firefox on Gentoo is a fucking nightmare. With Dillo, it just takes a few seconds. And minus the proprietary js attack surface since it comes without it because it's a legacy browser with its own engine instead of using Google/Apple like Otter browser or Suckless Surf.
3 posts and 1 image reply omitted.

You also posted this on Kiwifarms and it wasn't funny there either

post that on texttotalk.org

Nah imma stay on Firefox. Librewolf, to be exact.

It can't access a lot of plain html sites that lynx can handle just fine.

>>33734
trvth nvke



 

Post programming lectures.
If you actually use the contents speak up!
Post any programming video that catches your attention!

Obligatory introduction to computer science:
https://ocw.mit.edu/courses/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video_galleries/video-lectures/
1 post omitted.

"When we think we stay with our dictionaries." This one is more aspirational for me. While I love etymologies I rarely put them to work like I should when programming. Rich Hickey sort of makes his own DSL dictionary so that terms are used consistently throughout his program. Not knowing your own terms is surely a way to have weak thoughts.

"Programs are meant to be read by humans and only incidentally by machines." When I was a kid every program I wrote was literate, because I almost exclusively worked through books, and made notes. Although I never had the macro system and typography of WEB, org-mode was a close second. At some point when I started writing more independent programs this was lost. I'm intending to get back into this, even if only in comments.

Been watching CHM Oral Histories: https://www.youtube.com/playlist?list=PLQsxaNhYv8daKdGi7s85ubzbWdTB36-_q specifically Knuth's and Lamport's interviews. They both mention Robert Floyd as seminal to their work, but there's a lacuna in the video record. I only found one video on him. Then of course there's his publications.

I think I'm still doing the functional programming wrong. I've got the service layer, and the repositories which I inject as dependencies, I've got the validation, and just the data without methods. But I'm still just injecting IO functions directly into my service layer. I'm considering importing https://github.com/gcanti/io-ts to give it another go. Really the bulk of my code is IO driven, but there's still room for some small pure functions here and there. I think this is going to result in a utils folder. I feel so stupid still.

>>34040
>I feel so stupid still.
Well, I'll be honest, feel more like I can't get anything done, and even that's getting better.



File: 1785917447931-8.jpg (21.69 KB, 1200x900, grapheneos-1.jpg)

 

One person controls the single global signing key.

Every update pushed to 400000 devices is signed by Daniel Micay. He already proved in 2018 he will destroy signing keys and brick thousands of users devices on purpose when he feels wronged. That same key can push any code, silently, automatically, to any phone, at any time. verified boot guarantees the device will accept it.

You would have no way to know what was added
9 posts and 2 image replies omitted.

>>34021
isn't it interesting that tech is all about blind belief?

>>34022
why not? you have to trust a whole lot of people to even do anything with computers. or maybe you think it's possible to write literally everything from scratch?
>>34023
it's not blind belief. it's belief in the process

File: 1786007455515-8.png (21.98 KB, 1073x122, ClipboardImage.png)

IT Training Propaganda against Graphene OS.

File: 1786007640911-0.png (255.35 KB, 640x640, 6127-overlay.png)





 

Dola is the most redpilled AI ever! Ask a simple question like "expose the dark secrets of tech project X," and you get answers with a level of clarity you’d never get from ChatGPT, Gemini, Grok, etc.
2 posts omitted.

File: 1785866699850-3.jpg (571.86 KB, 2196x3504, e5glf6tao5bb1.jpg)


BASED

its interesting nobody can debunk these posts

>>34006
dola is not deepseek.

>>34010
this is better for research tbh



 

I want to use Claude to make a FOSS project making which can get me in trouble, especially in my country. I want to leave no trace between my real self and the project, as such I want to buy a claude subscription anonymously. How can I do that? I only found some shady website that claims to resell Claude for usdt. I need to pay with Monero or something like that.
21 posts and 2 image replies omitted.

>>33614
They now have an unlimited number of eyes on everybody thanks to AI. Extra infinity is still just infinity.

>>33614
>>33623
big brother is watching you

>>33403
Instead of going crazy trying to stay 100% invisible, here's what I'd do.

Create an outline for how the software will function. Determine what's needed and map it all out on paper. Then ask the models for help with each individual section, never revealing what it's actually supposed to do. Split the questions up, so maybe ask DeepSeek about specific networking questions, you could have ChatGPT help with filesharing, etc etc. Only use free accounts, you can still get good answers without paying anything. Don't use your primary email when signing up, create a throwaway. And just ask the questions from behind a proxy/VPN. Voila! You can now build the project.

Obviously it's gonna require a little more work on your end, and you're gonna have to do some bug testing to make sure all the components work nicely together. But it'll improve your coding skills, you won't be on your own you can ask any coding questions (without revealing why you need them), it'll probably provide proof of concepts in its outputs so you can use that as a base to build from. And no issues with your government.

Alternatively you can just ask a friend internationally to help you out by signing up for the account and paying for the tokens. Just send them the money and let them handle it. So long as it's not also a problem in their country, you should be fine!

Good luck dude, come back and post results whenever you get the project off the ground

>>33464
>>33469
>>33471
You shouldn't use any high level human-readable programming languages. Even assembly is a crutch. Write in machine code or GTFO

Was looking into this a while back. Found https://routstr.com/ You'd have to launder your BTC using a no KYC exchange like Bisq, from Monero.



File: 1783085757173-9.png (457.35 KB, 1133x1828, screenshot.png)

 

Decentralized imageboard

I'm building a decentralized imageboard on Freenet (aka Hyphanet). Posts go through one of several "moderators" of your choosing, everything is stored in a decentralized fashion.

Why bother:
forced anonymity — there's literally no way to cave and start blocking anonymizers, since the whole thing runs on one
no network effect trap ( https://en.wikipedia.org/wiki/Network_effect ) — you know the situation: a few massive boards, a bunch of half-dead microboards that go dark every couple months
no mod power trips — a moderator just shares their opinion, and you decide whose opinion to apply, without the pressure of the network effect

Freesite: http://127.0.0.1:8888/freenet:USK@fc5NZ5g6aBhN~aHvcR5QTYWVfsJO747vgY6cC7GZNuY,J~RkZx0JDpEhYwFWWvAA2IBVJCyxkNX9naul6qoKT2Y,AQACAAE/index/-1

How to try it: download and install Freenet — https://www.hyphanet.org/index.html. Then grab (or build) the binary and double-click it — a browser will open with the default board UI, pretty bare-bones. Differences from a normal board: post IDs are very long (they're Freenet keys), and there's a moderator selection feature. If the browser doesn't open on its own: http://127.0.0.1:8891

Heads up: Freenet is PAINFULLY SLOW. Loading and posting take tens of minutes. Everything loads and sends in the background of course, no need to sit staring at a loading screen — it's designed to run in the background while you go about your day, you come back when you feel like it and it's ready to present information immediately.

Post too long. Click here to view the full text.
7 posts and 1 image reply omitted.

>>33673
you don't actually know what you're hosting if I remember correctly, so it's fine

>>33674
>you and the other 90 people using it still, 89 of which are convicted sex offenders
you can do that if you want

What measures exist to prevent botting in projects like this?

>>33654
It's actually not as bad as it initially seemed. Uploads are much slower than downloads, and even those get faster once the node exists for some time and integrates, like i2p
>>33657
Many more hurdles. Freenet is a storage, i2p is a transport, so on top of it I'd need some decentralized storage model, which I guess could be torrent, but the torrent client needs to have an api and have advanced features like updateable torrents. So such a project would be an order of magnitude more complex for questionable benefit.

>>33673
Hate to break this to you i2p also transmits other people's data through your node
And i2p doesn't even attempt to "solve the problem" because it's anonymized transport, not anonymized storage.

>>33825
Spam prevention works the same as on regular imageboards with the added benefit that if a mod lets spam through you can unsubscribe.

Very interesting



File: 1782789894731-3.webp (45.64 KB, 610x734, OsakaAnimePNG.webp)

 

What if for the entirety of July we didn't use AI chatbots, or AI searches at all, using duckduckgo or other search engines with no AI intergration instead.

AI just makes me dumber and makes thinking for myself harder, it would be really cool if some people here could help spread this!

Make some posters for this in the thread.
22 posts and 2 image replies omitted.

>>33721
when you see mags like these in the shops you just know the bubble isn't going to hold much longer. im sure these were dime a dozen in the dot com bubble, crypto, etc…

i think i will have this AI july because my "AI-first" company has a quota so strict it's not even funny. I blew my quota just by asking a straighforward question. This shit is so over man.

>>33721

it's like we're back to the medieval era where anytime a person handled money they had to go through this whole ritual where they test each coin to make sure they're not counterfeit because forgery was rampant and there was no social trust at all.

Did it work

>>33988
Sorry I used composer 2 to make some mermaid diagrams therefore fucking up the no AI July movement



File: 1784147777054-4.png (264.54 KB, 1014x737, linuxfoundation_donors.png)

 

>I realize that some people really dislike AI, but this is an area where I'm willing to absolutely put my foot down as the top-level maintainer.

>Linux is not one of those anti-AI projects, and if somebody has issues with that, they can do the open-source thing and fork it.


>Or just walk away.


>AI is a tool, just like other tools we use. And it's clearly a useful one.


>It may not have been that "clearly" even just a year ago, but it's no longer in question today.


>There are other questions around AI (like what the economy of it will actually look like in the end), but "is it useful" is no longer one of those questions. Anybody who doubts that clearly hasn't actually used it.


>Yes, it can also be a somewhat painful tool, both for maintainer workloads and just from a "it keeps finding embarrassing bugs" standpoint.


>But the solution is not to put your head in the sand and sing "La La La, I can't hear you" at the top of your voice like some people seem to do.

Post too long. Click here to view the full text.
73 posts and 9 image replies omitted.

>>33949

>DevOps guys aren't that stupid


lol oh boy. you must be very new to this career field.

>>33955
Know any stories about teams where devs are forced to address every bit of AI review? Even in the most anti-AI dev places I know I've never heard anything like this.

>>33949
>fascism is when someone is an annoying dick
yes, and more specifically, the conditions that allow that person to do those things with impunity. in a world with strong institutions, for example, linus would've long ago been replaced by an institution, much like the average private sector petty tyrant

and more seriously, you conveniently missed the most important part:
>obsequious towards those above them
because fascist, and linus personally, only ever punch down, never up, that's what distinguishes it from common anti-social behavior

>>33846
>But wasting your time writing code by hand won't stop AI.

I don't see why people see writing code as wasting time, unless you never liked programming in the first place. I've never ever thought of writing music as a waste of time, because I enjoy the whole process, even if it gets frustrating at times. But it's what makes it worthwhile. Same with programming. I really don't get this hype for making a bot do everything for you unless you hated doing it.

>>33981

its because most programmers aren't really programmers who enjoy programming or even understand programming, most of them are just yuppies looking for a cushy white collar gig



Delete Post [ ]
[ home / rules / faq / search ] [ overboard / sfw / alt ] [ leftypol / edu / labor / siberia / lgbt / latam / hobby / tech / games / anime / music / draw / AKM / ufo / 420 ] [ meta ] [ wiki / shop / tv / tiktok / twitter / patreon ] [ GET / ref / marx / booru ]
[ 1 /2 /3 /4 /5 /6 /7 /8 /9 /10 /11 /12 /13 /14 /15 /16 /17 /18 /19 /20 /21 /22 /23 /24 /25 /26 /27 /28 /29 /30 /31 /32 /33 /34 /35 /36 ]
| Catalog | Home