Readit News logoReadit News
sharno commented on Swift is a more convenient Rust (2023)   nmn.sh/blog/2023-10-02-sw... · Posted by u/behnamoh
sharno · a month ago
You still lose the benefits of Affine Types in Rust though
sharno commented on In praise of –dry-run   henrikwarne.com/2026/01/3... · Posted by u/ingve
lelanthran · a month ago
> And just like that, you find yourself implementing a compiler (specs to plan) and a virtual machine (plan to actions)!

Not just any compiler, but a non-typesafe, ad-hoc, informally specified grammar with a bunch of unspecified or under-specified behaviour.

Not sure if we can call this a win :-)

sharno · a month ago
It can be type safe and testable with free monads
sharno commented on Public Sans – A strong, neutral typeface   public-sans.digital.gov/... · Posted by u/mhb
sneela · 2 months ago
As much as I appreciate the tiny serif for lowercase L and numeral 1 to differentiate l I and 1, I am not the biggest fan of the capital I glyph without the horizontal serifs. It's my biggest design gripe with most sans-serif fonts as it makes it FRUSTRATINGLY difficult to differentiate when looking at words by themselves.

Is that lota or Iota? Is that iodestone or lodestone? Both real examples where I fumbled reading them -- once in front of a class :)

This is why my favorite sans-serif typeface has been (and will always be) IBM Plex Sans [1]. It's an open font [2]. I have all my laptops and desktops set to using the IBM Plex typefaces, including browser overrides. If only there were a way to do it system-wide on my Android phone...

[1]: https://www.ibm.com/plex/

[2]: https://github.com/IBM/plex/blob/master/LICENSE.txt

Preview: https://fonts.google.com/specimen/IBM+Plex+Sans?preview.text...

sharno · 2 months ago
That's why I love the Readex Pro font. It also has glyphs for Arabic and a lot more languages in the same file, so I can use one font file for everything.
sharno commented on Go away Python   lorentz.app/blog-item.htm... · Posted by u/baalimago
sharno · 2 months ago
You can also use jbang to run java scripts with dependencies

https://www.jbang.dev/

sharno commented on Ask HN: What Are You Working On? (December 2025)    · Posted by u/david927
sharno · 3 months ago
I'm trying to build a native postman alternative using Rust + Iced. I want it to use .http files as its collections and .env files as its environments. So that data is stored in plain text and easily editable by AI and usable by other apps like VSCode rest client.

https://github.com/sharno/zagel

sharno commented on Ask HN: Why does the US Visa application website do a port-scan of my network?    · Posted by u/mbix77
mrtksn · 7 months ago
That would be quite clever for an incredibly horrible website. The other day my SO, who is a Turkish citizen, was filling up her visa application and after half an hour of meticulous form filling the system just kick her out. I think the session times out or something. If you haven't created an account or you haven't write down the current application ID everything is lost. In the process she was also directed to a non-.gov website for something during the process, I thought she was getting scammed but no.

It actually makes sense to have a paid service that makes this abomination less painful. Though they work with VFS Global for collecting the applications and relevant documents, the VFS Global itself is an abomination and doesn't help with the handling of the form filling anyway.

Recently EU streamlined the Schengen visa application process for Turkish citizens as those "visa agencies" that are the official agencies and the only way to apply for a visa for many countries don't actually help with anything and are scamming people by selling the "good hours" for the visa appointment on the black market. An agency was dropped for this and the scams by agencies were listed among the reasons to streamline the application process.

Both with US and EU people are losing scholarships etc. due to outrageous wait times that are sometimes are years ahead or there's an issue with the systems handling the applications.

I guess there must be an opportunity there to fix all this together with smaller stuff like handling transliteration and character encodings, I wonder if some of those scam site are not scams and actually help with it. An AI agent can be useful here.

sharno · 7 months ago
Whenever I'm filling a long form on an official website, I feel like I'm racing against an invisible clock because of this session time out thing that happened to me countless times.

u/sharno

KarmaCake day443September 13, 2012View Original