HTTP/1.1 200 OK
Server: nginx
Date: Mon, 26 Jan 2026 13:48:44 GMT
Content-Type: text/html; charset=utf-8
Content-Length: 199601
Connection: keep-alive
Keep-Alive: timeout=50
Referrer-Policy: no-referrer-when-downgrade
X-AWS-Id: 3dt-ws16
X-LJ-Flow-ID: aXdwu1O@OaGxytpK3PvBwgAAABo
Cache-Control: private, proxy-revalidate
Content-Encoding: gzip
Content-MD5: c4yF5RwJRX1/heOEL0bpig
Vary: Accept-Encoding,ETag,User-Agent
Content-Security-Policy: default-src 'self' *.livejournal.com *.livejournal.net *.dsp-rambler.ru *.google.com google.com *.rambler-co.ru rambler-co.ru *.rambler.ru rambler.ru *.tiktok.com tiktok.com *.youtube.com youtube.com; script-src 'self' *.livejournal.com *.livejournal.net *.24smi.net *.adfox.ru *.adlooxtracking.com adlooxtracking.com *.adlooxtracking.ru adlooxtracking.ru ad.mail.ru api.giphy.com bs.serving-sys.ru cdn.ampproject.org cdn.jsdelivr.net cdnjs.smi2.ru *.cdn-vk.ru content.adriver.ru *.criteo.com *.criteo.net *.doubleclick.net *.dropbox.com dsp-rambler.ru *.dsp-rambler.ru embed.bsky.app *.exelator.com *.facebook.com *.facebook.net gist.github.com googleads.g.doubleclick.net *.google-analytics.com *.googleapis.com *.google.com google.com *.google.ru *.googlesyndication.com *.googletagmanager.com googletagmanager.com *.googletagservices.com *.gstatic.com id.sber.ru *.instagram.com js.mamydirect.com *.lj.ru mc.yandex.com mc.yandex.ru *.newrelic.com *.nr-data.net *.ok.ru openstat.net pingback.giphy.com *.pingdom.com *.pingdom.net *.pinterest.com *.plista.com privacy-cs.mail.ru *.rambler-co.ru rambler-co.ru *.rambler.ru rambler.ru rb.infox.sg r.mradx.net *.rnet.plus *.rubiconproject.com r.webturn.ru *.scorecardresearch.com sdk.canva.com *.services.livejournal.com smi2.ru ssl.p.jwpcdn.com static.smi2cdn.ru static.smi2.net static.xx.fbcdn.net stat.media telegram.org tiktokcdn-us.com *.tiktok.com tiktok.com tns-counter.ru *.top100.ru top-fwz1.mail.ru tpc.googlesyndication.com *.ttwstatic.com twemoji.maxcdn.com *.twimg.com *.twitter.com *.videos.livejournal.com vk.com *.vk.com vk.ru *.vk.ru *.weborama.fm weborama.fm *.weborama.fr weborama.fr *.weborama.ru weborama.ru *.weborama-tech.ru weborama-tech.ru *.webturn.ru *.webvisor.org *.yahooapis.com *.yandex.ru yandex.ru yastatic.net ymetrica.com *.youtube.com youtube.com z.moatads.com 'unsafe-inline' 'unsafe-eval'; style-src http: https: data: 'unsafe-inline'; img-src blob: http: https: data:; frame-src http: https:; font-src http: https: data:; connect-src 'self' *.livejournal.com *.livejournal.net ad.adriver.ru ad.mail.ru *.ad-tech.ru api.giphy.com bs.serving-sys.ru cdn.ampproject.org *.criteo.com csi.gstatic.com data00.adlooxtracking.com dsp-rambler.ru *.dsp-rambler.ru *.eaglecdn.com event.top100.su export-download.canva.com ext.clickstream.sberbank.ru sdk.canva.com *.g.doubleclick.net googleads.g.doubleclick.net *.google-analytics.com *.googleapis.com *.google.com google.com *.googletagmanager.com googletagmanager.com graph.facebook.com gstatic.com id.sber.ru *.lj.ru lj.stat.eagleplatform.com mc.yandex.by mc.yandex.com mc.yandex.md mc.yandex.ru pingback.giphy.com *.pingdom.net privacy-cs.mail.ru *.rambler-co.ru rambler-co.ru *.rambler.ru rambler.ru rb.infox.sg *.rnet.plus *.services.livejournal.com *.ssp.rambler.ru ssp.rambler.ru static-mon.yandex.net static.xx.fbcdn.net stat.media stats.g.doubleclick.net smi2.net smi2.ru sve.online.sberbank.ru *.tiktok.com tiktok.com top-fwz1.mail.ru *.twitter.com *.webturn.ru *.webvisor.org wss://mc.yandex.ru wss://www.livejournal.com yandexmetrica.com yandexmetrica.com:29010 yandexmetrica.com:30103 *.yandex.net *.yandex.ru yandex.ru yastatic.net ymetrica1.com ymetrica.com *.youtube.com youtube.com; report-uri https://www.livejournal.com/csp_reports; report-to livejournal; media-src http: https: blob: data: storage.mds.yandex.net; frame-ancestors 'self'; worker-src 'self' blob:; object-src 'self' blob: *.livejournal.net youtube.com *.youtube.com; child-src 'self' blob:;
Reporting-Endpoints: livejournal="https://www.livejournal.com/csp_reports"
X-Varnish: 231448034
Age: 0
X-VWS-Id: kr-varn01-new.lj.rambler.tech
ETag: GgZzc4yF5RwJRX1/heOEL0bpig
Accept-Ranges: bytes
X-SplitTest: none
Permissions-Policy: browsing-topics=()
Set-Cookie: luid=URNKAWl3cLwi75ANZGZXAgB=; expires=Thu, 31-Dec-37 23:55:55 GMT; domain=.livejournal.com; path=/; secure; samesite=none
P3P: CP="NON DSP NID ADMa DEVa TAIa PSAa PSDa OUR IND UNI COM NAV"
Lindsey Kuper — LiveJournal
?
?
Two papers at HATRA
[Oct. 19th, 2021|09:45 am ]
Lindsey Kuper
New blog post , in which I finally have some new papers to plug!
This entry was originally posted at https://lindseykuper.dreamwidth.org/40556.html . Please comment there using OpenID .
Join us at the Programming Languages Mentoring Workshop at ICFP next month
[Jul. 26th, 2021|03:56 pm ]
Lindsey Kuper
New blog post , in which it is time for my annual exhortation.
This entry was originally posted at https://lindseykuper.dreamwidth.org/38491.html . Please comment there using OpenID .
How to create an .srt caption file for a video
[Jul. 14th, 2021|05:12 pm ]
Lindsey Kuper
New blog post , in which I serve in my capacity as ICFP accessibility co-chair, or something.
This entry was originally posted at https://lindseykuper.dreamwidth.org/38229.html . Please comment there using OpenID .
!!Con 2021 starts today!
[May. 15th, 2021|11:15 am ]
Lindsey Kuper
New blog post , in which it's that time again.
This entry was originally posted at https://lindseykuper.dreamwidth.org/38115.html . Please comment there using OpenID .
CSE138 returns to Twitch today!
[Mar. 30th, 2021|03:00 pm ]
Lindsey Kuper
New blog post , in which I continue my descent.
This entry was originally posted at https://lindseykuper.dreamwidth.org/37749.html . Please comment there using OpenID .
How not to email prospective grad school advisors
[Nov. 25th, 2020|12:30 pm ]
Lindsey Kuper
New blog post , in which I dispense advice.
This entry was originally posted at https://lindseykuper.dreamwidth.org/35335.html . Please comment there using OpenID .
Course retrospective: SMT Solving and Solver-Aided Systems
[Sep. 20th, 2020|06:23 pm ]
Lindsey Kuper
New blog post , in which I am better late than never.
This entry was originally posted at https://lindseykuper.dreamwidth.org/34629.html . Please comment there using OpenID .
Yet another post telling you to apply to PLMW
[Jul. 16th, 2020|11:04 pm ]
Lindsey Kuper
New blog post , in which I am back on my bullshit.
This entry was originally posted at https://lindseykuper.dreamwidth.org/34546.html . Please comment there using OpenID .
Twitch plays CSE138
[Mar. 31st, 2020|09:32 pm ]
Lindsey Kuper
New blog post , in which I announce a decision I might regret!
This entry was originally posted at https://lindseykuper.dreamwidth.org/33846.html . Please comment there using OpenID .
Call for talk proposals: !!Con West 2020!
[Nov. 30th, 2019|09:39 pm ]
Lindsey Kuper
New blog post , in which I take a break from talking about how great !!Con West is so that I can instead quote other people talking about how great !!Con West is!
This entry was originally posted at https://lindseykuper.dreamwidth.org/33760.html . Please comment there using OpenID .
navigation
[
viewing
|
most recent entries
]
[
go
|
earlier
]