profile
viewpoint
Tiago Filipe Silva tiagofilipesilva

tiagofilipesilva/book 0

A textbook on informal homotopy type theory

tiagofilipesilva/csvlint.rb 0

The gem behind http://csvlint.io

tiagofilipesilva/my-personal-kanban 0

This is a one page HTML/JavaScript application for people who would like to use simple and basic Kanban board for their personal stuff

tiagofilipesilva/PdfViewer 0

Simple Android PDF viewer based on pdf.js and content providers. The app doesn't require any permissions. The PDF stream is fed into the sandboxed WebView without giving it access to content or files. CSP is used to enforce that the JavaScript and styling properties within the WebView are entirely static.

tiagofilipesilva/ShareX 0

ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to many supported destinations you can choose from.

tiagofilipesilva/web-assembly-logo 0

Web Assembly (WASM) official logo

PR opened ShareX/ShareX

Lossless optimization of images

In this pull request several images used in ShareX's resources are optimized in a lossless way --- binary size shrinks, no quality loss.

+0 -0

0 comment

277 changed files

pr created time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha 227f3452cab4275e6c7924ecd1eb47138ba57e22

Lossless optimized images Batch 8

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha 3349b40c7b8d5f4e2e1f55505798f437bc978cb7

Lossless optimized images Batch 7

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha 59072317a19252e8adb98e1e4cdf56a7c534a0f6

Lossless optimized images Batch 6

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha b1616be90db492ee16a4fde38fad3a0dcf43d3e2

Lossless optimized images Batch 5

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha ad06428a32f1b9f3cdca84fc3ebfa066104878cf

Lossless optimized images Batch 4

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha cc24a74a3ea50efcc4b0665b915278b3586dfad8

Lossless optimized images Batch 3

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha 45813613444730153dcb80268abcd07ce05624ed

Lossless optimized images Batch 2

view details

push time in a day

push eventtiagofilipesilva/ShareX

Tiago Filipe Silva

commit sha 85e5c2034ef9c6678e4b28c756f222ec00a741b2

Lossless optimized images Batch 1

view details

push time in a day

fork tiagofilipesilva/ShareX

ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of files to many supported destinations you can choose from.

https://getsharex.com

fork in a day

push eventtiagofilipesilva/my-personal-kanban

Tiago Filipe Silva

commit sha 53a04ba77d826acb5d8c21457c59b3a7a439b3e7

Add optimized theme images

view details

push time in 7 days

push eventtiagofilipesilva/my-personal-kanban

Tiago Filipe Silva

commit sha 2ae20da529af03248c553e39b4418402f4a7e35d

Add optimized glyphicons

view details

push time in 7 days

fork tiagofilipesilva/my-personal-kanban

This is a one page HTML/JavaScript application for people who would like to use simple and basic Kanban board for their personal stuff

fork in 7 days

pull request commentGrapheneOS/PdfViewer

Lossless optimize assets

Hi Daniel!

I used optipng first for a quick check, then Papa's Best Optimizer, which aggregates several lossless optimization tools. Heads-up: it takes a lot of time to process.

tiagofilipesilva

comment created time in a month

PR opened GrapheneOS/PdfViewer

Lossless optimize assets
+0 -0

0 comment

53 changed files

pr created time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 83362dae015f5e678c8b26085332288bdad21886

Lossless optimize mipmap-xxxhdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 2f43a85810fce88177e7019b120493f5d592b2ff

Lossless optimize mipmap-xxhdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 71bb02581eb7deb8994de36e85d94205ec210cc8

Lossless optimize mipmap-xhdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 7fd322bfc7c3eaf7d5a9963294c47b218bfcee50

Lossless optimization mipmap-mdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 7d47a6a403ce653618ab85c178342167921b17bf

Lossless optimize mipmap-hdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 18e3f1d56ffe9c1dbb2e893f9b1ae95bdb2afb0b

Lossless optimize mipmap-hdpi

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha a739e7a50b01caaa352b668ece0ecbd13aab0e20

Lossless optimize drawable-xxxhdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha c5c841e8d361d12ad0879a326e04b14b879c850f

Lossless optimize drawable-xxhdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 5bcdd43aa3c25c2c0af25dcb4cf25c01ecec9a12

Lossless optimize drawable-xhdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 76a701e6c6e19c02e6fbb69f63aa7298cb659287

Lossless optimize drawable-mdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 0bff8ed63721a7815fa7d5e972d509f7b2bf2685

Lossless optimize drawable-hdpi assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha 16c0293b8c87e3430349af8881b63da7c19c2beb

Lossless optimize main assets

view details

push time in a month

