15:[[49227962,{"by":"jwally","descendants":2,"id":49227962,"kids":[49228314,49229525],"score":1,"text":"My humble attempt to detect residential proxies while limiting false positives on things like CGNAT.

So far, its pretty successful detecting SOAX, BrightData, and a custom proxy app I built for my phone - but I have a pretty limited sample size.

Give it a spin!

* https://github.com/JWally/sofa-king-bad-box

* https://github.com/JWally/sofa-king-bad-box-android","time":1786243653,"title":"Show HN: Proxy-or-Not, Proxy Detector","type":"story","url":"https://arcades.click/proxy-or-not"}],[49149966,{"by":"nuwandavek","descendants":81,"id":49149966,"kids":[49150567,49156074,49151158,49150331,49152617,49152160,49150537,49150422,49150696,49151130,49155886,49151029,49152259,49155433,49152299,49150664,49153051,49150439,49227783,49150462,49150121,49150980,49150085,49151606,49161000,49152296,49156840,49159521,49154916,49152118,49153351,49154904,49156712,49150409,49150590,49151462,49154121,49151496,49162798,49154220,49153024,49151138,49150348,49155654],"score":350,"time":1785717998,"title":"Show HN: Isopolis – Isometric pixel map of SF","type":"story","url":"https://sf.isopolis.city/"}],[49143412,{"by":"the_unproven","descendants":48,"id":49143412,"kids":[49144425,49145189,49148104,49147885,49147727,49148140,49146418,49145546,49183000,49148652,49145302,49144502,49151598,49151878,49146877,49149242,49144812],"score":121,"text":"Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.

Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations.

I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then extending with concepts such as Bidirectional Type Checking with Higher-Rank Polymorphism.

I’ve mainly drawn inspiration from Rust, Haskell, Scala and Python (in terms of syntax). It all started because I wanted a language that has Rust-like concepts such as: ADT, Traits, Impl block syntax, etc. but have the pure functional semantics.

I'd would love feedback on the language design and its general usage.","time":1785669836,"title":"Show HN: Fuse – statically typed functional programming language","type":"story","url":"https://fuselang.org"}],[49139741,{"by":"xyzsparetimexyz","descendants":1,"id":49139741,"kids":[49139844],"score":17,"time":1785628190,"title":"A Uiua Type System (2025)","type":"story","url":"https://www.uiua.org/blog/a-uiua-type-system"}],[49028358,{"by":"ImJasonH","descendants":48,"id":49028358,"kids":[49029097,49091235,49090981,49091873,49090244,49092635,49092856,49091784,49092189,49092976,49089919,49091626,49091694,49091394,49090075,49091342,49090380,49092797,49090462,49092265,49090272,49090457,49090765,49091847,49091074,49089895,49091705,49092944,49090445,49092240,49091155],"score":71,"time":1784842408,"title":"Show HN: How far do I have to go to run into 100k people?","type":"story","url":"https://imjasonh.github.io/playground/population-rays/"}],[48976262,{"by":"_6wbq","descendants":164,"id":48976262,"kids":[49049956,49053940,49048457,49051584,49048557,49050679,49050318,49048599,49051276,49049451,49049686,49051191,49049049,49048174,49050736,49048424,49050451,49048598,49049855,49052355,49048377,49050645,49049767,49048347,49051356,49052573,49049665,49051443,49051083,49049997,49053213,49051085,49051371,49049735,49050068,49051398,49048406,49048298,49049071,49049967,49050806,49053988,49048701,49050103,49051567,49051892,49054530,49048609,49049339,49051613,49052352,49054263,49049651,49049525,49052879],"score":667,"time":1784539422,"title":"Stolen Buttons","type":"story","url":"https://anatolyzenkov.com/stolen-buttons"}],[49022152,{"by":"dwwoelfel","descendants":668,"id":49022152,"kids":[49030835,49024035,49023325,49023162,49023230,49024735,49025127,49025852,49025775,49025156,49030709,49023992,49023572,49023921,49025085,49027178,49024702,49031382,49026763,49025256,49022998,49033343,49024203,49023484,49034761,49024110,49024122,49023493,49027060,49023666,49028702,49023437,49025410,49027205,49024655,49023863,49026523,49026265,49026425,49023798,49022471,49024159,49024594,49027082,49031284,49026237,49024135,49033117,49033615,49026570,49029369,49027080,49024712,49025741,49028113,49026068,49054814,49032245,49028201,49025801,49024775,49025584,49034775,49023396,49024781,49025330,49024861,49028012,49025266,49025458,49027806,49026771,49027528,49036747,49025018,49024665,49030360,49028554,49025912,49027091,49046449,49024662,49025101,49023099,49023363,49023818,49034873,49025145,49023959,49025908,49025340,49025505,49029276,49030503,49025487,49026211,49032699,49026434,49027713,49024295,49032986,49023123,49031106,49024724,49030079,49026549,49025610,49024564,49028332,49033075,49026907,49023466,49031783,49025383,49025063,49039378,49030002,49028626,49027649,49032268,49023354,49031445,49069349,49032783,49030152,49032016,49033371,49023597,49026578,49024542,49026668,49025823,49028384,49033338,49039991,49024952,49024371,49023136,49054792,49024780,49062311,49032749,49027349,49040397,49025148,49027586,49023471,49032802,49030656,49028241,49024292,49026929,49035753,49023267,49023058,49032779,49025017,49025274,49028469,49032786,49024598,49027520,49028138,49031716,49026124,49024865,49023648,49032240,49031650,49031375,49042649,49029932,49027987,49027332,49027557,49023150],"score":1491,"time":1784816683,"title":"Writing by hand is good for your brain","type":"story","url":"https://nealstephenson.substack.com/p/writing-by-hand-is-good-for-your"}],[49038433,{"by":"alvis","descendants":1334,"id":49038433,"kids":[49045107,49038959,49040857,49039922,49038676,49038571,49038705,49038745,49039052,49038677,49038865,49043144,49038690,49038666,49043731,49039863,49044731,49038813,49038589,49038776,49040983,49038637,49039086,49038796,49038728,49038671,49044428,49039621,49042234,49038875,49040308,49041739,49042098,49039206,49042669,49040499,49039383,49038769,49040405,49038685,49038897,49039967,49039458,49039331,49039488,49044265,49038801,49039547,49038862,49042480,49048905,49038642,49040629,49042628,49041918,49040252,49043404,49043333,49039595,49039597,49042393,49039014,49038698,49042696,49039307,49039872,49057390,49041102,49038772,49039352,49045238,49039483,49039084,49041326,49047829,49040441,49039641,49049537,49038869,49047706,49040087,49038817,49039183,49044975,49040689,49048083,49041373,49039135,49040845,49046595,49038770,49038517,49042308,49039313,49039705,49038479,49038535,49038660,49038594,49039044,49048802,49038835,49039193,49038950,49038855,49038585,49039271,49044591,49038926,49038515,49053785,49039356,49038893,49040006,49039182,49049876,49041693,49046326,49042814,49045788,49038931,49038552,49046648,49040060,49040313,49039663,49080851,49042842,49039218,49038723,49043066,49038741,49039366,49038664,49038733,49038629,49049141,49047057,49043201,49039719,49039446,49043181,49044854,49039478,49038696,49039774,49039004,49038584,49039644,49043554,49038987,49040865,49043791,49038693,49043784,49040136,49040784,49038797,49039906,49042433,49045289,49042305,49044422,49042392,49044904,49039272,49044751,49038678,49038407,49040949,49046643,49040776,49051559,49041117,49066803,49039469,49043213,49046727,49051109,49056934,49044996,49042272,49048495,49045396,49045855,49039209,49041645,49039826,49050524,49043146,49038625,49038524,49038746,49039511,49038704],"score":1778,"text":"https://www.anthropic.com/claude-opus-5-system-card","time":1784912261,"title":"Claude Opus 5","type":"story","url":"https://www.anthropic.com/news/claude-opus-5"}]]

user:	nee_oo_ru
created:	July 22, 2026
karma:	5
about:	sometimes i dev

1.	Show HN: Sqnc.run – a live cipher stream inspired by number stations(sqnc.run) 1 points by nee_oo_ru 61 days ago \| 0 comments
2.	Show HN: Sqnc.run – a live cipher stream inspired by number stations(sqnc.run) 1 points by nee_oo_ru 64 days ago \| 0 comments
3.	1 points by nee_oo_ru 69 days ago \| discuss