/tech/ - Technology★

Programming skill and fucks given about fonts are inversely proportional. If you ever feel a need to change the default font, consider an alternative career as a faggot and/or graphic designer.

>supported languages

>F#

>Haskell

>elm

>ReasonML

>Julia

>Nim

This should be a warning sign, OP. This is a font for LARP.

Emacs did this better 20 years ago.

>>954512

Erlang is there too, it's not always a larp.

>>954512

This only affects how the font is rendered, the underlying text is still the same.

>>954501 (OP)

meme

>>954510

lol people who make hammer analogies should do the same as what >>954506 said

>>954510

It was pretty funny when nocoders like yourself were horrified to learn that Linus was just using stock GNOME on a Dell.

>>954523

But GNOME 2 was pretty good. Also, I hope you're not implying that tinkerer can't be good programmers.

>>954526

I'm implying that people who have programming to do spend time programming and not fiddling with the optimal font for their five temperature widgets.

>>954523

>Euclid did his geometry with just a stick and sand, you non-geometers think you need stone tablets wax tablets chalk paper CRT Monitors Tablet computers.

>A did X with just Y no one should improve on Y.

>>954527

And you're implying something stupid. This idea that programmers have zero care for aesthetic is utterly moronic.

>>954531

Nah anon, REAL programmers use punch cards. You don't make mistakes, do you?

Monospace, regular.

Can't be bothered to change and it's clear enough.

>>954531

I've never met an 'aesthetic' programmer who wasn't a jquery professional or text editor researcher.

>>954540

To be fair, you've never left your basement, so your notion of what a programmer is, has been formed by hollywood stereotypes and your imagination.

>>954541

I've been working in industry since '98.

>>954522

That is a sexy looking font though.

>>954543

>Rising to bait.

You're a bit older than me, but just because we did things a certain way in the past, doesn't mean there aren't improvements to be had. That said, the longer you grow accustomed to something, the harder it can be to see a benefit to changing. That's not to say you're stuck in your ways, but just that you would not get much return.

Anyways, ligatures in programming languages aren't too new. Mathematica has supported these sorts of ligatures for years too, so it's not some recent soy-infused change.

>>954548

If there are improvements to be had via the zen of programming aesthetics then they've yet to be found. Again, I know of no prissy fontfags that can code circles around their peers and no one ever produces a single living example in these threads.

>Mathematica

Mathematics are really something else entirely and they have trouble communicating without custom fonts and TeX due to the age of their profession.

>>954501 (OP)

progamming ligatures are based on math notation and so into the trash it goes.

>>954566

You're not making any sense.

>>954568

>x = 2

Programming is not math and using a few math symbols was a mistake as it allows retards to think it is. Retards who think obfuscating == and = is ok because what's the difference. Now guess who the primary users of ligature faggotry are. hint: >>954522

>>954573

To me that is an equality test.

<x := 2 master race.

>>954575

lmfao you have an extra character for assignment but keep the one character for equality. You must write code with very few variables.

>>954501 (OP)

>ligatures in a monospace font

NO

Just. No.

The only ligature-infused font I tolerate is Sans Bullshit Sans. Everything else is designer faggotry.

>>954573

>computers were invented to compute math problems

>computers need programmers to tell them how the math problems flow

<Computers, programming, and math are irrelevant to each other.

Where did you come up with this?

>>954501 (OP)

I briefly tried this out when I ganked a kool kid's .vimrc file, and I found them distracting. It felt like I was looking at images instead of text, and it took me extra time to visually parse the characters... which kinda defeats the point. Maybe if I weren't already acclimated to standard text it would be nice... but nothing beats the ubiquity of standard chars. Imagine how retard-mode you'd be in if you were used to the ligatures and had to go without them?

>>954557

There's no such thing as a "prissy fontfag", that's just it. You've concocted this group of noxious people in your mind that don't actually exist in the real world.

In the real world, it's "huh, this looks nice, maybe I'll use it", and they set their terminals and editors to it and that's the end of it.

>>954573

Bitch, if you don't have a side of math with your programming and don't know what a < with a line under it is, kill yourself.