push eventtiagofilipesilva/PdfViewer

Tiago Filipe Silva

commit sha dd48bd14edfbe8c8298859dace51e0c55d304e86

Lossless optimize graddle-wrapper.jar

view details

push time in a month

fork tiagofilipesilva/PdfViewer

Simple Android PDF viewer based on pdf.js and content providers. The app doesn't require any permissions. The PDF stream is fed into the sandboxed WebView without giving it access to content or files. CSP is used to enforce that the JavaScript and styling properties within the WebView are entirely static.

https://grapheneos.org/

fork in a month

startedGrapheneOS/branding_extra

started time in a month

startedGrapheneOS/PdfViewer

started time in a month

startedGrapheneOS/grapheneos.org

started time in a month

startedMidnightSprucePine/MidnightSprucePine-VSCodeTheme

started time in a month

startedSteveSandersonMS/CarChecker

started time in a month

fork tiagofilipesilva/book

A textbook on informal homotopy type theory

fork in a month

startedHoTT/book

started time in a month

PR opened corona-warn-app/cwa-documentation

Reviewers
Chore: Update image files

These commits update the image files to a smaller but lossless version. Better ratios can be achieved with other tools, but I can't use them right now.

+0 -0

0 comment

13 changed files

pr created time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha c6b93fa1a1960509beb25f6a24d8bb7e9994be95

Lossless update android images

view details

push time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha 6f7b0969aa2894f9d949927a76381b47694d38ca

Lossless update ios images

view details

push time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha bbef92ab41b3e9ad4eeac3ff1b1f7d2bdf861e61

Lossless update ui screen images

view details

push time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha 67362acd8e09b3b553215fec1e25dd780ae6eee1

Lossless update title image

view details

push time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha b90571c4c0c379665bfb0464f18add0bbfdd6334

Lossless update german user journey image

view details

push time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha 99744512f9880434c746f436a52070948c526741

Lossless update user journey image

view details

push time in 2 months

push eventtiagofilipesilva/cwa-documentation

Tiago Filipe Silva

commit sha c4955c1a601d1176630159961486ad31b05a121f

Lossless update components image

view details

push time in 2 months

fork tiagofilipesilva/cwa-documentation

Project overview, general documentation, and white papers.

fork in 2 months

startedcorona-warn-app/cwa-documentation

started time in 2 months

startedcorona-warn-app/cwa-website

started time in 2 months

fork tiagofilipesilva/cwa-app-ios

Native iOS app using the exposure notification framework from Apple.

fork in 2 months

startedcorona-warn-app/cwa-app-ios

started time in 2 months

startedmicrosoft/terminal

started time in 2 months

startedmicrosoft/cascadia-code

started time in 2 months

fork tiagofilipesilva/cwa-documentation

Project overview, general documentation, and white papers.

fork in 2 months

startedlatex3/branding

started time in 2 months

startedlatex3/latex3.github.io

started time in 2 months

startedlatex3/babel

started time in 2 months

startedlatex3/latex3

started time in 2 months

PR opened myspaghetti/macos-virtualbox

Update README.md

This commit updates README.md with Markdown's best practices and accessibility tweaks.

+30 -17

0 comment

1 changed file

pr created time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 614d1b490ed955a0c7a5ff71f90ba22b78b542c7

Update README.md This commit updates README.md with Markdown's best practices and accessibility tweaks.

view details

push time in 2 months

fork tiagofilipesilva/macos-virtualbox

Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox for Windows, Linux, and macOS

fork in 2 months

delete branch tiagofilipesilva/macos-virtualbox

delete branch : bash

delete time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 9f82aaf16e3a4a89e2e87dc39db774ef540fec16

Replace let builtin with arithmetic compound

view details

push time in 2 months

PR merged tiagofilipesilva/macos-virtualbox

Replace let builtin with arithmetic compound

The arithmetic compound command should generally be preferred over let.

+3 -3

0 comment

1 changed file

tiagofilipesilva

pr closed time in 2 months

PR opened tiagofilipesilva/macos-virtualbox

Replace let builtin with arithmetic compound

The arithmetic compound command should generally be preferred over let.

+3 -3

0 comment

1 changed file

pr created time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha a0070f6807d1228961066e23fd034305a8a71c66

Replace let builtin with arithmetic compound

view details

push time in 2 months

create barnchtiagofilipesilva/macos-virtualbox

branch : bash

created branch time in 2 months

delete branch tiagofilipesilva/macos-virtualbox

delete branch : markdown

delete time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 714019b34050749c10a7d9640a1b00a73d708056

First line in file should be a top level heading

view details

