Help
RSS
API
Feed
Maltego
Contact
Domain > newartisans.com
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2024-07-12
103.168.172.52
(
ClassC
)
Port 80
HTTP/1.1 200 OKServer: nginxDate: Sun, 27 Aug 2023 12:29:11 GMTContent-Type: text/html; charsetutf-8Content-Length: 5676Connection: keep-alivex-backend: web2etag: e607d53cb432c942aeee53c26857eb3a4eb46 !DOCTYPE html>html langen> head> title>Lost in Technopolis/title> meta namegenerator contentHakyll> meta http-equivcontent-type contenttext/html; charsetutf-8> meta charsetUTF-8> meta namedescription contentRSS feed for John Wiegleys blog> meta namekeywords contenthaskell, categories, category theory, type theory, coq> link relstylesheet href./css/site.css typetext/css /> link relnext href./page/2/> link relcanonical hrefhttp://newartisans.com/> link relalternate typeapplication/rss+xml titleLost in Technopolis » Feed hrefhttp://newartisans.com/rss.xml> link relicon hrefdata:;base64,iVBORw0KGgo> script>(function(i,s,o,g,r,a,m){iGoogleAnalyticsObjectr;irir||function(){ (ir.qir.q||).push(arguments)},ir.l1*new Date();as.createElement(o), ms.getElementsByTagName(o)0;a.async1;a.srcg;m.parentNode.insertBefore(a,m) })(window,document,script,https://www.google-analytics.com/analytics.js,ga); ga(create, UA-2890809-1, auto); ga(send, pageview);/script> /head> body> div idcontainer> div idheader> div idtitle>a href./ stylecolor: black; text-decoration: none>Lost in Technopolis/a>/div> /div> div idbody> div classteaser> div classteaser-date>a href./archives/#2018>April 19, 2018/a>/div> div classteaser-title>a href./2018/04/win-for-recursion-schemes/ relbookmark>Program Reduction: A Win for Recursion Schemes/a>/div> div classteaser-body>I first encountered the “recursion schemes” idea in Haskell while attending an excellent presentation given by Tim Williams in 2013. His ideas in that talk made a deep impression on me, and I resolved to find a way to prove the potential he promised in my own work. Now, the basic idea of recursion schemes goes back at least as .../div> /div> div classteaser> div classteaser-date>a href./archives/#2017>May 4, 2017/a>/div> div classteaser-title>a href./2017/05/monads-are-monoids/ relbookmark>Monads are monoid objects/a>/div> div classteaser-body>Lately I’ve been working again on my Category Theory f
View on OTX
|
View on ThreatMiner
Please enable JavaScript to view the
comments powered by Disqus.
Data with thanks to
AlienVault OTX
,
VirusTotal
,
Malwr
and
others
. [
Sitemap
]