>>954573

>Programming is not math

It pretty much is, you just add memory and states.

>and using a few math symbols was a mistake as it allows retards to think it is.

You do know the same symbol has vastly different meanings in physics and math depending on context right? And fuck retards.

>>954588

>There's no such thing as a "prissy fontfag"

The stereotypical soylent hipster webdev slinging jquery in starbucks on his macbook is often this guy.

>>954576

>lmfao you

x, y, z : Natural := 20;

Oh that was hard.

>>954586

OP here. Yeah, my experiment ended early. It just caused to many problems scanning text quickly expecting to see the standard glyphs.

>>954600

*too

>>954600

Usually those fonts have the same versions minus ligatures, because some people don't find them useful.

>>954595

It depends on the language how much it looks like math.

>>"23" == 23
True
>>"2" > "12323242"
True

>>0.2 + 0.1 != 0.3 + 0.3
True

>same symbol has vastly different meanings in physics and math depending on context right

Yeah and Sussman had a lecture about mistakes in calc textbooks because the notation was confusing.

>>954597

Looks like Pascal.

>>954620

Yeah, Ada.

I can understand font autism, but whats the purpose of what the hieroglyphics?

This is perhaps the dumbest piece of shit I've ever seen created.

>>954621

>rant about Jewish spying

>include pic of Goebbels as the bad guy

wew?

They are good, but the font in the OP is gay.

>>954651

Now that's a bit of a stretch.

>>954621

>going against based trump's government

fuck off (((cuck)))

>>954737

I'm making donations to KodeWithKlossy and BlackGirlsCode to buy two girls access to this font. We have to be the change we want to see. Match me?

>>954586

Same here, those ligatures just obfuscate the real text. I would prefer to use actual Unicode symbols like → instead.

>>954614

Can you point me to a monospace font in this style? It would be dank as fuck in a terminal.

>>955018

>>954522

>Fabrizio Schiavi • 8 years ago

>Guys, try to put in my place. Probably you have never attempted to draw fonts and, above all, optimize a font for the screen you can not realize the work that is behind such a project. I tried, and I try, in every way a sponsorship or funding to reduce the price of the license, my dream was to offer it for free, but I don't found that and I have to sell the license at a price at least partially compensate for the effort involved realize PragmataPro. To reduce the price now would be economic suicide for me and misconduct against those who have believed before you and have already paid the amount required.

Faggot makes this font 8 years ago, still wants to get €199 from each new user to recoup his time.

>>955025

Wanting to be paid for your work? Outrageous! Someone call the million dollar foundations for free labor.

>>955026

>my dream was to offer it for free

>>954908

How big do you want your keyboard to be?

>>954557

>the age of their profession

Mathematical notation grew in an age uncontrained by limits of typography. The choice of symbols is therefore based on what *looks best*. Programming notation is limited by the character set and by parser complexity, and therefore all but ignores beauty. I can see someone putting a beautiful equation on a tshirt despite having no idea what it means. The only time you'd put a program on your shirt is to scream "look, I'm so nerdy!".

>>955047

>digraphs don't exist

But does this support all of the Lens operators?

>>955053

You might as well use the font above then, which is a good stopgap until languages support unicode.

>>955027

You wouldn't happen to have the latest version of PP would you? I'm about 90% sure I'm missing some glyphs

>>954660

It also has a lot of noob points like "real time protection"

You can turn of defender completely via regedit or the group editor included in non consumer versions

>>954908

>actual Unicode symbols like → instead

cancer

Do you really want compilers to be dependent on Unicode symbols?

>>955127

It's hard to keep up with all the cancer, though. My Pro version started having a little stutter on task switches and on looking into it they recently patched in ram compression to everyone's system.

>>955134

switch to server 2016 datacenter

>let's try to fix something that isn't broken

>>955129

Why not?

>>955160

Pajeet would overuse"💩" as a variable name.

>>954577

Fira Code user here. Using C, position that on your larp scale where you will.

a ligature is exactly so many characters wide as the characters make it up. != is replaced by a ligature 2 characters wide. It doesn't break anything. In fact you text editor only replaces it visually.