Tiago Filipe Silva

commit sha ec2e7c15ba815f17e67e1ed90988f0690c4f052e

Replace header with strong text

view details

Tiago Filipe Silva

commit sha 50bc76e622bb1478b85e804474b0aec4160227d5

Headers should be surrounded by blank lines

view details

Tiago Filipe Silva

commit sha c17333df842f21c5299bb2e303f0395575df6b18

Remove trailing space

view details

Tiago Filipe Silva

commit sha 9f5772a8845e5fe85032c750d63c39fe03448bf1

Fix header increment level

view details

Tiago Filipe Silva

commit sha 22c6e6dae8db95731eb60f3daf033fbc386238a1

Add single newline file terminator

view details

Tiago Filipe Silva

commit sha 26eebbab1ce9d98321fc60a321e06036a5db537b

Wrap spaces around keywords for better legibility

view details

Tiago Filipe Silva

commit sha e84f6e607cc821ce835019504e2cc0949cf6a918

Fix typo and remove extra newline terminator

view details

Tiago Filipe Silva

commit sha 152eddec02736796029ab897b0c113864bb19e4d

Merge pull request #1 from tiagofilipesilva/markdown Small fixes for Markdown

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha e84f6e607cc821ce835019504e2cc0949cf6a918

Fix typo and remove extra newline terminator

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 26eebbab1ce9d98321fc60a321e06036a5db537b

Wrap spaces around keywords for better legibility

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 22c6e6dae8db95731eb60f3daf033fbc386238a1

Add single newline file terminator

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 9f5772a8845e5fe85032c750d63c39fe03448bf1

Fix header increment level

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha c17333df842f21c5299bb2e303f0395575df6b18

Remove trailing space

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 50bc76e622bb1478b85e804474b0aec4160227d5

Headers should be surrounded by blank lines

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha ec2e7c15ba815f17e67e1ed90988f0690c4f052e

Replace header with strong text

view details

push time in 2 months

push eventtiagofilipesilva/macos-virtualbox

Tiago Filipe Silva

commit sha 714019b34050749c10a7d9640a1b00a73d708056

First line in file should be a top level heading

view details

push time in 2 months

create barnchtiagofilipesilva/macos-virtualbox

branch : markdown

created branch time in 2 months

fork tiagofilipesilva/macos-virtualbox

Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox for Windows, Linux, and macOS

fork in 2 months

PR opened carlosbaraza/web-assembly-logo

Optimized images files

The image files were optimized using advanced tools in order to achieve lossless file size reduction.

+10 -121

0 comment

43 changed files

pr created time in 2 months

push eventtiagofilipesilva/web-assembly-logo

Tiago Filipe Silva

commit sha e59d423d45699f9531e71fa858a7efbe0af81734

Optimized images files The image files were optimized using advanced tools in order to achieve lossless file size reduction. There may be room for more improvement in the future.

view details

push time in 2 months

startedAdrienTorris/awesome-blazor

started time in 2 months

startedvincentdoerig/latex-css

started time in 2 months

startedalif-type/libertinus

started time in 2 months

startedtwbs/icons

started time in 2 months

startedtwbs/bootstrap

started time in 2 months

starteddotnet/blazor

started time in 2 months

PR opened mirinsoft/sharpapp

Lossless optimization of image files
+0 -0

0 comment

2 changed files

pr created time in 2 months

push eventtiagofilipesilva/sharpapp

Tiago Filipe Silva

commit sha 395f76b963f64735331f5f50ecd8ecf418015717

Lossless optimization of image files

view details

push time in 2 months

pull request commentvincentdoerig/latex-css

Improve table styles

How were the \LaTeX tables typset? With a default tabular environment?

vincentdoerig

comment created time in 2 months

fork tiagofilipesilva/sharpapp

💩⭐️🚀A #app with cutting edge technology to #minimize windows-10 telemetry and #maximize privacy plus many more

https://www.mirinsoft.com/ms-apps/sharpapp

fork in 2 months

pull request commentvincentdoerig/latex-css

Misc.table/hyphens fixes

Ah, fair enough I see your point now, like the usage of <b> and <em>. It makes sense, then.

You should cherry-pick the fixes in hyphens and make the table valid for HTML5.

tiagofilipesilva

comment created time in 2 months

issue openedvincentdoerig/latex-css

Heading of the abstract should be H2

The current heading of the abstract section is a H5 due to text-style concerns, but semantically it should be a H2.

created time in 2 months

pull request commentvincentdoerig/latex-css

Misc.table/hyphens fixes

It isn't and it does not comply with our accessibility standards.

tiagofilipesilva

comment created time in 2 months

more