Literally brings nothing to the table. But neat to look at. when <= are replaced by the actual mathematical symbol

>>954620

> Yeah and Sussman had a lecture about mistakes in calc textbooks because the notation was confusing.

Source on this one? I am learning differential geometry at the moment and the notation is driving me up the wall.

I tested this for 5 seconds and than dropped it faster than a nigger would drop calculus course. I had to debug a syntax file containing a regexp with |> where obviously the > is alternative but it rendered |> together as an arrow.

>Just use parenthesis

Yes, but not to for a fucking font.

>>955117

I grabbed the one of TBP. It looks to be from 2014.

magnet:?xt=urn:btih:BN5AQLWDIJKYNIWHRUFKHGXJVHZB7KME

Is this the latest? Does it have the same issues you're having?

>>955316

There's this one too.

http://btdb.to/torrent/V9OoBj9Pm9hng2XmXx6Vs3xoxrM866hBqAg.html

Also check github for PragmataPro, a lot of soy boys don't really know how it github works, and they unwittingly share their pricey font for free.

>>955283

https://hooktube.com/watch?v=arMH5GjBwUQ

>>954522

>>955018

I've decided, I like it and will continue using it. Nice recommendation, Anon.

>>955701

Trying it right now, but so far I need a pretty large font (14) to like it.

>>956330

Hmm, or 11 in gnome. Didn't like it though, having <= turned into less-than-or-equal made VHDL code look pretty retarded.

>>956330

>>956332

Alright sorry for the faggotry, but I gave it a go for a day of programming and now I'm addicted to it. I found v0.822, please let me know if anyone has a later version. I'm not paying 200 Euros out of principal. 20-30, yeah ok.

>>956604

http://www.manhunter.ru/download/22034/PragmataPro.Full.0.823.zip

<3

>>956608

AFAIK, 0.823 is the latest version.

BTW, those of you that hate ligatures should be able to just disable those glyphs in your favorite editor/terminal.

>>956609

>Based Russians.

Cheers. Actually 0.826 is latest.

>>956608

No such luck, doesn't load.

>>956611

>>956612

Dammit. Let's try this again:

http://rgho.st/6yHkfwFbS

>>956613

Anon comes through. Thanks alot! Did you purchase it yourself, or get it from someplace else?

>>956613

Argh, only the mono seem right from these, the ligatures are not present in the regular font.

>pirating fonts

>he doesn't know how malicious fonts have been demonstrated to comprimise security before

stop

You know, there is a easy fix if you don't like the font.

It's called "Fucking make your own, faggot" you should google it.

>>956744

>paying 300 eurobucks for a fucking font

Did you examine the code of everything on your machine? No? Then fuck off. It's like any other code downloaded from the interwebs.

>>956799

Have you done so? Would you show an example please. I'd like to see what fonts people are making.

I tried making a frankenstein font with font forge from other fonts but it had some compatibility problems with the files I was using. They may have been malformed or some shit.

>>957120

Someone who's mad enough to charge 300 eurobucks for a font would be mad enough to spread malicious unauthorized copies

>>957833

You don't necessary need to make one from stracht, at least, not for a 1s try.

Try by taking something like System or Arial font, and dick around with FontLab or something.

When you start to familiarize, try making one yourself.

Start maybe by designing and paper and scanning, or do a Minimalist one like the font used in MS-DOS.

It's not that hard, it's just difficult to make something cool and useable. Making something cool is much easier, but not all font are really that practical, like the Planet Kosmos font.

>>957837

Sure, I don't think paying for fonts is something we do today. it's no 80/90's anymore.

Also it's interesting, I didn't knew commercial fonts were a thing.

I guess that since people are selling their dirty underwear, I should have expected to see people selling glyphs.

>>957843

>creatively making and designing something is as worthless as soiled garments

Braindead.

Seems to make editing way harder and Fira fonts aren't very nice, maybe if it was hack I'd like it better

>>957896

Found this

https://github.com/ToxicFrog/Ligaturizer/blob/master/output-fonts/LigaHack-Regular.ttf